José Meseguer
Orcid: 0000-0003-4779-3848Affiliations:
- University of Illinois Urbana-Champaign, Thomas Siebel Center for Computer Science, Urbana-Champaign, IL, USA
- SRI International, Menlo Park, CA, USA (former)
- Stanford University, Centre for the Study of Language and Information, CA, USA (former)
- University of Santiago de Compostela, Faculty of Science, Spain (former)
- University of Zaragoza, Faculty of Science, Spain (PhD 1975)
According to our database1,
José Meseguer
authored at least 389 papers
between 1974 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Log. Algebraic Methods Program., August, 2023
Proceedings of the Computer Security - ESORICS 2023, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Bridging the semantic gap between qualitative and quantitative models of distributed systems.
Proc. ACM Program. Lang., 2022
Ann. Math. Artif. Intell., 2022
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022
2021
Proceedings of the Protocols, Strands, and Logic, 2021
2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques.
J. Autom. Reason., 2020
Fundam. Informaticae, 2020
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
Fundam. Informaticae, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020
2019
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.
Formal Aspects Comput., 2019
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019
2018
J. Log. Algebraic Methods Program., 2018
The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors.
J. Comput. Syst. Sci., 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Logic, Language, Information, and Computation, 2018
Proceedings of the Security and Trust Management - 14th International Workshop, 2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Leibniz Trans. Embed. Syst., 2017
J. Log. Algebraic Methods Program., 2017
Dependency pairs for proving termination properties of conditional term rewriting systems.
J. Log. Algebraic Methods Program., 2017
Formal Aspects Comput., 2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
J. Log. Algebraic Methods Program., 2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Security Standardisation Research - Second International Conference, 2015
Proceedings of the Software, 2015
Proceedings of the Software, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the 28th International Workshop on Unification, 2014
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
Proceedings of the Security and Trust Management - 10th International Workshop, 2014
Proceedings of the Security Standardisation Research - First International Conference, 2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.
Proceedings of the Specification, Algebra, and Software, 2014
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014
2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
Theor. Comput. Sci., 2012
J. Log. Algebraic Methods Program., 2012
J. Log. Algebraic Methods Program., 2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
Proceedings of the Computer Security - ESORICS 2012, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the 25th International Workshop on Unification, 2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Security and Trust Management - 6th International Workshop, 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Computer Security, 2010
2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
MOMENT2: EMF Model Transformations in Maude.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Proceedings of the Computer Security, 2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
High. Order Symb. Comput., 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008
Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the 22nd International Workshop on Unification, 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Computer Security, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proceedings of the Concurrency, 2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2007
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements.
Rev. Colomb. de Computación, 2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007
Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
Proceedings of the Foundations of Security Analysis and Design V, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Theor. Comput. Sci., 2006
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
Theor. Comput. Sci., 2006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods Syst. Des., 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006
Joseph Goguen (1941-2006).
Bull. EATCS, 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Inf. Process. Lett., 2005
Proceedings of the Second Workshop on Structural Operational Semantics, 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the Logic for Programming, 2005
A rewriting-based inference system for the NRL protocol analyzer: grammar generation.
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
Proceedings of the From Object-Orientation to Formal Methods, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the Model Checking Software, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Theor. Comput. Sci., 2002
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Math. Struct. Comput. Sci., 2002
Proceedings of the Coalgebraic Methods in Computer Science, 2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the 7th Pacific Symposium on Biocomputing, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the ECOOP 2002, 2002
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002
2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
Specification and Formal Analysis of a PLAN Algorithm in Maude.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
Proceedings of the Frontiers of Combining Systems, 2000
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
A Logical Framework for Distributed Systems and Communication Protocols.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
On the Semantics of GAEA.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
Proceedings of the Advances in Computing Science, 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the CONCUR '96, 1996
Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996
1994
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.
Proceedings of the Specification of Parallel Algorithms, 1994
Proceedings of the Parallel Processing: CONPAR 94, 1994
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
Inf. Comput., March, 1993
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the ECOOP'93, 1993
1992
Theor. Comput. Sci., 1992
Theor. Comput. Sci., 1992
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.
Theor. Comput. Sci., 1992
Proceedings of the Algebraic and Logic Programming, 1992
1991
Int. J. Found. Comput. Sci., 1991
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991
1990
Proceedings of the Workshop on Object-based Concurrent Programming, 1990
Proceedings of the Conference on Object-Oriented Programming Systems, 1990
Proceedings of the Conditional and Typed Rewriting Systems, 1990
Proceedings of the Conditional and Typed Rewriting Systems, 1990
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
Software for the Rewrite Rule Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Order-Sorted Algebra solves the Constructor-Selector, Multiple
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987
Proceedings of the Conditional Term Rewriting Systems, 1987
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics.
Proceedings of the Research Directions in Object-Oriented Programming, 1987
1986
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets.
Bull. EATCS, 1986
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986
EQLOG: Equality, Types, and Generic Modules For Logic Programming.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986
1985
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
1984
J. Log. Program., 1984
Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984
Equality, Types, Modules and Generics for Logic Programming.
Proceedings of the Second International Logic Programming Conference, 1984
1983
J. Comput. Syst. Sci., 1983
1982
Proceedings of the 1982 IEEE Symposium on Security and Privacy, 1982
Proceedings of the workshop on Rapid Prototyping, 1982
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules.
Proceedings of the Automata, 1982
1981
Proceedings of the Formalization of Programming Concepts, 1981
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
Proceedings of the Fundamentals of Computation Theory, 1977
1974
Proceedings of the Category Theory Applied to Computation and Control, 1974