Miguel Palomino

发表

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

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

The ITP Tool's Manual

Miguel Palomino, Manuel Clavel, 2005 .

Introducing the ITP Tool: a Tutorial

Adrián Riesco, Miguel Palomino, Manuel Clavel, 2006, J. Univers. Comput. Sci..

Theoroidal Maps as Algebraic Simulations

José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2004, WADT.

Proving VLRL Action Properties with the Maude Model Checker

Miguel Palomino, Isabel Pita, Miguel Palomino, 2005, WRLA.

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

José Meseguer, Miguel Palomino, Manuel Clavel, 2007, Theor. Comput. Sci..

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

Alberto Verdejo, Miguel Palomino, Gustavo Santos-García, 2008, DCAI.

Oriented CoSAPO-5 membranes by microwave-enhanced growth on TiO2-coated porous alumina.

Miguel Palomino, Michael Tsapatsis, Avelino Corma, 2012, Angewandte Chemie.

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2011, FSEN.

Logics for Contravariant Simulations

Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino, 2010, FMOODS/FORTE.

A Categorical Approach to Simulations

José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2005, CALCO.

Some Tools

Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.

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

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2013, Sci. Comput. Program..

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

Miguel Palomino, Narciso Martí-Oliet, Isabel Pita, 2015, Logic, Rewriting, and Concurrency.

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

David de Frutos-Escrig, Miguel Palomino, David Romero-Hernández, 2013, Log. Methods Comput. Sci..

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

José Meseguer, Miguel Palomino, Manuel Clavel, 2004, WRLA.

Specifying Parameterized Data Structures in Maude

Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.

Recent Trends in Algebraic Development Techniques

Miguel Palomino, Narciso Martí-Oliet, 2012, Lecture Notes in Computer Science.

Solving Sudoku Puzzles with Rewriting Rules

Miguel Palomino, Gustavo Santos-García, Miguel Palomino, 2007, WRLA.

Notes on Model Checking and Abstraction in Rewriting Logic

Miguel Palomino, Narciso Martí Oliet, José Meseguer Guaita, 2003 .

A comparison between two logical formalisms for rewriting pdf

Miguel Palomino, 2007, Theory Pract. Log. Program..

Proving Modal Properties of Rewrite Theories Using Maude's Metalevel

Miguel Palomino, Isabel Pita, 2005, Electron. Notes Theor. Comput. Sci..

Equational abstractions

José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2008, Theor. Comput. Sci..

Parameterized Metareasoning in Membership Equational Logic

Miguel Palomino, Narciso Martí-Oliet, Manuel Clavel, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

Miguel Palomino, Narciso Martí-Oliet, Isabel Pita, 2014, Journal of Automated Reasoning.

On the Unification of Process Semantics: Equational Semantics

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

Neural Networks in Maude

Miguel Palomino, Alberto Verdejo, Gustavo Santos-Garc ´ ia, 2008 .

Algebraic simulations

José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2010, J. Log. Algebraic Methods Program..

Algebraic Stuttering Simulations

Miguel Palomino, José Meseguer, Narciso Mart́ı-Oliet, 2008, Electron. Notes Theor. Comput. Sci..

A Tutorial on Specifying Data Structures in Maude

Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2005, Electron. Notes Theor. Comput. Sci..

Formal Logic

Miguel Palomino, 2008, Wiley Encyclopedia of Computer Science and Engineering.

Graphical representation of covariant-contravariant modal formulae

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2011, EXPRESS.

Equational Abstractions

José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2003, CADE.

Playing with Maude

Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.

On the Unification of Process Semantics: Observational Semantics

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

Ready to preorder: an algebraic and general proof

David de Frutos-Escrig, Miguel Palomino, Carlos Gregorio-Rodríguez, 2009, J. Log. Algebraic Methods Program..

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

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

Strategies and simulations in a semantic framework

Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo, 2007, J. Algorithms.

Non-strongly Stable Orders Also Define Interesting Simulation Relations

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

Playing with Maude

Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2005, Electron. Notes Theor. Comput. Sci..

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

David de Frutos-Escrig, Miguel Palomino, Carlos Gregorio-Rodríguez, 2008, Electron. Notes Theor. Comput. Sci..

Conditional Narrowing Modulo in Rewriting Logic and Maude

Miguel Palomino, Narciso Martí-Oliet, Isabel Pita, 2014, WRLA.

Rewriting logic bibliography by topic: 1990-2011

Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet, 2012, J. Log. Algebraic Methods Program..

Integrating Decision Procedures in Reflective Rewriting-Based Theorem Provers ?

Miguel Palomino, Manuel Clavel, M. Clavel, 2004 .