Miguel Palomino

Anna Ingólfsdóttir

Sci. Comput. Program., 2013

Unifying the Linear Time-Branching Time Spectrum of Process Semantics

[BibT_eX]

[DOI]

David Romero-Hernández

Log. Methods Comput. Sci., 2013

2012

Rewriting logic bibliography by topic: 1990-2011.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

2011

Graphical representation of covariant-contravariant modal formulae

[BibT_eX]

[DOI]

Luca Aceto

Anna Ingólfsdóttir

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

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

[BibT_eX]

[DOI]

Luca Aceto

Anna Ingólfsdóttir

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

Parameterized Metareasoning in Membership Equational Logic.

[BibT_eX]

[DOI]

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

2010

Algebraic simulations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

[BibT_eX]

[DOI]

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

Logics for Contravariant Simulations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Ready to preorder: an algebraic and general proof.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

On the Unification of Process Semantics: Equational Semantics.

[BibT_eX]

[DOI]

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

On the Unification of Process Semantics: Observational Semantics.

[BibT_eX]

[DOI]

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

Non-strongly Stable Orders Also Define Interesting Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Formal Logic.

[BibT_eX]

[DOI]

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

Equational abstractions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Gustavo Santos-García

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

2007

A comparison between two logical formalisms for rewriting.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Strategies and simulations in a semantic framework.

[BibT_eX]

[DOI]

J. Algorithms, 2007

Algebraic Stuttering Simulations.

[BibT_eX]

[DOI]

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

Specifying Parameterized Data Structures in Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Playing with Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Some Tools.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

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

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Introducing the ITP Tool: a Tutorial.

[BibT_eX]

[DOI]

Adrián Riesco

J. Univers. Comput. Sci., 2006

Solving Sudoku Puzzles with Rewriting Rules.

[BibT_eX]

[DOI]

Gustavo Santos-García

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

2005

A Categorical Approach to Simulations.

[BibT_eX]

[DOI]

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

2004

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

[BibT_eX]

[DOI]

Isabel Pita

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

Proving VLRL Action Properties with the Maude Model Checker.

[BibT_eX]

[DOI]

Isabel Pita

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

Playing with Maude.

[BibT_eX]

[DOI]

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

A Tutorial on Specifying Data Structures in Maude.

[BibT_eX]

[DOI]

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

Theoroidal Maps as Algebraic Simulations.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formalizing and Proving Semantic Relations between Specifications by Reflection.

[BibT_eX]

[DOI]