dblp.uni-trier.dewww.uni-trier.de

José Meseguer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
247EERavinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405
246EEArtur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
245EEFrancisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCos 2009: 246-262
244 Artur Boronat, José Meseguer: MOMENT2: EMF Model Transformations in Maude. JISBD 2009: 178-179
243EEManuel 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
242EEJosé Meseguer: Order-Sorted Parameterization and Induction. Semantics and Algebraic Specification 2009: 43-80
241EEArtur Boronat, José Meseguer: Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) 2009: 96-115
240EEMusab 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)
239EESantiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
238EESalvador Lucas, José Meseguer: Operational Termination of Membership Equational Programs: the Order-Sorted Way. Electr. Notes Theor. Comput. Sci. 238(3): 207-225 (2009)
237EENarciso Martí-Oliet, José Meseguer, Alberto Verdejo: A Rewriting Semantics for Maude Strategies. Electr. Notes Theor. Comput. Sci. 238(3): 227-247 (2009)
236EETraian-Florin Serbanuta, Grigore Rosu, José Meseguer: A rewriting logic approach to operational semantics. Inf. Comput. 207(2): 305-340 (2009)
2008
235 Pierpaolo Degano, Rocco De Nicola, José Meseguer: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Springer 2008
234 José Meseguer, Grigore Rosu: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Springer 2008
233EERocco De Nicola, Pierpaolo Degano, José Meseguer: Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8
232EEJosé Meseguer: The Temporal Logic of Rewriting: A Gentle Introduction. Concurrency, Graphs and Models 2008: 354-382
231EESantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
230EEArtur Boronat, José Meseguer: An Algebraic Semantics for MOF. FASE 2008: 377-391
229EEMichael Katelman, José Meseguer, Jennifer C. Hou: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS 2008: 150-169
228EERohit 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
227EEFrancisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
226EEMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
225EEMichael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
224EESalvador Lucas, José Meseguer: Order-sorted dependency pairs. PPDP 2008: 108-119
223EESantiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
222EECamilo Rocha, José Meseguer: Theorem Proving Modulo Based on Boolean Equational Procedures. RelMiCS 2008: 337-351
221EEPeter Csaba Ölveczky, José Meseguer: The Real-Time Maude Tool. TACAS 2008: 332-336
220EELui Sha, José Meseguer: Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms 2008: 92-100
219EEMusab AlTurki, José Meseguer: Reduction Semantics and Formal Analysis of Orc Programs. Electr. Notes Theor. Comput. Sci. 200(3): 25-41 (2008)
218EENarciso Martí-Oliet, José Meseguer, Miguel Palomino: Algebraic Stuttering Simulations. Electr. Notes Theor. Comput. Sci. 206: 91-110 (2008)
217EEFrancisco 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)
216EESalvador Lucas, José Meseguer: Termination of just/fair computations in term rewriting. Inf. Comput. 206(5): 652-675 (2008)
215EEJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
2007
214 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 Springer 2007
213EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
212EEManuel 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
211EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
210EEManuel 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
209EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
208EEManuel 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
207EEManuel 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
206EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
205EEManuel 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
204EEManuel 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
203EEManuel 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
202EEManuel 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
201EEManuel 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
200EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
199EEManuel 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
198EEManuel 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
197EEManuel 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
196EEManuel 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
195EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
194EEManuel 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
193EEManuel 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
192EEManuel 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
191EEManuel 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
190EEManuel 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
189EEManuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
188EESantiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
187EEJosé 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
186EEMusab AlTurki, José Meseguer: Real-time rewriting semantics of orc. PPDP 2007: 131-142
185EESantiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
184EEJoe Hendrix, José Meseguer: On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA 2007: 229-245
183EESantiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
182EEPeter Csaba Ölveczky, José Meseguer: Recent Advances in Real-Time Maude. Electr. Notes Theor. Comput. Sci. 174(1): 65-81 (2007)
181EESteven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Deduction, Strategies, and Rewriting. Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007)
180EERalf 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)
179EEMichael 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)
178EEPeter Csaba Ölveczky, José Meseguer: Abstraction and Completeness for Real-Time Maude. Electr. Notes Theor. Comput. Sci. 176(4): 5-27 (2007)
177EEAzadeh Farzan, José Meseguer: Partial Order Reduction for Rewriting Semantics of Programming Languages. Electr. Notes Theor. Comput. Sci. 176(4): 61-78 (2007)
176EESantiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
175EETraian-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)
174EEJosé 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)
173EEPeter Csaba Ölveczky, José Meseguer: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2): 161-196 (2007)
172EEFrancisco Durán, José Meseguer: Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007)
171EEManuel 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)
170EEJosé Meseguer, Grigore Rosu: The rewriting logic semantics project. Theor. Comput. Sci. 373(3): 213-237 (2007)
2006
169 Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Springer 2006
168EEAzadeh Farzan, José Meseguer: State Space Reduction of Rewrite Theories Using Invisible Transitions. AMAST 2006: 142-157
167EEJosé Meseguer: From OBJ to Maude and Beyond. Essays Dedicated to Joseph A. Goguen 2006: 252-280
166EEJosé Meseguer, Raman Sharykin: Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC 2006: 460-475
165EEJoe Hendrix, José Meseguer, Hitoshi Ohsaki: A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR 2006: 151-155
164EEGul 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)
163EEJosé Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. Electr. Notes Theor. Comput. Sci. 156(1): 27-56 (2006)
162EEPeter 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)
161EERoberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
160EEPrasanna Thati, José Meseguer: Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366(1-2): 163-179 (2006)
159EESantiago 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)
2005
158EEMiguel Palomino, José Meseguer, Narciso Martí-Oliet: A Categorical Approach to Simulations. CALCO 2005: 313-330
157EEPrasanna Thati, José Meseguer: Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO 2005: 379-394
156EESantiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
155EEJosé Meseguer: Functorial Semantics of Rewrite Theories. Formal Methods in Software and Systems Modeling 2005: 220-235
154EEJosé Meseguer: A Rewriting Logic Sampler. ICTAC 2005: 1-28
153EESalvador Lucas, José Meseguer: Termination of Fair Computations in Term Rewriting. LPAR 2005: 184-198
152EEJoe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174
151EEJosé Meseguer: Localized Fairness: A Rewriting Semantics. RTA 2005: 250-263
150EESantiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
149EEJosé Meseguer, Grigore Rosu: Computational Logical Frameworks and Generic Program Analysis Technologies. VSTTE 2005: 256-267
148EEJosé 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)
147EEPeter Csaba Ölveczky, José Meseguer: Real-Time Maude 2.1. Electr. Notes Theor. Comput. Sci. 117: 285-314 (2005)
146EEChristiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
145EENarciso Martí-Oliet, José Meseguer, Alberto Verdejo: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005)
144EESalvador Lucas, Claude Marché, José Meseguer: Operational termination of conditional term rewriting systems. Inf. Process. Lett. 95(4): 446-453 (2005)
143EENarciso 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)
2004
142EEAzadeh Farzan, José Meseguer, Grigore Rosu: Formal JVM Code Analysis in JavaFAN. AMAST 2004: 132-147
141EEJosé Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
140EEAzadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu: Formal Analysis of Java Programs in JavaFAN. CAV 2004: 501-505
139EEMark-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
138EEPeter Csaba Ölveczky, José Meseguer: Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358
137EEJosé Meseguer, Grigore Rosu: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004: 1-44
136EESantiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116
135EEFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
134EENarciso Martí-Oliet, José Meseguer, Miguel Palomino: Theoroidal Maps as Algebraic Simulations. WADT 2004: 126-143
133EEDavid A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)
2003
132EEJosé Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational Abstractions. CADE 2003: 2-16
131EEGrigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
130EENirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
129EERoberto Bruni, José Meseguer: Generalized Rewrite Theories. ICALP 2003: 252-266
128EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
127EEJosé Meseguer: Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. MEMOCODE 2003: 3-
126EEManuel 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
125EESteven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker and Its Implementation. SPIN 2003: 230-234
124EEFrancisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
2002
123EEJosé 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
122EEJosé Meseguer, Carolyn L. Talcott: Semantic Models for Distributed Object Reflection. ECOOP 2002: 1-36
121EEJosé Meseguer, Grigore Rosu: A Total Approach to Partial Algebraic Specification. ICALP 2002: 572-584
120EEChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
119EESteven 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
118EEJosé Meseguer, Grigore Rosu: Towards Behavioral Maude: Behavioral Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
117EEManuel 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: (2002)
116EESteven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker. Electr. Notes Theor. Comput. Sci. 71: (2002)
115EERoberto Bruni, José Meseguer, Ugo Montanari: Tiling Transactions in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: (2002)
114 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)
113EENarciso Martí-Oliet, José Meseguer: Preface. Theor. Comput. Sci. 285(2): 119-120 (2002)
112EENarciso Martí-Oliet, José Meseguer: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002)
111EEManuel 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)
110EEManuel Clavel, José Meseguer: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002)
109EEPeter Csaba Ölveczky, José Meseguer: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002)
2001
108EEPeter 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
107EEPavel Naumov, Mark-Oliver Stehr, José Meseguer: The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
106EEMark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
105EEMark-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): (2001)
104EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001)
2000
103EEChristiano 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
102 Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
101EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
100 José Meseguer: Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. FMOODS 2000: 89-
99EEDavid A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80
98 Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCos 2000: 200-216
97 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
96EEJosé Meseguer: Rewriting Logic and Maude: Concepts and Applications. RTA 2000: 1-26
95EEFrancisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
94EEPeter Csaba Ölveczky, José Meseguer: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. Electr. Notes Theor. Comput. Sci. 36: (2000)
93EEGrit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: (2000)
92EEManuel 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: (2000)
91EEAdel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1-2): 35-132 (2000)
1999
90EEJosé Meseguer, Carolyn L. Talcott: A Partial Order Event Model for Concurrent Objects. CONCUR 1999: 415-430
89 Roberto Bruni, José Meseguer, Ugo Montanari: Executable Tile Specifications for Process Calculi. FASE 1999: 60-76
88EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
87 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
86EEManuel 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
85EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. Electr. Notes Theor. Comput. Sci. 29: (1999)
84EEFrancisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
83EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
82 José Meseguer: A Logical Framework for Distributed Systems and Communication Protocols. FORTE 1998: 327-333
81 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
80EEFrancisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
79EERoberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. Electr. Notes Theor. Comput. Sci. 15: (1998)
78EEJosé Meseguer, Carolyn L. Talcott: Mapping OMRS to rewriting logic. Electr. Notes Theor. Comput. Sci. 15: (1998)
77EEManuel 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: (1998)
76EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
75EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249
74EEAdel Bouhoula, Jean-Pierre Jouannaud, José Meseguer: Specification and Proof in Membership Equational Logic. TAPSOFT 1997: 67-92
73 José Meseguer: Membership algebra as a logical framework for equational specification. WADT 1997: 18-61
72 José Meseguer, Ugo Montanari: Mapping tile logic into rewriting logic. WADT 1997: 62-91
71 José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7(4): 359-397 (1997)
70EEMaura Cerioli, José Meseguer: May I Borrow Your Logic? (Transporting Logical Structures Along Maps). Theor. Comput. Sci. 173(2): 311-347 (1997)
1996
69EELivio Ricciulli, Patrick Lincoln, José Meseguer: Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24
68EEJosé Meseguer: Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. CONCUR 1996: 331-372
67 José Meseguer: Why OOP Needs New Semantic Foundations. ACM Comput. Surv. 28(4es): 159 (1996)
66 Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing the Algebra of Net Computations and Processes. Acta Inf. 33(7): 641-667 (1996)
65EEJosé Meseguer: Preface. Electr. Notes Theor. Comput. Sci. 4: (1996)
64EEManuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: (1996)
63EEManuel Clavel, José Meseguer: Reflection and strategies in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: (1996)
62EENarciso Martí-Oliet, José Meseguer: Rewriting logic as a logical and semantic framework. Electr. Notes Theor. Comput. Sci. 4: (1996)
61EEPeter Csaba Ölveczky, José Meseguer: Specifying real-time systems in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: (1996)
60 Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes I: First-Order Case. J. Log. Comput. 6(3): 409-438 (1996)
59 Narciso Martí-Oliet, José Meseguer: Inclusions and Subtypes II: Higher-Order Case. J. Log. Comput. 6(4): 541-572 (1996)
58 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)
57EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996)
1994
56EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets 1994: 16-38
55 José Meseguer, Narciso Martí-Oliet: From Abstract Data Types to Logical Frameworks. COMPASS/ADT 1994: 48-80
54EEPatrick Lincoln, José Meseguer, Livio Ricciulli: The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520
53 Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48
1993
52EEJosé Meseguer: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ECOOP 1993: 220-246
51EEMaura Cerioli, José Meseguer: May I Borrow Your Logic? MFCS 1993: 342-351
50EEJosé Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
49 José Meseguer, Joseph A. Goguen: Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Inf. Comput. 103(1): 114-158 (1993)
1992
48EEJosé Meseguer: Multiparadigm Logic Programming. ALP 1992: 158-200
47EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Petri Nets. CONCUR 1992: 286-301
46 Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992)
45 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)
44 José Meseguer: Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci. 96(1): 73-155 (1992)
1991
43 José Meseguer, Timothy C. Winkler: Parallel Programmming in Maude. Research Directions in High-Level Parallel Programming Languages 1991: 253-293
42 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)
41 Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Mathematical Structures in Computer Science 1(1): 69-101 (1991)
40 Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Mathematical Structures in Computer Science 1(2): 179-213 (1991)
39 José Meseguer: Rewriting as a unified model of concurrency. OOPS Messenger 2(2): 86-88 (1991)
1990
38EEJosé Meseguer: Rewriting as a Unified Model of Concurrency. CONCUR 1990: 384-400
37 Hitoshi Aida, Joseph A. Goguen, José Meseguer: Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332
36 José Meseguer: Conditional Rewriting Logic: Deduction, Models and Concurrency. CTRS 1990: 64-91
35 José Meseguer: A Logical Theory of Concurrent Objects. OOPSLA/ECOOP 1990: 101-115
34 José Meseguer, Ugo Montanari: Petri Nets Are Monoids Inf. Comput. 88(2): 105-155 (1990)
1989
33 Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Category Theory and Computer Science 1989: 21-51
32 Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. Category Theory and Computer Science 1989: 313-340
31 Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing Net Computations and Processes LICS 1989: 175-185
30 José Meseguer: Relating Models of Polymorphism. POPL 1989: 228-241
29 José Meseguer, Joseph A. Goguen: Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989)
1988
28 Joseph A. Goguen, José Meseguer: Software for the Rewrite Rule Machine. FGCS 1988: 628-637
27EEClaude Kirchner, Hélène Kirchner, José Meseguer: Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301
26 José Meseguer, Ugo Montanari: Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory LICS 1988: 155-164
1987
25 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
24 Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181
23 Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60
22 Joseph A. Goguen, José Meseguer: Order-Sorted Algebra solves the Constructor-Selector, Multiple LICS 1987: 18-29
21EEJoseph A. Goguen, José Meseguer: Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22
20 Joseph A. Goguen, José Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478
19 Irène Guessarian, José Meseguer: On the Axiomatization of ``If-Then-Else''. SIAM J. Comput. 16(2): 332-357 (1987)
18 Joseph A. Goguen, José Meseguer: Remarks on Remarks on Many-Sorted Equational Logic. SIGPLAN Notices 22(4): 41-48 (1987)
1986
17 Joseph A. Goguen, Claude Kirchner, José Meseguer: Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93
16 Joseph A. Goguen, José Meseguer: EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363
15 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)
1985
14EEJoseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231
13 Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66
1984
12 Joseph A. Goguen, José Meseguer: Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125
11 Joseph A. Goguen, José Meseguer: Unwinding and Inference Control. IEEE Symposium on Security and Privacy 1984: 75-87
10 Joseph A. Goguen, José Meseguer: Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984)
1983
9 Joseph A. Goguen, José Meseguer: Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983)
1982
8EEJoseph A. Goguen, José Meseguer: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281
7 Joseph A. Goguen, José Meseguer: Security Policies and Security Models. IEEE Symposium on Security and Privacy 1982: 11-20
6 Danny Dolev, José Meseguer, Marshall C. Pease: Finding Safe Paths in a Faulty Environment. PODC 1982: 95-103
5 Joseph A. Goguen, José Meseguer: Completeness of many-sorted equational logic. SIGPLAN Notices 17(1): 9-17 (1982)
1981
4 José Meseguer: A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. ICFPC 1981: 152-168
1977
3 José Meseguer: On Order-Complete Universal Algebra and Enriched Functorial Semantics. FCT 1977: 294-301
2EEJoseph A. Goguen, José Meseguer: Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595
1974
1 José Meseguer, Ignacio Sols: Automata in semimodule categories. Category Theory Applied to Computation and Control 1974: 193-198

Coauthor Index

1Gul A. Agha (Gul Agha) [130] [164]
2Hitoshi Aida [37]
3Musab AlTurki [186] [219] [240] [247]
4María Alpuente [226]
5David A. Basin [99] [133]
6Valdis Berzins [58]
7Artur Boronat [230] [241] [244] [246]
8Adel Bouhoula [74] [91]
9Christiano Braga (Christiano de O. Braga) [103] [120] [141] [146] [193]
10Roberto Bruni [79] [83] [85] [89] [104] [114] [115] [128] [129] [161]
11Ross Casley [33] [40]
12Maura Cerioli [51] [70]
13Rohit Chadha [228]
14Feng Chen [140]
15Manuel Clavel [63] [64] [76] [77] [86] [88] [92] [99] [101] [110] [111] [117] [126] [133] [152] [171] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [243]
16Alessandro Coglio [98]
17Roger F. Crew [33] [40]
18Pierpaolo Degano [31] [66] [233] [235]
19Grit Denker [93]
20Danny Dolev [6]
21Francisco Durán [76] [77] [80] [84] [86] [88] [92] [95] [101] [102] [111] [124] [126] [135] [172] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [217] [227] [243] [245]
22Steven Eker [64] [76] [77] [86] [88] [92] [101] [102] [111] [116] [119] [125] [126] [131] [181] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [243]
23Santiago Escobar [136] [150] [156] [159] [176] [183] [185] [188] [223] [225] [226] [231] [239] [243]
24Azadeh Farzan [140] [142] [168] [177] [193]
25José Luiz Fiadeiro [87] [143]
26Kokichi Futatsugi [13] [23] [81] [169]
27Fausto Giunchiglia [98]
28Joseph A. Goguen [2] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [28] [29] [37] [45] [46] [49] [58]
29Irène Guessarian [19]
30Carl A. Gunter [97] [228] [240] [247]
31Edward Hermann Haeusler [103] [120]
32Reiko Heckel [246]
33Joe Hendrix [152] [165] [184] [189] [193]
34Jennifer C. Hou (Chao-Ju Hou) [229]
35Hiroshi Ishikawa [81]
36Jean-Pierre Jouannaud [13] [14] [74] [91] [169]
37Michael Katelman [179] [225] [229]
38Mark Keaton [108]
39Claude Kirchner [17] [25] [27]
40Hélène Kirchner [25] [27]
41Merrill Knapp [119]
42Nirman Kumar [130]
43Keith Laderoute [119]
44Patrick Lincoln [53] [54] [64] [69] [76] [77] [88] [92] [101] [102] [111] [119] [126] [131] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [243]
45Salvador Lucas [135] [144] [153] [189] [216] [217] [224] [227] [238] [245]
46 Luqi [58]
47T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [87] [143]
48Claude Marché [135] [144] [217]
49Narciso Martí-Oliet [32] [41] [42] [53] [55] [59] [60] [62] [76] [77] [87] [88] [92] [101] [111] [112] [113] [126] [132] [134] [143] [145] [158] [181] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [218] [237] [243]
50Catherine Meadows [156] [159] [183] [188] [231]
51Aristide Mégrelis [25]
52Ugo Montanari [26] [31] [34] [47] [56] [57] [66] [71] [72] [75] [79] [83] [85] [89] [104] [114] [115] [128]
53Lawrence S. Moss [24] [46]
54Peter D. Mosses [103] [120]
55Hideyuki Nakashima [81]
56Pavel Naumov [107]
57Doan Nguyen [58]
58Rocco De Nicola [233] [235]
59Hitoshi Ohsaki [165]
60Pedro Ojeda [226]
61K. Okada [23]
62Peter Csaba Ölveczky [61] [94] [105] [106] [108] [109] [123] [138] [147] [162] [173] [178] [182] [189] [193] [221]
63Miguel Palomino [117] [132] [134] [158] [171] [193] [207] [210] [215] [218]
64Marshall C. Pease [6]
65Isabel Pita [87] [143]
66Vaughan R. Pratt [33] [40]
67Xiaolei Qian [50]
68Jose F. Quesada [77] [88] [92] [101] [111]
69Livio Ricciulli [53] [54] [69]
70Adrián Riesco [199]
71Camilo Rocha [222]
72Grigore Rosu [118] [121] [131] [137] [140] [142] [149] [163] [170] [175] [234] [236]
73Ralf Sasse [180] [187] [193] [223] [239] [247]
74Vladimiro Sassone [47] [56] [57] [71] [75] [83] [85] [104] [128]
75Koushik Sen [130] [164]
76Traian-Florin Serbanuta (Traian Serbanuta) [175] [236]
77Lui Sha [220]
78Ravinder Shankesi [228] [247]
79Raman Sharykin [166]
80Ignacio Sols [1]
81M. Kemal Sönmez [119]
82Ambarish Sridharanarayanan [116] [125]
83Mark-Oliver Stehr [86] [105] [106] [107] [123] [139] [193]
84Carolyn L. Talcott [78] [90] [93] [98] [108] [122] [123] [126] [162] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [243]
85Prasanna Thati (Prasannaa Thati) [136] [148] [150] [157] [160] [174] [176]
86Xavier Urbain [135] [217]
87Alberto Verdejo [145] [181] [193] [199] [207] [210] [237]
88Mahesh Viswanathan [228]
89Bow-Yaw Wang [97]
90Helen J. Wang [187]
91Yi-Min Wang [187]
92Takuo Watanabe [81]
93Timothy C. Winkler [25] [43]
94Steve Zabele [108]
95Du Zhang [58]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)