Miguel Palomino

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 8

Top Topics

Presburger Arithmetic

Nonmonotonic Inference

Random Field Model

Top Venues

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

J. Autom. Reason.

Publications

Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. CoRR (2024)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CoRR (2024)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Logics for Contravariant Simulations. CoRR (2024)
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. CoRR (2024)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. CoRR (2024)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60 (4) (2018)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional narrowing modulo SMT and axioms. PPDP (2017)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency (2015)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA (2014)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78 (12) (2013)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández
Unifying the Linear Time-Branching Time Spectrum of Process Semantics Log. Methods Comput. Sci. 9 (2) (2013)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
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)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
Graphical representation of covariant-contravariant modal formulae EXPRESS (2011)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Algebraic simulations. J. Log. Algebraic Methods Program. 79 (2) (2010)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Logics for Contravariant Simulations. FMOODS/FORTE (2010)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics SOS (2010)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
Ready to preorder: an algebraic and general proof. J. Log. Algebraic Methods Program. 78 (7) (2009)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
On the Unification of Process Semantics: Equational Semantics. MFPS (2009)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
On the Unification of Process Semantics: Observational Semantics. SOFSEM (2009)
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO (2009)
Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Algebraic Stuttering Simulations. Electron. Notes Theor. Comput. Sci. 206 (2008)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Equational abstractions. Theor. Comput. Sci. 403 (2-3) (2008)
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electron. Notes Theor. Comput. Sci. 212 (2008)
Gustavo Santos-García, Miguel Palomino, Alberto Verdejo
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI (2008)
David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE (2008)
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) (2007)
Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC (2007)
Miguel Palomino
A comparison between two logical formalisms for rewriting. Theory Pract. Log. Program. 7 (1-2) (2007)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Strategies and simulations in a semantic framework. J. Algorithms 62 (3-4) (2007)
Miguel Palomino
A comparison between two logical formalisms for rewriting CoRR (2006)
Gustavo Santos-García, Miguel Palomino
Solving Sudoku Puzzles with Rewriting Rules. WRLA (2006)
Manuel Clavel, Miguel Palomino, Adrián Riesco
Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. 12 (11) (2006)
Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
Playing with Maude. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
A Tutorial on Specifying Data Structures in Maude. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Isabel Pita, Miguel Palomino
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Miguel Palomino, José Meseguer, Narciso Martí-Oliet
A Categorical Approach to Simulations. CALCO (2005)
Miguel Palomino, Isabel Pita
Proving VLRL Action Properties with the Maude Model Checker. WRLA (2004)
Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Theoroidal Maps as Algebraic Simulations. WADT (2004)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST (2004)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Equational Abstractions. CADE (2003)
Manuel Clavel, José Meseguer, Miguel Palomino
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electron. Notes Theor. Comput. Sci. 71 (2002)