The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miguel Palomino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
    Formalizing and Proving Semantic Relations between Specifications by Reflection. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:72-86 [Conf]
  2. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
    Equational Abstractions. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:2-16 [Conf]
  3. Miguel Palomino, José Meseguer, Narciso Martí-Oliet
    A Categorical Approach to Simulations. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:313-330 [Conf]
  4. Narciso Martí-Oliet, José Meseguer, Miguel Palomino
    Theoroidal Maps as Algebraic Simulations. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:126-143 [Conf]
  5. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  6. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
    A Tutorial on Specifying Data Structures in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:105-132 [Journal]
  7. Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
    Playing with Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:3-23 [Journal]
  8. Miguel Palomino, Isabel Pita
    Proving VLRL Action Properties with the Maude Model Checker. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:113-133 [Journal]
  9. Isabel Pita, Miguel Palomino
    Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:133-150 [Journal]
  10. Manuel Clavel, Miguel Palomino, Adrián Riesco
    Introducing the ITP Tool: a Tutorial. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1618-1650 [Journal]
  11. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:70-91 [Journal]
  12. Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
    Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:231-245 [Conf]
  13. Miguel Palomino
    A comparison between two logical formalisms for rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  14. Gustavo Santos-García, Miguel Palomino
    Solving Sudoku Puzzles with Rewriting Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:79-93 [Journal]

  15. Non-strongly Stable Orders Also Define Interesting Simulation Relations. [Citation Graph (, )][DBLP]


  16. Logics for Contravariant Simulations. [Citation Graph (, )][DBLP]


  17. Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. [Citation Graph (, )][DBLP]


  18. On the Unification of Process Semantics: Observational Semantics. [Citation Graph (, )][DBLP]


  19. Some Tools. [Citation Graph (, )][DBLP]


  20. Playing with Maude. [Citation Graph (, )][DBLP]


  21. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  22. Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. [Citation Graph (, )][DBLP]


  23. Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics [Citation Graph (, )][DBLP]


  24. Algebraic Stuttering Simulations. [Citation Graph (, )][DBLP]


  25. Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. [Citation Graph (, )][DBLP]


  26. On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002