Narciso Martí-Oliet

147 papers A 3B 7C 5Journal 45Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Generalization and Completeness of Stochastic Local Search Algorithms. CoRR Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2026	—	`conf`	PMaude Revisited Through Probabilistic Strategies. Concurrent Programming, Open Systems and Formal Methods Rubén Rubio, Adrián Riesco, Narciso Martí-Oliet
2025	J	`jnl`	Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020). J. Log. Algebraic Methods Program. Santiago Escobar, Narciso Martí-Oliet
2025	J	`jnl`	The difficulty of predicting behavior on stochastic local search algorithms. Swarm Evol. Comput. Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2024	J	`jnl`	Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2024	B	`conf`	Learning Circuit Complexity of Boolean Functions. SMC Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez, Jorge Villarrubia
2024	J	`jnl`	Metalevel transformation of strategies. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021). J. Log. Algebraic Methods Program. Narciso Martí-Oliet
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024	—	`ed.`	Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers WRLA Kazuhiro Ogata, Narciso Martí-Oliet
2024	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	—	`conf`	Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Strategies, model checking and branching-time properties in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	The Maude strategy language. CoRR Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2023	J	`jnl`	Compositional Verification in Rewriting Logic. CoRR Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2023	B	`conf`	QMaude: Quantitative Specification and Verification in Rewriting Logic. FM Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2023	—	`conf`	Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2023	J	`jnl`	The Maude strategy language. J. Log. Algebraic Methods Program. Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	J	`jnl`	Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2022	J	`jnl`	Metalevel transformation of strategies. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2021	J	`jnl`	B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR Christiano Braga, Narciso Martí-Oliet
2021	J	`jnl`	Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2020	J	`jnl`	Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2020	—	`ed.`	Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers WRLA Santiago Escobar, Narciso Martí-Oliet
2020	—	`conf`	Strategies, Model Checking and Branching-Time Properties in Maude. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2019	J	`jnl`	Compositional specification in rewriting logic. CoRR Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2019	B	`conf`	Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2018	—	`conf`	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2018	—	`conf`	Parameterized Programming for Compositional System Specification. WRLA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2018	—	`conf`	Parameterized Strategies Specification in Maude. WADT Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2018	J	`jnl`	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2017	C	`conf`	Conditional narrowing modulo SMT and axioms. PPDP Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2016	A	`conf`	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016	—	`conf`	Egalitarian State-Transition Systems. WRLA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2016	J	`jnl`	Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. Christiano Braga, Narciso Martí-Oliet
2016	B	`conf`	Synchronous Products of Rewrite Systems. ATVA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2015	—	`ed.`	Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings SBMF Christiano Braga, Narciso Martí-Oliet
2015	—	`conf`	José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	—	`ed.`	Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	J	`jnl`	Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. Francisco Durán, Narciso Martí-Oliet
2015	—	`conf`	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2015	—	`conf`	Two Decades of Maude. Logic, Rewriting, and Concurrency Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014	—	`conf`	Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
2014	—	`conf`	Equational Abstractions in Rewriting Logic and Maude. SBMF Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
2014	—	`conf`	Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2013	—	`ed.`	Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers WADT Narciso Martí-Oliet, Miguel Palomino
2012	J	`jnl`	Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2012	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Narciso Martí-Oliet, Peter Csaba Ölveczky
2012	J	`jnl`	Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2011	—	`conf`	Basic completion strategies as another application of the Maude strategy language WRS Alberto Verdejo, Narciso Martí-Oliet
2011	—	`conf`	Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2011	C	`conf`	Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	—	`conf`	A Complete Declarative Debugger for Maude. AMAST Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	J	`jnl`	Algebraic simulations. J. Log. Algebraic Methods Program. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2010	C	`conf`	An Introduction to Maude and Some of Its Applications. PADL Narciso Martí-Oliet
2010	—	`conf`	Declarative Debugging of Missing Answers for Maude. RTA Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	—	`conf`	Enhancing the Debugging of Maude Specifications. WRLA Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2009	—	`conf`	Unification and Narrowing in Maude 2.4. RTA Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008	—	`conf`	A Declarative Debugger for Maude Functional Modules. WRLA Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	A Declarative Debugger for Maude. AMAST Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2008	—	`conf`	A Rewriting Semantics for Maude Strategies. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2008	—	`conf`	Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	Declarative Debugging of Rewriting Logic Specifications. WADT Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
2008	J	`jnl`	Equational abstractions. Theor. Comput. Sci. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2007	—	`ch.`	A Hierarchy of Data Types: From Trees to Sets. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	A Sampler of Application Areas. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`conf`	Algebraic Stuttering Simulations. PROLE Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2007	—	`book`	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Complete List of Maude Commands. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Core Maude Grammar. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Debugging and Troubleshooting. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Editorial. High. Order Symb. Comput. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
2007	—	`ch.`	Full Maude: Extending Core Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Functional Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Introduction. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	LTL Model Checking. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Metaprogramming Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Mobile Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Model Checking Invariants Through Search. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Module Operations. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Based Programming. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Oriented Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Predefined Data Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Reflection, Metalevel Computation, and Strategies. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Some Tools. All About Maude 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
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	J	`jnl`	Strategies and simulations in a semantic framework. J. Algorithms Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Syntax and Basic Parsing. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	System Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	User Interfaces and Metalanguage Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Using Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2006	—	`conf`	Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2006	J	`jnl`	Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. Alberto Verdejo, Narciso Martí-Oliet
2006	—	`ed.`	Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005 RULE@RDP Horatiu Cirstea, Narciso Martí-Oliet
2005	B	`conf`	A Categorical Approach to Simulations. CALCO Miguel Palomino, José Meseguer, Narciso Martí-Oliet
2005	J	`jnl`	A Verification Logic for Rewriting Logic. J. Log. Comput. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
2005	—	`conf`	Preface. RULE@RDP Horatiu Cirstea, Narciso Martí-Oliet
2005	—	`ed.`	Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004 WRLA Narciso Martí-Oliet
2005	—	`conf`	Transforming Information in RDF to Rewriting Logic. FMOODS Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
2005	J	`jnl`	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. Alberto Verdejo, Narciso Martí-Oliet
2004	—	`conf`	A Tutorial on Specifying Data Structures in Maude. PROLE Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2004	—	`conf`	Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
2004	—	`conf`	Playing with Maude. RULE@RDP Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
2004	—	`conf`	Preface. WRLA Narciso Martí-Oliet
2004	—	`conf`	Theoroidal Maps as Algebraic Simulations. WADT Narciso Martí-Oliet, José Meseguer, Miguel Palomino
2004	—	`conf`	Towards a Strategy Language for Maude. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2003	A	`conf`	Equational Abstractions. CADE José Meseguer, Miguel Palomino, Narciso Martí-Oliet
2003	J	`jnl`	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
2003	—	`conf`	The Maude 2.0 System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2002	J	`jnl`	A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. Isabel Pita, Narciso Martí-Oliet
2002	—	`conf`	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. WRLA Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
2002	—	`conf`	Implementing CCS in Maude 2. WRLA Alberto Verdejo, Narciso Martí-Oliet
2002	J	`jnl`	Maude: specification and programming in rewriting logic. Theor. Comput. Sci. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2002	J	`jnl`	Preface. Theor. Comput. Sci. Narciso Martí-Oliet, José Meseguer
2002	J	`jnl`	Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL Narciso Martí-Oliet
2002	J	`jnl`	Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. Narciso Martí-Oliet, José Meseguer
2001	—	`conf`	Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE Isabel Pita, Narciso Martí-Oliet
2000	B	`conf`	Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
2000	C	`conf`	Implementing CCS in Maude. FORTE Alberto Verdejo, Narciso Martí-Oliet
2000	—	`conf`	Polytypic Programming in Maude. WRLA Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
2000	—	`conf`	The Leader Election Protocol of IEEE 1394 in Maude. WRLA Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
2000	—	`conf`	Towards Maude 2.0. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000	B	`conf`	Using Maude. FASE Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999	—	`conf`	The Maude System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999	—	`conf`	Towards a Verification Logic for Rewriting Logic. WADT José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
1998	—	`conf`	Maude as a metalanguage. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998	—	`conf`	Metalevel computation in Maude. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1998	—	`conf`	Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT Isabel Pita, Narciso Martí-Oliet
1997	—	`conf`	Rewriting logic and its applications. APPIA-GULP-PRODE Narciso Martí-Oliet
1997	—	`conf`	Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE Isabel Pita, Narciso Martí-Oliet
1996	—	`conf`	A Maude specification of an object-oriented database model for telecommunication networks. WRLA Isabel Pita, Narciso Martí-Oliet
1996	J	`jnl`	Inclusions and Subtypes I: First-Order Case. J. Log. Comput. Narciso Martí-Oliet, José Meseguer
1996	J	`jnl`	Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. Narciso Martí-Oliet, José Meseguer
1996	—	`conf`	Rewriting logic as a logical and semantic framework. WRLA Narciso Martí-Oliet, José Meseguer
1994	—	`conf`	Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
1994	—	`conf`	From Abstract Data Types to Logical Frameworks. COMPASS/ADT José Meseguer, Narciso Martí-Oliet
1994	—	`conf`	Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1991	J	`jnl`	From Petri Nets to Linear Logic through Categories: A Survey. Int. J. Found. Comput. Sci. Narciso Martí-Oliet, José Meseguer
1991	J	`jnl`	From Petri Nets to Linear Logic. Math. Struct. Comput. Sci. Narciso Martí-Oliet, José Meseguer
1989	—	`conf`	From Petri Nets to Linear Logic. Category Theory and Computer Science Narciso Martí-Oliet, José Meseguer