Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Narciso Martí-Oliet |
Preface. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley |
From Rogue to MicroRogue. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi |
Ambient Graph Rewriting. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Towards a Strategy Language for Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Arrighi, Gilles Dowek |
A Computational Definition of the Notion of Vectorial Space. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Horatiu Cirstea, Germain Faure, Claude Kirchner |
A rho-Calculus of Explicit Constraint Application. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Liquori, Benjamin Wack |
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ian A. Mason, Carolyn L. Talcott |
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Ciobanu, Dorel Lucanu |
Communicating Concurrent Objects in HiddenCCS. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bow-Yaw Wang |
mu-Calculus Model Checking in Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Prasanna Thati |
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles |
Rule-based Programming in Java For Protocol Verification. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Miguel Palomino, Isabel Pita |
Proving VLRL Action Properties with the Maude Model Checker. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, José Meseguer 0001 |
Real-Time Maude 2.1. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Christiano Braga, José Meseguer 0001 |
Modular Rewriting Semantics in Practice. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
New Evaluation Commands for Maude Within Full Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Dorel Lucanu |
Relaxed models for rewriting logic. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Juan M. Molina-Bravo, Ernesto Pimentel 0001 |
Composing Programs in a Rewriting Logic for Declarative Programming. |
Theory Pract. Log. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein |
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. |
FDL |
2003 |
DBLP BibTeX RDF |
|
15 | Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah |
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
15 | Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen |
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. |
LDTA@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
A causal semantics for CCS via rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
Maude: specification and programming in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Carolyn L. Talcott |
Actor theories in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau |
ELAN from a rewriting logic point of view. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, José Meseguer 0001 |
Specification of real-time and hybrid systems in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, José Meseguer 0001 |
Reflection in conditional rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Viry |
Equational rules for rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Narciso Martí-Oliet, José Meseguer 0001 |
Rewriting logic: roadmap and bibliography. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos |
Architectural Specification, Exploration and Simulation Through Rewriting-Logic. |
Rev. Colomb. de Computación |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Juan M. Molina-Bravo, Ernesto Pimentel 0001 |
Composing Programs in a Rewriting Logic for Declarative Programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
15 | Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott |
Pathway Logic: Executable Models of Biological Networks. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Rewriting-Based Verification of Authentication Protocols. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker, Jonathan K. Millen |
Modeling Group Communication Protocols Using Multiset Term Rewriting. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Mark-Oliver Stehr, Carolyn L. Talcott |
Plan in Maude: Specifying an Active Network Programming Language. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Outermost ground termination. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Rewriting Calculus with(out) Types. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude 2. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Alberto Verdejo |
A Conference Reviewing System in Mobile Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Correct and Complete (Positive) Strategy Annotations for OBJ. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Dilia E. Rodríguez |
A Secret-Sharing Protocol Modelled in Maude. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Kohei Honda 0001 |
Processes and Games. |
WRLA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky |
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Noll 0001 |
A Rewriting Logic Implementation of Erlang. |
LDTA@ETAPS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Isabel Pita, Narciso Martí-Oliet |
Proving modal and temporal properties of rewriting logic programs. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
15 | L. J. Steggles, Piotr Kosiuczenko |
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Dilia E. Rodríguez |
Case Studies in the Specification and Analysis of Protocols in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Francisco Durán 0001, José Meseguer 0001 |
Parameterized Theories and Views in Full Maude 2.0. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Ringeissen |
Handling Relations over Finite Domains in the Rule-Based System ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Hélène Kirchner, Isabelle Gnaedig |
Termination and normalisation under strategy Proofs in ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan K. Millen |
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Behavioral and Coinductive Rewriting. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Manuel Clavel, Francisco Durán 0001, Narciso Martí-Oliet |
Polytypic Programming in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Kokichi Futatsugi |
Preface. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Pattinson |
Modal Logic for Rewriting Theories. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | David A. Basin, Grit Denker |
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Horatiu Cirstea, Claude Kirchner |
The simply typed rewriting calculus. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
The Leader Election Protocol of IEEE 1394 in Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Mark van den Brand, Christophe Ringeissen |
ASF+SDF parsing tools applied to ELAN. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ian A. Mason, Carolyn L. Talcott |
Simple Network Protocol Simulation within Maude. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Hideyuki Nakashima |
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker, José Meseguer 0001, Carolyn L. Talcott |
Rewriting Semantics of Meta-Objects and Composable Distributed Services. |
WRLA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
An Approach to Declarative Programming Based on a Rewriting Logic. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Karim Djemame, Mohamed Bettaz |
Parallel simulation in rewriting logic: some observations. |
PDP |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Hiroyuki Miyoshi |
Rewriting Logic for Cyclic Sharing Structures (extended abstract). |
Fuji International Symposium on Functional and Logic Programming |
1998 |
DBLP BibTeX RDF |
|
15 | 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 |
|
15 | Eelco Visser, Zine-El-Abidine Benaissa |
A core language for rewriting. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Bruni |
A logic for modular descriptions of asynchronous and synchronized concurrent systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Lechner |
Object-oriented specification of distributed systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Carlos Castro 0001 |
Cooperation of constraint solvers: using the new process control facilities of ELAN. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Jouannaud |
Membership equational logic, calculus of inductive instructions, and rewrite logic. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský |
Controlling rewriting: study and implementation of a strategy formalism. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Razvan Diaconescu, Kokichi Futatsugi |
An overview of CafeOBJ. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, José Meseguer 0001 |
An extensible module algebra for Maude. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Claude Kirchner, Hélène Kirchner |
Preface. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | David A. Basin, Seán Matthews |
Scoped metatheorems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Bruni, José Meseguer 0001, Ugo Montanari |
Internal strategies in a rewriting implementation of tile systems. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio |
The OMRS project: state of the art. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Grit Denker |
From rewrite theories to temporal logic theories. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Mark van den Brand, Paul Klint, Chris Verhoef |
Term rewriting for sale. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Steven Eker |
Term rewriting with operator evaluation strategies. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen |
Handling ELAN rewrite programs via an exchange format. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen |
An overview of ELAN. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Viry |
Adventures in sequent calculus modulo equations. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Michihiro Matsumoto, Kokichi Futatsugi |
Test set coinduction - Toward automated verification of behavioural properties. |
WRLA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Piotr Kosiuczenko, Martin Wirsing |
Timed Rewriting Logic with an Application to Object-Based Specification. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Attoui |
An environment based on rewriting logic for parallel systems formal specification and prototyping. |
J. Syst. Archit. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Narciso Martí-Oliet |
Rewriting logic and its applications. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
15 | Isabel Pita, Narciso Martí-Oliet |
Using Reflection to Specify Transaction Sequences in Rewriting Logic. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |