Miguel Palomino

2009
26	EE	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290
2008
25	EE	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo: Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI 2008: 424-433
24	EE	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298
23	EE	Miguel Palomino: Formal Logic. Wiley Encyclopedia of Computer Science and Engineering 2008
22	EE	Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)
21	EE	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electr. Notes Theor. Comput. Sci. 212: 149-162 (2008)
20	EE	José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
2007
19	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Playing with Maude. All About Maude 2007: 159-184
18	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338
17	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
16	EE	Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245
15	EE	Gustavo Santos-García, Miguel Palomino: Solving Sudoku Puzzles with Rewriting Rules. Electr. Notes Theor. Comput. Sci. 176(4): 79-93 (2007)
14	EE	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)
13	EE	Miguel Palomino: A comparison between two logical formalisms for rewriting. TPLP 7(1-2): 183-213 (2007)
12	EE	Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)
2006
11	EE	Miguel Palomino: A comparison between two logical formalisms for rewriting CoRR abs/cs/0601018: (2006)
10	EE	Manuel Clavel, Miguel Palomino, Adrián Riesco: Introducing the ITP Tool: a Tutorial. J. UCS 12(11): 1618-1650 (2006)
2005
9	EE	Miguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330
8	EE	Miguel Palomino, Isabel Pita: Proving VLRL Action Properties with the Maude Model Checker. Electr. Notes Theor. Comput. Sci. 117: 113-133 (2005)
7	EE	Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005)
6	EE	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: A Tutorial on Specifying Data Structures in Maude. Electr. Notes Theor. Comput. Sci. 137(1): 105-132 (2005)
5	EE	Isabel Pita, Miguel Palomino: Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. Electr. Notes Theor. Comput. Sci. 137(1): 133-150 (2005)
2004
4	EE	Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86
3	EE	Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
2003
2	EE	José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational Abstractions. CADE 2003: 2-16
2002
1	EE	Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: (2002)

Coauthor Index

1	Christiano Braga (Christiano de O. Braga)	[17]
2	Manuel Clavel	[1] [4] [10] [12] [17] [18] [19]
3	Francisco Durán	[17] [18] [19]
4	Steven Eker	[17] [18] [19]
5	Ignacio Fábregas	[16] [24]
6	Azadeh Farzan	[17]
7	David de Frutos-Escrig	[16] [21] [24] [26]
8	Carlos Gregorio-Rodríguez	[21] [26]
9	Joe Hendrix	[17]
10	Patrick Lincoln	[17] [18] [19]
11	Narciso Martí-Oliet	[2] [3] [4] [6] [7] [9] [14] [17] [18] [19] [20] [22]
12	José Meseguer	[1] [2] [3] [9] [12] [17] [18] [19] [20] [22]
13	Peter Csaba Ölveczky	[17]
14	Isabel Pita	[5] [8]
15	Adrián Riesco	[10]
16	Gustavo Santos-García	[15] [25]
17	Ralf Sasse	[17]
18	Mark-Oliver Stehr	[17]
19	Carolyn L. Talcott	[17] [18] [19]
20	Alberto Verdejo	[6] [7] [14] [17] [18] [19] [25]