Miguel Palomino

According to our database, Miguel Palomino authored at least 39 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2018

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

J. Autom. Reason., 2018

2017

Conditional narrowing modulo SMT and axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2014

Conditional Narrowing Modulo in Rewriting Logic and Maude.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

2013

On the specification of modal systems: A comparison of three frameworks.

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino

Sci. Comput. Program., 2013

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández

Log. Methods Comput. Sci., 2013

2012

Rewriting logic bibliography by topic: 1990-2011.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

J. Log. Algebraic Methods Program., 2012

2011

Graphical representation of covariant-contravariant modal formulae

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.

Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Parameterized Metareasoning in Membership Equational Logic.

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Algebraic simulations.

José Meseguer, Miguel Palomino, Narciso Martí-Oliet

J. Log. Algebraic Methods Program., 2010

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010

Logics for Contravariant Simulations.

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Ready to preorder: an algebraic and general proof.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

J. Log. Algebraic Methods Program., 2009

On the Unification of Process Semantics: Equational Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

On the Unification of Process Semantics: Observational Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Non-strongly Stable Orders Also Define Interesting Simulation Relations.

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Formal Logic.

Miguel Palomino

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Equational abstractions.

José Meseguer, Miguel Palomino, Narciso Martí-Oliet

Theor. Comput. Sci., 2008

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.

David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Proceedings of the First International Conference on Foundations of Informatics, 2008

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.

David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.

Gustavo Santos-García, Miguel Palomino, Alberto Verdejo

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

2007

A comparison between two logical formalisms for rewriting.

Miguel Palomino

Theory Pract. Log. Program., 2007

Strategies and simulations in a semantic framework.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

J. Algorithms, 2007

Algebraic Stuttering Simulations.

Narciso Martí-Oliet, José Meseguer, Miguel Palomino

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Specifying Parameterized Data Structures in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Playing with Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Some Tools.

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

Proceedings of the All About Maude, 2007

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Introducing the ITP Tool: a Tutorial.

Manuel Clavel, Miguel Palomino, Adrián Riesco

J. Univers. Comput. Sci., 2006

Solving Sudoku Puzzles with Rewriting Rules.

Gustavo Santos-García, Miguel Palomino

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005

A Categorical Approach to Simulations.

Miguel Palomino, José Meseguer, Narciso Martí-Oliet

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.

Isabel Pita, Miguel Palomino

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Proving VLRL Action Properties with the Maude Model Checker.

Miguel Palomino, Isabel Pita

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Playing with Maude.

Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Tutorial on Specifying Data Structures in Maude.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Theoroidal Maps as Algebraic Simulations.

Narciso Martí-Oliet, José Meseguer, Miguel Palomino

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formalizing and Proving Semantic Relations between Specifications by Reflection.

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino

Proceedings of the Algebraic Methodology and Software Technology, 2004

2002

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.

Manuel Clavel, José Meseguer, Miguel Palomino

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002