Miguel Palomino

49 papers A 1B 4C 3Misc 1Journal 17Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Logics for Contravariant Simulations. CoRR Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2024	J	`jnl`	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. CoRR David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
2024	J	`jnl`	Non-strongly Stable Orders Also Define Interesting Simulation Relations. CoRR Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2024	J	`jnl`	On the specification of modal systems: A comparison of three frameworks. CoRR Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2024	J	`jnl`	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. CoRR Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
2023	—	`conf`	Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2018	J	`jnl`	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2017	C	`conf`	Conditional narrowing modulo SMT and axioms. PPDP Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2015	—	`conf`	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2014	—	`conf`	Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2013	J	`jnl`	On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2013	—	`ed.`	Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers WADT Narciso Martí-Oliet, Miguel Palomino
2013	J	`jnl`	Unifying the Linear Time-Branching Time Spectrum of Process Semantics Log. Methods Comput. Sci. David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández
2012	J	`jnl`	Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2011	—	`conf`	Graphical representation of covariant-contravariant modal formulae EXPRESS Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2011	—	`conf`	Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2011	—	`conf`	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2010	J	`jnl`	Algebraic simulations. J. Log. Algebraic Methods Program. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2010	—	`conf`	Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics SOS Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2010	—	`conf`	Logics for Contravariant Simulations. FMOODS/FORTE Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2009	B	`conf`	Non-strongly Stable Orders Also Define Interesting Simulation Relations. CALCO Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino
2009	B	`conf`	On the Unification of Process Semantics: Equational Semantics. MFPS David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2009	B	`conf`	On the Unification of Process Semantics: Observational Semantics. SOFSEM David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2009	J	`jnl`	Ready to preorder: an algebraic and general proof. J. Log. Algebraic Methods Program. David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2008	—	`conf`	Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. FICS David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino
2008	J	`jnl`	Equational abstractions. Theor. Comput. Sci. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2008	—	`ch.`	Formal Logic. Wiley Encyclopedia of Computer Science and Engineering Miguel Palomino
2008	C	`conf`	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. FORTE David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas
2008	Misc	`conf`	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI Gustavo Santos-García, Miguel Palomino, Alberto Verdejo
2007	J	`jnl`	A comparison between two logical formalisms for rewriting. Theory Pract. Log. Program. Miguel Palomino
2007	—	`conf`	Algebraic Stuttering Simulations. PROLE Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	C	`conf`	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. ICTAC Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig
2007	J	`jnl`	Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. Manuel Clavel, José Meseguer, Miguel Palomino
2007	—	`ch.`	Some Tools. All About Maude 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
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	J	`jnl`	Strategies and simulations in a semantic framework. J. Algorithms Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2006	J	`jnl`	A comparison between two logical formalisms for rewriting CoRR Miguel Palomino
2006	J	`jnl`	Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. Manuel Clavel, Miguel Palomino, Adrián Riesco
2006	—	`conf`	Solving Sudoku Puzzles with Rewriting Rules. WRLA Gustavo Santos-García, Miguel Palomino
2005	B	`conf`	A Categorical Approach to Simulations. CALCO Miguel Palomino, José Meseguer, Narciso Martí-Oliet
2004	—	`conf`	A Tutorial on Specifying Data Structures in Maude. PROLE Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2004	—	`conf`	Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2004	—	`conf`	Playing with Maude. RULE@RDP Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
2004	—	`conf`	Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. PROLE Isabel Pita, Miguel Palomino
2004	—	`conf`	Proving VLRL Action Properties with the Maude Model Checker. WRLA Miguel Palomino, Isabel Pita
2004	—	`conf`	Theoroidal Maps as Algebraic Simulations. WADT Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2003	A	`conf`	Equational Abstractions. CADE José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2002	—	`conf`	Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. WRLA Manuel Clavel, José Meseguer, Miguel Palomino