| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Horatiu Cirstea, Germain Faure, Claude Kirchner |
A rho-Calculus of Explicit Constraint Application.  |
WRLA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Liquori, Benjamin Wack |
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Mason, Carolyn L. Talcott |
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
Communicating Concurrent Objects in HiddenCCS. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bow-Yaw Wang |
mu-Calculus Model Checking in Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001, Prasanna Thati |
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles |
Rule-based Programming in Java For Protocol Verification. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Palomino, Isabel Pita |
Proving VLRL Action Properties with the Maude Model Checker. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer 0001 |
Real-Time Maude 2.1. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen |
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, José Meseguer 0001 |
Modular Rewriting Semantics in Practice. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
New Evaluation Commands for Maude Within Full Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Ugo Montanari (eds.) |
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002 |
WRLA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott |
Pathway Logic: Executable Models of Biological Networks. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Rewriting-Based Verification of Authentication Protocols. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, José Meseguer 0001, Miguel Palomino |
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Jonathan K. Millen |
Modeling Group Communication Protocols Using Multiset Term Rewriting. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, Carolyn L. Talcott |
Plan in Maude: Specifying an Active Network Programming Language. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Ugo Montanari |
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Outermost ground termination. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Rewriting Calculus with(out) Types. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude 2. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Alberto Verdejo |
A Conference Reviewing System in Mobile Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Correct and Complete (Positive) Strategy Annotations for OBJ. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasanna Thati, Koushik Sen, Narciso Martí-Oliet |
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, José Meseguer 0001, Ugo Montanari |
Tiling Transactions in Rewriting Logic. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilia E. Rodríguez |
A Secret-Sharing Protocol Modelled in Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda 0001 |
Processes and Games. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilia E. Rodríguez |
Case Studies in the Specification and Analysis of Protocols in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer 0001 |
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001 |
Parameterized Theories and Views in Full Maude 2.0. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Ringeissen |
Handling Relations over Finite Domains in the Rule-Based System ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner, Isabelle Gnaedig |
Termination and normalisation under strategy Proofs in ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Millen |
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Behavioral and Coinductive Rewriting. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Kulas, Christoph Beierle |
Defining Standard Prolog in Rewriting Logic. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr |
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán 0001, Narciso Martí-Oliet |
Polytypic Programming in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll 0001 |
Rewriting Logic as a Framework for Generic Verification Tools. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kokichi Futatsugi |
Preface. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Modal Logic for Rewriting Theories. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Grit Denker |
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Claude Kirchner |
The simply typed rewriting calculus. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Nakamura 0001, Kazuhiro Ogata 0001 |
The evaluation strategy for head normal form with and without on-demand flags. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
The Leader Election Protocol of IEEE 1394 in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Towards Maude 2.0. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van den Brand, Christophe Ringeissen |
ASF+SDF parsing tools applied to ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian A. Mason, Carolyn L. Talcott |
Simple Network Protocol Simulation within Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Hilberdink |
New Foundations for Rewriting Logic. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideyuki Nakashima |
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, José Meseguer 0001, Carolyn L. Talcott |
Rewriting Semantics of Meta-Objects and Composable Distributed Services. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kokichi Futatsugi (eds.) |
The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000 |
WRLA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Eelco Visser, Zine-El-Abidine Benaissa |
A core language for rewriting. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci |
CCS semantics via proved transition systems and rewriting logic. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel |
Reflection in general logics, rewriting logic, and Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni |
A logic for modular descriptions of asynchronous and synchronized concurrent systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Lechner |
Object-oriented specification of distributed systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský, Carlos Castro 0001 |
Cooperation of constraint solvers: using the new process control facilities of ELAN. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud |
Membership equational logic, calculus of inductive instructions, and rewrite logic. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001, Carolyn L. Talcott |
Mapping OMRS to rewriting logic. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský |
Controlling rewriting: study and implementation of a strategy formalism. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Marco Schorlemmer |
Rewriting logic as a logic of special relations. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001 |
Metalevel computation in Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | L. J. Steggles, Piotr Kosiuczenko |
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi |
An overview of CafeOBJ. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001 |
An extensible module algebra for Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Hélène Kirchner |
Preface. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Seán Matthews |
Scoped metatheorems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, José Meseguer 0001, Ugo Montanari |
Internal strategies in a rewriting implementation of tile systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio |
The OMRS project: state of the art. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker |
From rewrite theories to temporal logic theories. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark van den Brand, Paul Klint, Chris Verhoef |
Term rewriting for sale. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Eker |
Term rewriting with operator evaluation strategies. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen |
Handling ELAN rewrite programs via an exchange format. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen |
An overview of ELAN. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Viry |
Adventures in sequent calculus modulo equations. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michihiro Matsumoto, Kokichi Futatsugi |
Test set coinduction - Toward automated verification of behavioural properties. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Maude as a metalanguage. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses |
Semantics, modularity, and rewriting logic. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Hélène Kirchner (eds.) |
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998 |
WRLA |
1998 |
DBLP BibTeX RDF |
|
| 1 | W. Marco Schorlemmer |
Bi-rewriting rewriting logic. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Eker |
Fast matching in combinations of regular equational theories. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott |
An actor rewriting theory. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner, Pierre-Etienne Moreau |
A reflective extension of ELAN. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek |
ELAN: A logical framework based on computational systems. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Ugo Montanari |
Tiles, rewriting rules and CCS. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Pita, Narciso Martí-Oliet |
A Maude specification of an object-oriented database model for telecommunication networks. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Viry |
Input/Output for ELAN. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Alexander Knapp |
A formal approach to object-oriented software engineering. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Castro |
Solving binary CSP using computational systems. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Lechner |
Object-oriented specifications of distributed systems in the mu-Calculus and Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Preface. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Borovanský, Claude Kirchner, Hélène Kirchner |
Controlling rewriting by rewriting. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer 0001 |
Rewriting logic as a logical and semantic framework. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Principles of Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Landauer |
Discrete event systems in rewriting logic. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, José Meseguer 0001 |
Reflection and strategies in rewriting logic. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Miyoshi |
Modelling conditional rewriting logic in structured categories. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license