Miguel Palomino

Narciso Martí-Oliet, Miguel Palomino (Eds.): Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, isbn 978-3-642-37634-4

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández: Unifying the Linear Time-Branching Time Spectrum of Process Semantics. CoRR abs/1304.6574 (2013)

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebr. Program. 81(7-8): 782-815 (2012)

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN 2011: 268-283

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: Graphical representation of covariant-contravariant modal formulae. EXPRESS 2011: 1-15

José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Algebraic simulations. J. Log. Algebr. Program. 79(2): 103-143 (2010)

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Logics for Contravariant Simulations. FMOODS/FORTE 2010: 224-231

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics. SOS 2010: 1-14

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Equational Semantics. Electr. Notes Theor. Comput. Sci. 249: 243-267 (2009)

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: Ready to preorder: an algebraic and general proof. J. Log. Algebr. Program. 78(7): 539-551 (2009)

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO 2009: 221-235

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290

Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)

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)

José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)

Gustavo Santos-García, Miguel Palomino, Alberto Verdejo: Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI 2008: 424-433

David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas: Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE 2008: 283-298

Miguel Palomino: Formal Logic. Wiley Encyclopedia of Computer Science and Engineering 2008

Gustavo Santos-García, Miguel Palomino: Solving Sudoku Puzzles with Rewriting Rules. Electr. Notes Theor. Comput. Sci. 176(4): 79-93 (2007)

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)

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)

Miguel Palomino: A comparison between two logical formalisms for rewriting. TPLP 7(1-2): 183-213 (2007)

Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig: Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC 2007: 231-245

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

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

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

Manuel Clavel, Miguel Palomino, Adrián Riesco: Introducing the ITP Tool: a Tutorial. J. UCS 12(11): 1618-1650 (2006)

Miguel Palomino: A comparison between two logical formalisms for rewriting. CoRR abs/cs/0601018 (2006)

Miguel Palomino, Isabel Pita: Proving VLRL Action Properties with the Maude Model Checker. Electr. Notes Theor. Comput. Sci. 117: 113-133 (2005)

Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005)

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)

Isabel Pita, Miguel Palomino: Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. Electr. Notes Theor. Comput. Sci. 137(1): 133-150 (2005)

Miguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86

Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143

José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational Abstractions. CADE 2003: 2-16

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: 110-126 (2002)