![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Narciso Martí-Oliet
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Narciso Martí-Oliet:
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021). J. Log. Algebraic Methods Program. 139: 100974 (2024) - [j32]Óscar Martín
, Alberto Verdejo, Narciso Martí-Oliet
:
Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. 24(1): 57-109 (2024) - [c67]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA 2024: 145-162 - [e8]Kazuhiro Ogata
, Narciso Martí-Oliet
:
Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14953, Springer 2024, ISBN 978-3-031-65940-9 [contents] - [i9]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita
, Alberto Verdejo:
Model checking strategy-controlled systems in rewriting logic. CoRR abs/2401.07616 (2024) - [i8]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita
, Alberto Verdejo:
Strategies, model checking and branching-time properties in Maude. CoRR abs/2401.07680 (2024) - [i7]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita
, Alberto Verdejo:
Simulating and model checking membrane systems using strategies in Maude. CoRR abs/2401.07743 (2024) - [i6]Rubén Rubio, Narciso Martí-Oliet, Isabel Pita
, Alberto Verdejo:
Metalevel transformation of strategies. CoRR abs/2401.07749 (2024) - [i5]Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo:
The Maude strategy language. CoRR abs/2402.00275 (2024) - 2023
- [j31]Steven Eker, Narciso Martí-Oliet
, José Meseguer, Rubén Rubio
, Alberto Verdejo:
The Maude strategy language. J. Log. Algebraic Methods Program. 134: 100887 (2023) - [c66]Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino, Isabel Pita
:
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 1-20 - [c65]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM 2023: 240-259 - [i4]Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Compositional Verification in Rewriting Logic. CoRR abs/2307.16537 (2023) - 2022
- [j30]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29(1): 7 (2022) - [j29]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124: 100727 (2022) - [j28]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124: 100728 (2022) - [j27]Daniel Loscos
, Narciso Martí-Oliet
, Ismael Rodríguez
:
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68: 100982 (2022) - [c64]Francisco Durán
, Steven Eker
, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer
, Rubén Rubio
, Carolyn L. Talcott
:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - 2021
- [j26]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita, Alberto Verdejo
:
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123: 100700 (2021) - [i3]Christiano Braga, Narciso Martí-Oliet:
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR abs/2108.07878 (2021) - 2020
- [j25]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Rubén Rubio
, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [j24]Óscar Martín
, Alberto Verdejo, Narciso Martí-Oliet
:
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20(1): 44-98 (2020) - [c63]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS 2020: 156-175 - [e7]Santiago Escobar
, Narciso Martí-Oliet
:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents]
2010 – 2019
- 2019
- [c62]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD 2019: 34:1-34:18 - [i2]Óscar Martín
, Alberto Verdejo, Narciso Martí-Oliet
:
Compositional specification in rewriting logic. CoRR abs/1908.11769 (2019) - [i1]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - 2018
- [j23]Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60(4): 421-463 (2018) - [c61]Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Parameterized Strategies Specification in Maude. WADT 2018: 27-44 - [c60]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Parameterized Programming for Compositional System Specification. WRLA@ETAPS 2018: 59-75 - [c59]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - 2017
- [c58]Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Conditional narrowing modulo SMT and axioms. PPDP 2017: 17-28 - 2016
- [j22]Christiano Braga, Narciso Martí-Oliet
:
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126: 1-2 (2016) - [c57]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Synchronous Products of Rewrite Systems. ATVA 2016: 141-156 - [c56]Francisco Durán, Steven Eker, Santiago Escobar
, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c55]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Egalitarian State-Transition Systems. WRLA 2016: 98-117 - 2015
- [j21]Francisco Durán
, Narciso Martí-Oliet
:
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99: 1-2 (2015) - [c54]Narciso Martí-Oliet
, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c53]Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency 2015: 48-71 - [c52]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [e6]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - [e5]Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents] - 2014
- [c51]Óscar Martín
, Alberto Verdejo
, Narciso Martí-Oliet
:
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software 2014: 129-150 - [c50]Narciso Martí-Oliet
, Francisco Durán
, Alberto Verdejo
:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c49]Luis Aguirre
, Narciso Martí-Oliet
, Miguel Palomino
, Isabel Pita
:
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA 2014: 80-96 - 2013
- [e4]Narciso Martí-Oliet, Miguel Palomino:
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7841, Springer 2013, ISBN 978-3-642-37634-4 [contents] - 2012
- [j20]Narciso Martí-Oliet
, Peter Csaba Ölveczky:
Preface. J. Log. Algebraic Methods Program. 81(7-8): 719-720 (2012) - [j19]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81(7-8): 782-815 (2012) - [j18]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
, Rafael Caballero
:
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81(7-8): 851-897 (2012) - 2011
- [c48]Manuel Clavel, Narciso Martí-Oliet
, Miguel Palomino
:
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298 - [c47]Rafael Caballero
, Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89 - [c46]Alberto Verdejo
, Narciso Martí-Oliet
:
Basic completion strategies as another application of the Maude strategy language. WRS 2011: 17-36 - 2010
- [j17]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010) - [c45]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
A Complete Declarative Debugger for Maude. AMAST 2010: 216-225 - [c44]Narciso Martí-Oliet
:
An Introduction to Maude and Some of Its Applications. PADL 2010: 4-9 - [c43]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Declarative Debugging of Missing Answers for Maude. RTA 2010: 277-294 - [c42]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
:
Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2000 – 2009
- 2009
- [c41]Manuel Clavel, Francisco Durán
, Steven Eker, Santiago Escobar
, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - 2008
- [j16]José Meseguer, Miguel Palomino
, Narciso Martí-Oliet
:
Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008) - [c40]Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
, Rafael Caballero
:
A Declarative Debugger for Maude. AMAST 2008: 116-121 - [c39]Rafael Caballero
, Narciso Martí-Oliet
, Adrián Riesco
, Alberto Verdejo
:
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193 - [c38]Adrián Riesco
, Alberto Verdejo
, Rafael Caballero
, Narciso Martí-Oliet
:
Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325 - [c37]Rafael Caballero
, Narciso Martí-Oliet
, Adrián Riesco
, Alberto Verdejo
:
A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81 - [c36]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
A Rewriting Semantics for Maude Strategies. WRLA 2008: 227-247 - 2007
- [j15]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007) - [j14]Narciso Martí-Oliet
, Grigore Rosu, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 20(1-2): 1-2 (2007) - [c35]Narciso Martí-Oliet
, José Meseguer, Miguel Palomino
:
Algebraic Stuttering Simulations. PROLE 2007: 91-110 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Using Maude. All About Maude 2007: 31-37 - [p22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Syntax and Basic Parsing. All About Maude 2007: 39-59 - [p21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Functional Modules. All About Maude 2007: 61-118 - [p20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129 - [p19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
System Modules. All About Maude 2007: 131-157 - [p18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Playing with Maude. All About Maude 2007: 159-184 - [p17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Module Operations. All About Maude 2007: 185-230 - [p16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Predefined Data Modules. All About Maude 2007: 231-305 - [p15]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino
, Alberto Verdejo
:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338 - [p14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Based Programming. All About Maude 2007: 339-372 - [p13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Model Checking Invariants Through Search. All About Maude 2007: 373-384 - [p12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
LTL Model Checking. All About Maude 2007: 385-418 - [p11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458 - [p10]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Metaprogramming Applications. All About Maude 2007: 459-483 - [p9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco
, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - [p8]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555 - [p7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Full Maude: Extending Core Maude. All About Maude 2007: 559-597 - [p6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Oriented Modules. All About Maude 2007: 599-642 - [p5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Sampler of Application Areas. All About Maude 2007: 645-665 - [p4]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:
Some Tools. All About Maude 2007: 667-693 - [p3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Debugging and Troubleshooting. All About Maude 2007: 697-736 - [p2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Complete List of Maude Commands. All About Maude 2007: 737-749 - [p1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Core Maude Grammar. All About Maude 2007: 751-756 - [e3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2006
- [j13]Alberto Verdejo
, Narciso Martí-Oliet
:
Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. 67(1-2): 226-293 (2006) - [c34]Steven Eker, Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR 2006: 3-25 - [e2]Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents] - 2005
- [j12]Alberto Verdejo
, Narciso Martí-Oliet
:
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. 27(1-2): 113-172 (2005) - [j11]Narciso Martí-Oliet
, Isabel Pita
, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005) - [c33]Miguel Palomino, José Meseguer, Narciso Martí-Oliet:
A Categorical Approach to Simulations. CALCO 2005: 313-330 - [c32]Alberto Verdejo
, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. FMOODS 2005: 227-242 - [c31]Horatiu Cirstea, Narciso Martí-Oliet:
Preface. RULE@RDP 2005: 1-3 - [e1]Narciso Martí-Oliet:
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents] - 2004
- [c30]Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86 - [c29]Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143 - [c28]Narciso Martí-Oliet:
Preface. WRLA 2004: 1-4 - [c27]Miguel Palomino
, Narciso Martí-Oliet
, Alberto Verdejo
:
Playing with Maude. RULE@RDP 2004: 3-23 - [c26]Narciso Martí-Oliet
, Miguel Palomino
, Alberto Verdejo
:
A Tutorial on Specifying Data Structures in Maude. PROLE 2004: 105-132 - [c25]Narciso Martí-Oliet
, José Meseguer, Alberto Verdejo
:
Towards a Strategy Language for Maude. WRLA 2004: 417-441 - 2003
- [j10]Alberto Verdejo
, Isabel Pita
, Narciso Martí-Oliet
:
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14(3): 228-246 (2003) - [c24]José Meseguer, Miguel Palomino, Narciso Martí-Oliet:
Equational Abstractions. CADE 2003: 2-16 - [c23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
The Maude 2.0 System. RTA 2003: 76-87 - 2002
- [j9]Narciso Martí-Oliet:
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL 10(4): 453-455 (2002) - [j8]Narciso Martí-Oliet
, José Meseguer:
Preface. Theor. Comput. Sci. 285(2): 119-120 (2002) - [j7]Narciso Martí-Oliet
, José Meseguer:
Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002) - [j6]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) - [j5]Isabel Pita
, Narciso Martí-Oliet
:
A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. 285(2): 407-439 (2002) - [c22]Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. WRLA 2002: 261-281 - [c21]Alberto Verdejo
, Narciso Martí-Oliet
:
Implementing CCS in Maude 2. WRLA 2002: 282-300 - 2001
- [c20]Isabel Pita, Narciso Martí-Oliet:
Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE 2001: 277-295 - 2000
- [c19]Roberto Bruni, David de Frutos-Escrig
, Narciso Martí-Oliet, Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274 - [c18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c17]Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude. FORTE 2000: 351-366 - [c16]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c15]Manuel Clavel, Francisco Durán
, Narciso Martí-Oliet
:
Polytypic Programming in Maude. WRLA 2000: 339-360 - [c14]Alberto Verdejo
, Isabel Pita
, Narciso Martí-Oliet
:
The Leader Election Protocol of IEEE 1394 in Maude. WRLA 2000: 383-404
1990 – 1999
- 1999
- [c13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - [c12]José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458 - 1998
- [c11]Isabel Pita
, Narciso Martí-Oliet
:
Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT 1998: 261-276 - [c10]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c9]Manuel Clavel, Francisco Durán
, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet
, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1997
- [c8]Narciso Martí-Oliet:
Rewriting logic and its applications. APPIA-GULP-PRODE 1997: 5-8 - [c7]Isabel Pita, Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE 1997: 369-380 - 1996
- [j4]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996) - [j3]Narciso Martí-Oliet, José Meseguer:
Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996) - [c6]Narciso Martí-Oliet
, José Meseguer:
Rewriting logic as a logical and semantic framework. WRLA 1996: 190-225 - [c5]Isabel Pita
, Narciso Martí-Oliet
:
A Maude specification of an object-oriented database model for telecommunication networks. WRLA 1996: 405-423 - 1994
- [c4]José Meseguer, Narciso Martí-Oliet:
From Abstract Data Types to Logical Frameworks. COMPASS/ADT 1994: 48-80 - [c3]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms 1994: 309-339 - [c2]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli:
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48 - 1991
- [j2]Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic through Categories: A Survey. Int. J. Found. Comput. Sci. 2(4): 297-399 (1991) - [j1]Narciso Martí-Oliet
, José Meseguer:
From Petri Nets to Linear Logic. Math. Struct. Comput. Sci. 1(1): 69-101 (1991)
1980 – 1989
- 1989
- [c1]Narciso Martí-Oliet
, José Meseguer:
From Petri Nets to Linear Logic. Category Theory and Computer Science 1989: 313-340
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-11 01:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint