Search results for "Miguel Palomino"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Graphical representation of covariant-contravariant modal formulae	EXPRESS	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino	Parameterized Metareasoning in Membership Equational Logic.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	José Meseguer, Miguel Palomino, Narciso Martí-Oliet	Algebraic simulations.	J. Log. Algebr. Program.	2010	DBLP DOI BibTeX RDF
1	Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino	Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics	SOS	2010	DBLP DOI BibTeX RDF
1	Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino	Logics for Contravariant Simulations.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	Ready to preorder: an algebraic and general proof.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	On the Unification of Process Semantics: Equational Semantics.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	On the Unification of Process Semantics: Observational Semantics.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino	Non-strongly Stable Orders Also Define Interesting Simulation Relations.	CALCO	2009	DBLP DOI BibTeX RDF
1	José Meseguer, Miguel Palomino, Narciso Martí-Oliet	Equational abstractions.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Narciso Martí-Oliet, José Meseguer, Miguel Palomino	Algebraic Stuttering Simulations.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Miguel Palomino	Formal Logic.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	FORTE	2008	DBLP DOI BibTeX RDF
1	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.	DCAI	2008	DBLP DOI BibTeX RDF	Neural networks, strategies, rewriting logic, Maude, executability
1	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.	2007	DBLP DOI BibTeX RDF
1	Gustavo Santos-García, Miguel Palomino	Solving Sudoku Puzzles with Rewriting Rules.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo	Strategies and simulations in a semantic framework.	J. Algorithms	2007	DBLP DOI BibTeX RDF
1	Miguel Palomino	A comparison between two logical formalisms for rewriting.	TPLP	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Miguel Palomino, Adrián Riesco	Introducing the ITP Tool: a Tutorial.	J. UCS	2006	DBLP BibTeX RDF
1	Miguel Palomino	A comparison between two logical formalisms for rewriting	CoRR	2006	DBLP BibTeX RDF
1	Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo	Playing with Maude.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Miguel Palomino, Isabel Pita	Proving VLRL Action Properties with the Maude Model Checker.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Isabel Pita, Miguel Palomino	Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo	A Tutorial on Specifying Data Structures in Maude.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Miguel Palomino, José Meseguer, Narciso Martí-Oliet	A Categorical Approach to Simulations.	CALCO	2005	DBLP DOI BibTeX RDF
1	Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino	Formalizing and Proving Semantic Relations between Specifications by Reflection.	AMAST	2004	DBLP DOI BibTeX RDF
1	Narciso Martí-Oliet, José Meseguer, Miguel Palomino	Theoroidal Maps as Algebraic Simulations.	WADT	2004	DBLP DOI BibTeX RDF
1	José Meseguer, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
1	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.	2002	DBLP DOI BibTeX RDF

Publications of "Miguel Palomino" ( http://dblp.L3S.de/Authors/Miguel_Palomino )