Search the dblp DataBase

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]