Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
José Meseguer
2010 – today
- 2013
[c192]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248- 2012
- [j110]Kyungmin Bae, José Meseguer: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. Electr. Notes Theor. Comput. Sci. 290: 19-36 (2012)
- [j109]Joe Hendrix, José Meseguer: Order-sorted Equational Unification Revisited. Electr. Notes Theor. Comput. Sci. 290: 37-50 (2012)
- [j108]
- [j107]Francisco Durán, José Meseguer: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebr. Program. 81(7-8): 816-850 (2012)
- [j106]Santiago Escobar, Ralf Sasse, José Meseguer: Folding variant narrowing and optimal variant termination. J. Log. Algebr. Program. 81(7-8): 898-928 (2012)
- [j105]Michael Katelman, Sean Keller, José Meseguer: Rewriting semantics of production rule sets. J. Log. Algebr. Program. 81(7-8): 929-956 (2012)
- [j104]José Meseguer, Peter Csaba Ölveczky: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. 451: 1-37 (2012)
- [c191]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90
- [c190]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky: Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18
- [c189]Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang: IBOS: A Correct-By-Construction Modular Browser. FACS 2012: 224-241
- [c188]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. FASE 2012: 59-62
- [c187]Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93
- [c186]Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin: State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446
- [c185]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing: Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160
- [c184]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer: Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82
- [c183]Kyungmin Bae, José Meseguer: Model Checking LTLR Formulas under Localized Fairness. WRLA 2012: 99-117
- [c182]Raúl Gutiérrez, José Meseguer, Camilo Rocha: Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181
- [c181]Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky: PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. FTSCS 2012: 5-21
- 2011
- [j103]Artur Boronat, José Meseguer: Automated Model Synchronization: A Case Study on UML with Maude. ECEASST 41 (2011)
- [c180]
- [c179]Musab AlTurki, José Meseguer: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392
- [c178]Kyungmin Bae, José Meseguer: State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148
- [c177]
- [c176]José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project: A Progress Report. FCT 2011: 1-37
- [c175]Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer: Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667
- [c174]Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer: Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71
- [c173]Felix Schernhammer, José Meseguer: Incremental checking of well-founded recursive specifications modulo axioms. PPDP 2011: 5-16
- [c172]Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse: Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76
- [c171]Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
- [e5]Gul Agha, Olivier Danvy, José Meseguer (Eds.): Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7
- [r1]
- [i1]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011)
- 2010
- [j102]Artur Boronat, José Meseguer: An algebraic semantics for MOF. Formal Asp. Comput. 22(3-4): 269-296 (2010)
- [j101]José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Algebraic simulations. J. Log. Algebr. Program. 79(2): 103-143 (2010)
- [c170]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
- [c169]Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62
- [c168]Michael Katelman, José Meseguer: vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. Haifa Verification Conference 2010: 129-145
- [c167]José Meseguer, Peter Csaba Ölveczky: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM 2010: 303-320
- [c166]Joe Hendrix, Deepak Kapur, José Meseguer: Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP 2010: 275-290
- [c165]Camilo Rocha, José Meseguer: Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. LPAR (Yogyakarta) 2010: 594-609
- [c164]Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu: A formal executable semantics of Verilog. MEMOCODE 2010: 179-188
- [c163]Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
- [c162]
- [c161]Beatriz Alarcón, Salvador Lucas, José Meseguer: A Dependency Pair Framework for A OR C-Termination. WRLA 2010: 35-51
- [c160]Santiago Escobar, Ralf Sasse, José Meseguer: Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68
- [c159]Francisco Durán, José Meseguer: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85
- [c158]Francisco Durán, José Meseguer: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103
- [c157]Michael Katelman, Sean Keller, José Meseguer: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. WRLA 2010: 140-156
- [c156]
- [c155]Kyungmin Bae, José Meseguer: The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010: 208-225
- [c154]Musab AlTurki, José Meseguer: Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis. RTRTS 2010: 26-45
- [c153]Michael Katelman, José Meseguer: Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures. RTRTS 2010: 101-116
- [c152]Peter Csaba Ölveczky, José Meseguer: Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. RTRTS 2010: 137-157
- [c151]Mu Sun, José Meseguer: Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control. RTRTS 2010: 158-177
2000 – 2009
- 2009
- [j100]Musab AlTurki, José Meseguer, Carl A. Gunter: Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. Electr. Notes Theor. Comput. Sci. 234: 3-18 (2009)
- [j99]Santiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
- [j98]Salvador Lucas, José Meseguer: Operational Termination of Membership Equational Programs: the Order-Sorted Way. Electr. Notes Theor. Comput. Sci. 238(3): 207-225 (2009)
- [j97]Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: A Rewriting Semantics for Maude Strategies. Electr. Notes Theor. Comput. Sci. 238(3): 227-247 (2009)
- [j96]María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
- [j95]Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez: Web Services and Interoperability for the Maude Termination Tool. Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009)
- [j94]Francisco Durán, Salvador Lucas, José Meseguer: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electr. Notes Theor. Comput. Sci. 248: 93-113 (2009)
- [j93]Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer: A Graphical User Interface for Maude-NPA. Electr. Notes Theor. Comput. Sci. 258(1): 3-20 (2009)
- [j92]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009)
- [c150]José Meseguer: Order-Sorted Parameterization and Induction. Semantics and Algebraic Specification 2009: 43-80
- [c149]Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405
- [c148]Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
- [c147]Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262
- [c146]
- [c145]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
- [c144]Artur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115
- 2008
- [j91]Musab AlTurki, José Meseguer: Reduction Semantics and Formal Analysis of Orc Programs. Electr. Notes Theor. Comput. Sci. 200(3): 25-41 (2008)
- [j90]Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)
- [j89]Salvador Lucas, José Meseguer: Termination of just/fair computations in term rewriting. Inf. Comput. 206(5): 652-675 (2008)
- [j88]Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
- [j87]José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
- [c143]Camilo Rocha, José Meseguer: Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS 2008: 337-351
- [c142]Rocco De Nicola, Pierpaolo Degano, José Meseguer: Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8
- [c141]José Meseguer: The Temporal Logic of Rewriting: A Gentle Introduction. Concurrency, Graphs and Models 2008: 354-382
- [c140]Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
- [c139]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
- [c138]
- [c137]Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58
- [c136]Michael Katelman, José Meseguer, Jennifer C. Hou: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS 2008: 150-169
- [c135]María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
- [c134]Michael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
- [c133]
- [c132]Santiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
- [c131]
- [c130]Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87
- [p3]Lui Sha, José Meseguer: Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms 2008: 92-100
- [e4]José Meseguer, Grigore Rosu (Eds.): Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140, Springer 2008, ISBN 978-3-540-79979-5
- [e3]Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.): Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7
- 2007
- [j86]Santiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
- [j85]Peter Csaba Ölveczky, José Meseguer: Recent Advances in Real-Time Maude. Electr. Notes Theor. Comput. Sci. 174(1): 65-81 (2007)
- [j84]Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Deduction, Strategies, and Rewriting. Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007)
- [j83]Peter Csaba Ölveczky, José Meseguer: Abstraction and Completeness for Real-Time Maude. Electr. Notes Theor. Comput. Sci. 176(4): 5-27 (2007)
- [j82]Ralf Sasse, José Meseguer: Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. Electr. Notes Theor. Comput. Sci. 176(4): 29-46 (2007)
- [j81]Michael Katelman, José Meseguer: A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. Electr. Notes Theor. Comput. Sci. 176(4): 47-60 (2007)
- [j80]Azadeh Farzan, José Meseguer: Partial Order Reduction for Rewriting Semantics of Programming Languages. Electr. Notes Theor. Comput. Sci. 176(4): 61-78 (2007)
- [j79]Santiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
- [j78]Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A Rewriting Logic Approach to Operational Semantics (Extended Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 125-141 (2007)
- [j77]José Meseguer, Prasanna Thati: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Higher-Order and Symbolic Computation 20(1-2): 123-160 (2007)
- [j76]Peter Csaba Ölveczky, José Meseguer: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2): 161-196 (2007)
- [j75]Camilo Rocha, José Meseguer: A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements. Revista Colombiana de Computación 8(2) (2007)
- [j74]
- [j73]Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)
- [j72]José Meseguer, Grigore Rosu: The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007)
- [c129]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
- [c128]Santiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
- [c127]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
- [c126]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
- [c125]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
- [c124]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
- [c123]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
- [c122]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
- [c121]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
- [c120]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
- [c119]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
- [c118]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
- [c117]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
- [c116]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
- [c115]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
- [c114]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
- [c113]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
- [c112]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
- [c111]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
- [c110]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
- [c109]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
- [c108]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
- [c107]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
- [c106]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
- [c105]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
- [c104]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
- [c103]
- [c102]Santiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
- [c101]Joe Hendrix, José Meseguer: On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA 2007: 229-245
- [c100]José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang: A Systematic Approach to Uncover Security Flaws in GUI Logic. IEEE Symposium on Security and Privacy 2007: 71-85
- [e2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): 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
- 2006
- [j71]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer: Joseph Goguen (1941-2006). Bulletin of the EATCS 90: 199-201 (2006)
- [j70]Gul A. Agha, José Meseguer, Koushik Sen: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electr. Notes Theor. Comput. Sci. 153(2): 213-239 (2006)
- [j69]José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. Electr. Notes Theor. Comput. Sci. 156(1): 27-56 (2006)
- [j68]Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods in System Design 29(3): 253-293 (2006)
- [j67]Roberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
- [j66]Prasanna Thati, José Meseguer: Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366(1-2): 163-179 (2006)
- [j65]Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006)
- [c99]Azadeh Farzan, José Meseguer: State Space Reduction of Rewrite Theories Using Invisible Transitions. AMAST 2006: 142-157
- [c98]
- [c97]Joe Hendrix, José Meseguer, Hitoshi Ohsaki: A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR 2006: 151-155
- [c96]José Meseguer, Raman Sharykin: Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC 2006: 460-475
- [e1]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X
- 2005
- [j64]José Meseguer, Prasanna Thati: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electr. Notes Theor. Comput. Sci. 117: 153-182 (2005)
- [j63]Peter Csaba Ölveczky, José Meseguer: Real-Time Maude 2.1. Electr. Notes Theor. Comput. Sci. 117: 285-314 (2005)
- [j62]Christiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
- [j61]Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005)
- [j60]Salvador Lucas, Claude Marché, José Meseguer: Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4): 446-453 (2005)
- [j59]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)
- [c95]José Meseguer: Functorial Semantics of Rewrite Theories. Formal Methods in Software and Systems Modeling 2005: 220-235
- [c94]Miguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330
- [c93]Prasanna Thati, José Meseguer: Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO 2005: 379-394
- [c92]Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
- [c91]
- [c90]Salvador Lucas, José Meseguer: Termination of Fair Computations in Term Rewriting. LPAR 2005: 184-198
- [c89]Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174
- [c88]
- [c87]Santiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
- [c86]José Meseguer, Grigore Rosu: Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267
- 2004
- [j58]David A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
- [c85]Azadeh Farzan, José Meseguer, Grigore Rosu: Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147
- [c84]José Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
- [c83]Mark-Oliver Stehr, José Meseguer: Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. Essays in Memory of Ole-Johan Dahl 2004: 334-375
- [c82]José Meseguer, Grigore Rosu: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44
- [c81]Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu: Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505
- [c80]Peter Csaba Ölveczky, José Meseguer: Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358
- [c79]Santiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116
- [c78]Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
- [c77]Narciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
- 2003
- [j57]Francisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
- [c76]
- [c75]Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
- [c74]Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
- [c73]
- [c72]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
- [c71]José Meseguer: Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. MEMOCODE 2003: 3-
- [c70]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
- [c69]Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker and Its Implementation. SPIN 2003: 230-234
- 2002
- [j56]José Meseguer, Grigore Rosu: Towards Behavioral Maude: Behavioral Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 65(1): 197-253 (2002)
- [j55]Roberto Bruni, José Meseguer, Ugo Montanari: Tiling Transactions in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: 90-109 (2002)
- [j54]Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: 110-126 (2002)
- [j53]Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker. Electr. Notes Theor. Comput. Sci. 71: 162-187 (2002)
- [j52]Roberto Bruni, José Meseguer, Ugo Montanari: Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Mathematical Structures in Computer Science 12(1): 53-90 (2002)
- [j51]
- [j50]Narciso Martí-Oliet, José Meseguer: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002)
- [j49]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)
- [j48]Manuel Clavel, José Meseguer: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002)
- [j47]Peter Csaba Ölveczky, José Meseguer: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002)
- [c68]José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott: Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510
- [c67]José Meseguer, Carolyn L. Talcott: Semantic Models for Distributed Object Reflection. ECOOP 2002: 1-36
- [c66]José Meseguer, Grigore Rosu: A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584
- [c65]Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
- [c64]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez: Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing 2002: 400-412
- 2001
- [j46]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. Electr. Notes Theor. Comput. Sci. 44(4): 140-162 (2001)
- [j45]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001)
- [j44]
- [c63]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
- [c62]Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele: Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE 2001: 333-348
- [c61]Pavel Naumov, Mark-Oliver Stehr, José Meseguer: The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
- 2000
- [j43]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 294-315 (2000)
- [j42]Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 316-338 (2000)
- [j41]Peter Csaba Ölveczky, José Meseguer: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. Electr. Notes Theor. Comput. Sci. 36: 361-382 (2000)
- [j40]Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: 405-425 (2000)
- [j39]José Meseguer, Carolyn L. Talcott: Semantic interoperation of open systems. ACM SIGSOFT Software Engineering Notes 25(1): 64-65 (2000)
- [j38]
- [j37]Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1-2): 35-132 (2000)
- [c60]Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421
- [c59]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
- [c58]José Meseguer: Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. FMOODS 2000: 89-
- [c57]Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216
- [c56]David A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
- [c55]Bow-Yaw Wang, José Meseguer, Carl A. Gunter: Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification 2000: E49-E56
- [c54]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
- [c53]
1990 – 1999
- 1999
- [j36]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. Electr. Notes Theor. Comput. Sci. 29: 21 (1999)
- [j35]Francisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: 23-41 (1999)
- [c52]José Meseguer, Carolyn L. Talcott: A Partial Order Event Model for Concurrent Objects. CONCUR 1999: 415-430
- [c51]Roberto Bruni, José Meseguer, Ugo Montanari: Executable Tile Specifications for Process Calculi. FASE 1999: 60-76
- [c50]Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr: Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703
- [c49]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
- [c48]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
- [j34]José Meseguer, Carolyn L. Talcott: Mapping OMRS to rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 33-54 (1998)
- [j33]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: 147-160 (1998)
- [j32]Francisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: 174-195 (1998)
- [j31]Roberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. Electr. Notes Theor. Comput. Sci. 15: 263-284 (1998)
- [j30]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)
- [c47]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
- [c46]Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima: On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 123-142
- [c45]José Meseguer: A Logical Framework for Distributed Systems and Communication Protocols. FORTE 1998: 327-333
- 1997
- [j29]José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7(4): 359-397 (1997)
- [j28]Maura Cerioli, José Meseguer: May I Borrow Your Logic? (Transporting Logical Structures Along Maps). Theor. Comput. Sci. 173(2): 311-347 (1997)
- [c44]José Meseguer, Ugo Montanari, Vladimiro Sassone: Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249
- [c43]Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and Proof in Membership Equational Logic. TAPSOFT 1997: 67-92
- [c42]José Meseguer: Membership algebra as a logical framework for equational specification. WADT 1997: 18-61
- [c41]
- 1996
- [j27]Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing the Algebra of Net Computations and Processes. Acta Inf. 33(7): 641-667 (1996)
- [j26]
- [j25]Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: 65-89 (1996)
- [j24]Manuel Clavel, José Meseguer: Reflection and strategies in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: 126-148 (1996)
- [j23]Narciso Martí-Oliet, José Meseguer: Rewriting logic as a logical and semantic framework. Electr. Notes Theor. Comput. Sci. 4: 190-225 (1996)
- [j22]Peter Csaba Ölveczky, José Meseguer: Specifying real-time systems in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: 284-309 (1996)
- [j21]
- [j20]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins: Software Component Search. Journal of Systems Integration 6(1/2): 93-134 (1996)
- [j19]Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996)
- [j18]Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996)
- [j17]José Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996)
- [c40]Livio Ricciulli, Patrick Lincoln, José Meseguer: Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24
- [c39]José Meseguer: Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. CONCUR 1996: 331-372
- 1994
- [c38]José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets 1994: 16-38
- [c37]José Meseguer, Narciso Martí-Oliet: From Abstract Data Types to Logical Frameworks. COMPASS/ADT 1994: 48-80
- [c36]Patrick Lincoln, José Meseguer, Livio Ricciulli: The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520
- [c35]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48
- 1993
- [j16]José Meseguer, Joseph A. Goguen: Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993)
- [c34]José Meseguer: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ECOOP 1993: 220-246
- [c33]
- [c32]José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
- 1992
- [j15]José Meseguer: Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci. 96(1): 73-155 (1992)
- [j14]Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992)
- [j13]Joseph A. Goguen, José Meseguer: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273 (1992)
- [c31]
- [c30]José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Petri Nets. CONCUR 1992: 286-301
- 1991
- [j12]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)
- [j11]Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Mathematical Structures in Computer Science 1(1): 69-101 (1991)
- [j10]Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Mathematical Structures in Computer Science 1(2): 179-213 (1991)
- [j9]
- [c29]José Meseguer, Timothy C. Winkler: Parallel Programmming in Maude. Research Directions in High-Level Parallel Programming Languages 1991: 253-293
- 1990
- [j8]
- [c28]
- [c27]
- [c26]Hitoshi Aida, Joseph A. Goguen, José Meseguer: Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332
- [c25]
1980 – 1989
- 1989
- [j7]
- [c24]Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Category Theory and Computer Science 1989: 21-51
- [c23]Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Category Theory and Computer Science 1989: 313-340
- [c22]Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing Net Computations and Processes. LICS 1989: 175-185
- [c21]
- 1988
- [c20]
- [c19]Claude Kirchner, Hélène Kirchner, José Meseguer: Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301
- [c18]José Meseguer, Ugo Montanari: Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory. LICS 1988: 155-164
- 1987
- [j6]Irène Guessarian, José Meseguer: On the Axiomatization of ``If-Then-Else''. SIAM J. Comput. 16(2): 332-357 (1987)
- [j5]Joseph A. Goguen, José Meseguer: Remarks on Remarks on Many-Sorted Equational Logic. SIGPLAN Notices 22(4): 41-48 (1987)
- [c17]Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181
- [c16]Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler: An Introduction to OBJ 3. CTRS 1987: 258-263
- [c15]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60
- [c14]Joseph A. Goguen, José Meseguer: Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29
- [c13]Joseph A. Goguen, José Meseguer: Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22
- [p2]Joseph A. Goguen, José Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478
- 1986
- [j4]Joseph A. Goguen, José Meseguer: Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bulletin of the EATCS 30: 66-73 (1986)
- [c12]Joseph A. Goguen, Claude Kirchner, José Meseguer: Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93
- [p1]Joseph A. Goguen, José Meseguer: EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363
- 1985
- [c11]Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231
- [c10]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66
- 1984
- [j3]Joseph A. Goguen, José Meseguer: Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984)
- [c9]Joseph A. Goguen, José Meseguer: Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125
- [c8]Joseph A. Goguen, José Meseguer: Unwinding and Inference Control. IEEE Symposium on Security and Privacy 1984: 75-87
- 1983
- [j2]Joseph A. Goguen, José Meseguer: Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983)
- 1982
- [j1]Joseph A. Goguen, José Meseguer: Completeness of many-sorted equational logic. SIGPLAN Notices 17(1): 9-17 (1982)
- [c7]Joseph A. Goguen, José Meseguer: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281
- [c6]Danny Dolev, José Meseguer, Marshall C. Pease: Finding Safe Paths in a Faulty Environment. PODC 1982: 95-103
- [c5]Joseph A. Goguen, José Meseguer: Security Policies and Security Models. IEEE Symposium on Security and Privacy 1982: 11-20
- 1981
- [c4]José Meseguer: A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. ICFPC 1981: 152-168
1970 – 1979
- 1977
- [c3]José Meseguer: On Order-Complete Universal Algebra and Enriched Functorial Semantics. FCT 1977: 294-301
- [c2]
- 1974
- [c1]José Meseguer, Ignacio Sols: Automata in semimodule categories. Category Theory Applied to Computation and Control 1974: 193-198
Coauthor Index
[j107] [c171] [c159] [c158] [j95] [j94] [c147] [c145] [j88] [c140] [j74] [c129] [c127] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [e2] [c78] [j57] [c70] [j49] [j43] [j42] [c59] [c54] [j35] [c50] [c49] [j33] [j32] [j30]
[j101] [j97] [c145] [j90] [j87] [j84] [c127] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [e2] [j61] [j59] [c94] [c77] [c76] [c70] [j51] [j50] [j49] [j43] [c59] [c49] [c48] [j33] [j30] [j23] [j19] [j18] [c37] [c35] [j12] [j11] [c23]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:39 CEST by the dblp team