José Meseguer

发表

Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2016 .
José Meseguer, Salvador Lucas, J. Meseguer, 2017, J. Log. Algebraic Methods Program..
José Meseguer, Salvador Lucas, J. Meseguer, 2009, WRLA.
Roberto Bruni, José Meseguer, Ugo Montanari, 2002, Mathematical Structures in Computer Science.
Artur Boronat, José Meseguer, 2008, FASE.
José Meseguer, J. Meseguer, 2005, Formal Methods in Software and Systems Modeling.
José Meseguer, Patrick Lincoln, Livio Ricciulli, 1996, Proceedings of the 29th Annual Simulation Symposium.
Lui Sha, José Meseguer, J. Meseguer, 2008, Software-Intensive Systems and New Computing Paradigms.
José Meseguer, Joseph A. Goguen, Hitoshi Aida, 1990, CTRS.
José Meseguer, J. Meseguer, 2005, RTA.
José Meseguer, 2001, SOEN.
Kazuhiro Ogata, José Meseguer, Shusaku Iida, 2014, Lecture Notes in Computer Science.
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 2002 .
José Meseguer, Peter D. Mosses, Edward Hermann Haeusler, 2000, AMAST.
José Meseguer, Stephen Skeirik, Andrei Stefanescu, 2017, LOPSTR.
José Meseguer, J. Meseguer, 1992, Theor. Comput. Sci..
José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2004, WADT.
José Meseguer, 1996 .
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2007, CALCO.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2019, Formal Aspects of Computing.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
José Meseguer, J. Meseguer, 2020, WRLA@ETAPS.
José Meseguer, Raúl Gutiérrez, J. Meseguer, 2017, LOPSTR.
José Meseguer, Maura Cerioli, J. Meseguer, 1997, Theor. Comput. Sci..
Peter Csaba Ölveczky, José Meseguer, 2006, WRLA.
José Meseguer, Jean-Pierre Jouannaud, Adel Bouhoula, 2000, Theor. Comput. Sci..
José Meseguer, Salvador Lucas, J. Meseguer, 2008, Inf. Comput..
José Meseguer, Raúl Gutiérrez, Camilo Rocha, 2015, Sci. Comput. Program..
José Meseguer, Musab AlTurki, 2007, PPDP '07.
José Meseguer, Musab AlTurki, 2015, J. Log. Algebraic Methods Program..
Artur Boronat, José Meseguer, J. Meseguer, 2009, JISBD.
José Meseguer, 二木 厚吉, 飯田 周作, 2014 .
José Meseguer, Joe Hendrix, 2012, Electron. Notes Theor. Comput. Sci..
Peter Csaba Ölveczky, Artur Boronat, José Meseguer, 2010, FMOODS/FORTE.
José Meseguer, Joseph A. Goguen, Hitoshi Aida, 1989 .
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2010, ESORICS.
José Meseguer, Grigore Rosu, J. Meseguer, 2005, VSTTE.
José Meseguer, Ralf Sasse, Carl A. Gunter, 2009, ESORICS.
José Meseguer, Stephen Skeirik, Andrei Stefanescu, 2020, Fundam. Informaticae.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
José Meseguer, Joseph A. Goguen, J. Goguen, 1983, J. Comput. Syst. Sci..
José Meseguer, Koushik Sen, Gul A. Agha, 2006, QAPL.
José Meseguer, Santiago Escobar, Ralf Sasse, 2008 .
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2016, SAC.
José Meseguer, Salvador Lucas, J. Meseguer, 2015, Software, Services, and Systems.
Peter Csaba Ölveczky, José Meseguer, 2012, Theor. Comput. Sci..
José Meseguer, Felix Schernhammer, J. Meseguer, 2011, PPDP.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2014, STM.
José Meseguer, Ignacio Sols, J. Meseguer, 1974, Category Theory Applied to Computation and Control.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2016, J. Log. Algebraic Methods Program..
Fan Yang, José Meseguer, Santiago Escobar, 2018, STM.
José Meseguer, Joseph A. Goguen, Lawrence S. Moss, 1987, Category Theory and Computer Science.
José Meseguer, 2012, J. Log. Algebraic Methods Program..
José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2005, CALCO.
José Meseguer, Musab AlTurki, 2007 .
José Meseguer, Peter D. Mosses, Edward Hermann Haeusler, 2002, LOPSTR.
José Meseguer, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, FASE.
José Meseguer, Grigore Rosu, J. Meseguer, 2002, CMCS.
Francisco Durán, José Meseguer, Mark-Oliver Stehr, 1999, World Congress on Formal Methods.
José Meseguer, Stephen Skeirik, 2017, Formal Aspects of Computing.
José Meseguer, Jonas Eckhardt, Tobias Mühlbauer, 2012, ESSoS 2012.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2016, ArXiv.
José Meseguer, J. Meseguer, 1990, OOPSLA/ECOOP '90.
Artur Boronat, José Meseguer, Martin Wirsing, 2008, WADT.
José Meseguer, Irène Guessarian, J. Meseguer, 1987, SIAM J. Comput..
Peter Csaba Ölveczky, José Meseguer, P. C. Ölveczky, 2007, High. Order Symb. Comput..
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 1996, J. Log. Comput..
Francisco Durán, José Meseguer, Santiago Escobar, 2016, IJCAR.
José Meseguer, Rocco De Nicola, Pierpaolo Degano, 2008, Concurrency, Graphs and Models.
Francisco Durán, José Meseguer, Santiago Escobar, 2018, WRLA@ETAPS.
José Meseguer, Paliath Narendran, Santiago Escobar, 2013, CADE.
José Meseguer, Raúl Gutiérrez, Camilo Rocha, 2012, Sci. Comput. Program..
José Meseguer, Salvador Lucas, Beatriz Alarcón, 2010, WRLA.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
José Meseguer, Lui Sha, Peter Csaba Ölveczky, 2020 .
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2002, Proceedings DARPA Active Networks Conference and Exposition.
José Meseguer, María Alpuente, Santiago Escobar, 2014, Inf. Comput..
José Meseguer, Azadeh Farzan, J. Meseguer, 2006, AMAST.
José Meseguer, Patrick Lincoln, Steven Eker, 2001, Pacific Symposium on Biocomputing.
José Meseguer, Hideyuki Nakashima, Takuo Watanabe, 1998, Fuji International Symposium on Functional and Logic Programming.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2007, Electron. Notes Theor. Comput. Sci..
José Meseguer, Santiago Escobar, Prasanna Thati, 2007, WFLP.
José Meseguer, Manuel Clavel, Joe Hendrix, 2005, RTA.
José Meseguer, Grigore Rosu, J. Meseguer, 2011, Inf. Comput..
José Meseguer, 1991, OOPS Messenger.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2015 .
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2015, Programming Languages with Applications to Biology and Security.
Artur Boronat, José Meseguer, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, ICLP.
José Meseguer, Joseph A. Goguen, J. Goguen, 1987, Research Directions in Object-Oriented Programming.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2015, SSR.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2001, FASE.
José Meseguer, Camilo Rocha, 2008, RelMiCS.
José Meseguer, Alberto Verdejo, Narciso Martí-Oliet, 2009, WRLA.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2016 .
Peter Csaba Ölveczky, José Meseguer, 1996, WRLA.
Roberto Bruni, José Meseguer, 2006, Theor. Comput. Sci..
José Meseguer, María Alpuente, Santiago Escobar, 2009, LOPSTR.
José Meseguer, Danny Dolev, Marshall C. Pease, 1982, PODC '82.
José Meseguer, Kyungmin Bae, J. Meseguer, 2014, RTA-TLCA.
José Meseguer, Claude Kirchner, Joseph A. Goguen, 1986 .
José Meseguer, Patrick Lincoln, Livio Ricciulli, 1994, CONPAR.
José Meseguer, Grigore Rosu, Patrick Lincoln, 2003, FME.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, OOPWORK '86.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, FASE.
Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott, 2000, FroCoS.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2009, FOSAD.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, Logic Programming: Functions, Relations, and Equations.
José Meseguer, César A. Muñoz, Camilo Rocha, 2014, J. Log. Algebraic Methods Program..
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Musab AlTurki, 2008, Electron. Notes Theor. Comput. Sci..
Francisco Durán, José Meseguer, Salvador Lucas, 2009, PROLE.
José Meseguer, Stephen Skeirik, 2016, WRLA.
José Meseguer, J. Meseguer, 2018, WoLLIC.
José Meseguer, Ugo Montanari, Pierpaolo Degano, 1996, Acta Informatica.
Peter Csaba Ölveczky, José Meseguer, 2008, TACAS.
Artur Boronat, José Meseguer, 2009, TOOLS.
José Meseguer, Christiano Braga, 2004, WRLA.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2018 .
José Meseguer, Kyungmin Bae, J. Meseguer, 2012, RULE.
José Meseguer, J. Meseguer, 1996, WRLA.
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2006, Formal Methods Syst. Des..
José Meseguer, Jonas Eckhardt, Tobias Muelbauer, 2011 .
Roberto Bruni, José Meseguer, J. Meseguer, 2003, ICALP.
José Meseguer, Santiago Escobar, 2019, Foundations of Security, Protocols, and Equational Reasoning.
José Meseguer, Ugo Montanari, Vladimiro Sassone, 1994, Application and Theory of Petri Nets.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, High. Order Symb. Comput..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2015, Sci. Comput. Program..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, WRLA.
Indranil Gupta, José Meseguer, Si Liu, 2014, ICFEM.
José Meseguer, David A. Basin, Manuel Clavel, 2000, FSTTCS.
José Meseguer, Grigore Rosu, Traian-Florin Serbanuta, 2009, Inf. Comput..
José Meseguer, J. Meseguer, 1996, CSUR.
Reiko Heckel, Artur Boronat, José Meseguer, 2009, FASE.
José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2008, Theor. Comput. Sci..
José Meseguer, Ugo Montanari, J. Meseguer, 1990, Inf. Comput..
Roberto Bruni, José Meseguer, Ugo Montanari, 1998, WRLA.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2005, FMSE '05.
Francisco Durán, José Meseguer, Camilo Rocha, 2020, J. Log. Algebraic Methods Program..
José Meseguer, Camilo Rocha, 2007, Rev. Colomb. de Computación.
José Meseguer, Steven Eker, Ambarish Sridharanarayanan, 2003, SPIN.
José Meseguer, Joseph A. Goguen, J. Goguen, 1988, Fifth Generation Computer Systems.
José Meseguer, Michael Katelman, J. Meseguer, 2009 .
José Meseguer, Carl A. Gunter, Bow-Yaw Wang, 2000, ICDCS Workshop on Distributed System Validation and Verification.
Peter Csaba Ölveczky, José Meseguer, 2004, FASE.
José Meseguer, Grigore Rosu, 2011, FCT.
José Meseguer, Carolyn L. Talcott, 1999, CONCUR.
José Meseguer, Jean-Pierre Jouannaud, Kokichi Futatsugi, 2006, Bull. EATCS.
José Meseguer, Alejandra Garrido, Ralph Johnson, 2006 .
José Meseguer, Kyungmin Bae, J. Meseguer, 2010, WRLA.
José Meseguer, César A. Muñoz, Camilo Rocha, 2017, J. Log. Algebraic Methods Program..
José Meseguer, Santiago Escobar, J. Meseguer, 2007, RTA.
José Meseguer, J. Meseguer, 1990, OOPSLA/ECOOP '90.
José Meseguer, Santiago Escobar, Ralf Sasse, 2010, STM.
Peter Csaba Ölveczky, José Meseguer, 2004, WRLA.
José Meseguer, Mark-Oliver Stehr, J. Meseguer, 2004, Essays in Memory of Ole-Johan Dahl.
José Meseguer, Vaughan R. Pratt, Roger F. Crew, 1989, Mathematical Structures in Computer Science.
José Meseguer, Grigore Rosu, Azadeh Farzan, 2004, CAV.
José Meseguer, Alberto Verdejo, Narciso Martí-Oliet, 2005, WRLA.
Francisco Durán, José Meseguer, Salvador Lucas, 2008, IJCAR.
José Meseguer, Kyungmin Bae, 2012, WRLA.
Francisco Durán, José Meseguer, Salvador Lucas, 2009, PROLE.
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, 1984 IEEE Symposium on Security and Privacy.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2014, HotSoS '14.
José Meseguer, J. Meseguer, 2005, ICTAC.
José Meseguer, J. Meseguer, 2012 .
Lui Sha, José Meseguer, Mu Sun, 2010, WRLA.
José Meseguer, J. Meseguer, 2011, Sci. Comput. Program..
José Meseguer, Ugo Montanari, Vladimiro Sassone, 1996, Theor. Comput. Sci..
José Meseguer, Grigore Rosu, Michael Katelman, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Francisco Durán, José Meseguer, Salvador Lucas, 2004, PEPM '04.
José Meseguer, J. Meseguer, 2009, Semantics and Algebraic Specification.
José Meseguer, Camilo Rocha, J. Meseguer, 2010, LPAR.
José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2010, J. Log. Algebraic Methods Program..
José Meseguer, Jean-Pierre Jouannaud, Adel Bouhoula, 2000, Theor. Comput. Sci..
José Meseguer, Santiago Escobar, Kyungmin Bae, 2013, RTA.
José Meseguer, Angel Cuenca-Ortega, Santiago Escobar, 2020, J. Log. Algebraic Methods Program..
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, Bull. EATCS.
Peter Csaba Ölveczky, José Meseguer, P. C. Ölveczky, 2002, Theor. Comput. Sci..
José Meseguer, Musab AlTurki, Musab A. Alturki, 2011, CALCO.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Ugo Montanari, J. Meseguer, 1997, WADT.
José Meseguer, Narciso Martí-Oliet, 1989, Category Theory and Computer Science.
José Meseguer, Grigore Rosu, Traian-Florin Serbanuta, 2007, Electron. Notes Theor. Comput. Sci..
Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, Unifying Petri Nets.
José Meseguer, Steven Eker, Ambarish Sridharanarayanan, 2004, WRLA.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2014, WRLA.
José Meseguer, Angel Cuenca-Ortega, Santiago Escobar, 2016, LOPSTR.
Gul Agha, José Meseguer, Olivier Danvy, 2011, Lecture Notes in Computer Science.
José Meseguer, Michael Katelman, Sean Keller, 2012, J. Log. Algebraic Methods Program..
Indranil Gupta, José Meseguer, Si Liu, 2015, Leibniz Trans. Embed. Syst..
Francisco Durán, José Meseguer, J. Meseguer, 2003, CTCS.
José Meseguer, Carolyn L. Talcott, Grit Denker, 2000, WRLA.
José Meseguer, Rakesh Bobba, Stephen Skeirik, 2013, 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing.
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 1991 .
Indranil Gupta, José Meseguer, Rakesh B. Bobba, 2017, Assured Cloud Computing.
José Meseguer, Manuel Clavel, J. Meseguer, 1996 .
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 1996, J. Log. Comput..
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Christiano Braga, 2004, AMAST.
José Meseguer, Joseph A. Goguen, Claude Kirchner, 1986, Graph Reduction.
José Meseguer, Angel Cuenca-Ortega, Santiago Escobar, 2020, Fundam. Informaticae.
José Meseguer, J. Meseguer, 2010, J. Log. Algebraic Methods Program..
José Meseguer, Joseph A. Goguen, Kokichi Futatsugi, 1987, ICSE '87.
José Meseguer, Salvador Lucas, Claude Marché, 2005, Inf. Process. Lett..
José Meseguer, Salvador Lucas, 2014, WRLA.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2017, ICFEM.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Miguel Palomino, Narciso Martí-Oliet, 2003, CADE.
José Meseguer, Salvador Lucas, J. Meseguer, 2005, LPAR.
José Meseguer, J. Meseguer, 2008, Concurrency, Graphs and Models.
José Meseguer, Salvador Lucas, J. Meseguer, 2014, PPDP '14.
José Meseguer, Prasanna Thati, J. Meseguer, 2005, Theor. Comput. Sci..
Roberto Bruni, José Meseguer, Ugo Montanari, 2003, ICTCS.
José Meseguer, Ugo Montanari, Vladimiro Sassone, 1997, Foundations of Computer Science: Potential - Theory - Cognition.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2012, FTSCS.
José Meseguer, Carl A. Gunter, Musab AlTurki, 2009, Electron. Notes Theor. Comput. Sci..
Francisco Durán, José Meseguer, 2000, WRLA.
José Meseguer, Santiago Escobar, Ralf Sasse, 2009 .
José Meseguer, Grigore Rosu, Azadeh Farzan, 2004, AMAST.
José Meseguer, J. Meseguer, 2017, Theor. Comput. Sci..
José Meseguer, Carolyn L. Talcott, 2000, SOEN.
José Meseguer, Camilo Rocha, J. Meseguer, 2014, Specification, Algebra, and Software.
José Meseguer, Michael Katelman, 2010, Haifa Verification Conference.
José Meseguer, Narciso Martí-Oliet, Patrick Lincoln, 1994 .
José Meseguer, Joseph A. Goguen, 1977, MFCS.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2014, Sci. Comput. Program..
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2017 .
José Meseguer, Stephen Skeirik, J. Meseguer, 2016, WRLA.
Francisco Durán, José Meseguer, 2007, Sci. Comput. Program..
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, RTA.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, ASA/MA.
José Meseguer, María Alpuente, Santiago Escobar, 2014, JELIA.
José Meseguer, Michael Katelman, Sean Keller, 2010, WRLA.
José Meseguer, Santiago Escobar, Michael Katelman, 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2006, Theor. Comput. Sci..
José Meseguer, Deepak Kapur, Joe Hendrix, 2010, ITP.
José Meseguer, J. Meseguer, 1992, ALP.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
José Meseguer, Claude Kirchner, Hélène Kirchner, 1988, CTRS.
José Meseguer, Joseph A. Goguen, J. Goguen, 1982, Rapid Prototyping.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2018, FASE.
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, J. Log. Program..
José Meseguer, Salvador Lucas, J. Meseguer, 2016, J. Log. Algebraic Methods Program..
Roberto Bruni, José Meseguer, Ugo Montanari, 1998, ASIAN.
José Meseguer, J. Meseguer, 1989, POPL '89.
Francisco Durán, José Meseguer, Salvador Lucas, 2009, FroCoS.
Peter Csaba Ölveczky, José Meseguer, Min Zhang, 2019, TACAS.
Fan Yang, José Meseguer, Paliath Narendran, 2014, PPDP '14.
Francisco Durán, Adrián Riesco, José Meseguer, 2007, All About Maude.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986 .
José Meseguer, Grigore Rosu, 2006, Electron. Notes Theor. Comput. Sci..
José Meseguer, Paliath Narendran, Santiago Escobar, 2011, PPDP.
José Meseguer, Santiago Escobar, Ralf Sasse, 2008, RTA.
Scott Pakin, Andrea Pietracaprina, William Gropp, 2011, Encyclopedia of Parallel Computing.
José Meseguer, María Alpuente, Santiago Escobar, 2009, WFLP.
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, PROLE.
José Meseguer, Raúl Gutiérrez, Salvador Lucas, 2018, J. Comput. Syst. Sci..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, WADT.
José Meseguer, Kyungmin Bae, J. Meseguer, 2015, Sci. Comput. Program..
Francisco Durán, José Meseguer, Camilo Rocha, 2018, WRLA@ETAPS.
José Meseguer, César Muñoz, Camilo Rocha, 2013 .
Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, UNIGRA.
José Meseguer, Prasanna Thati, J. Meseguer, 2007, High. Order Symb. Comput..
Artur Boronat, José Meseguer, 2007 .
Indranil Gupta, José Meseguer, Si Liu, 2015, QEST.
Roberto Bruni, José Meseguer, Ugo Montanari, 1999, FASE.
Artur Boronat, José Meseguer, 2009, Formal Aspects of Computing.
José Meseguer, Carolyn L. Talcott, Peter Csaba, 2001 .
José Meseguer, Grigore Rosu, J. Meseguer, 2006, SOS@ICALP.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2018, WRLA@ETAPS.
José Meseguer, Mark-Oliver Stehr, Pavel Naumov, 2001, TPHOLs.
Peter Csaba Ölveczky, José Meseguer, 2007, Electron. Notes Theor. Comput. Sci..
José Meseguer, Claude Kirchner, Hélène Kirchner, 1988, ICALP.
Francisco Durán, José Meseguer, J. Meseguer, 2010, WRLA.
José Meseguer, Claude Kirchner, Joseph A. Goguen, 1986 .
Francisco Durán, José Meseguer, 1998, WRLA.
José Meseguer, Koushik Sen, Gul A. Agha, 2003, FMOODS.
José Meseguer, Carolyn L. Talcott, J. Meseguer, 1998, WRLA.
José Meseguer, J. Meseguer, 2000, RTA.
José Meseguer, Ralf Sasse, Yi-Min Wang, 2006 .
José Meseguer, Joseph A. Goguen, J. Goguen, 1987, SIGP.
José Meseguer, Joseph A. Goguen, David A. Plaisted, 1983 .
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2015, Software, Services, and Systems.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2014, FM.
José Meseguer, Azadeh Farzan, J. Meseguer, 2007, WRLA.
José Meseguer, Hitoshi Aida, Sany Leinwand, 1991 .
José Meseguer, Prasanna Thati, J. Meseguer, 2005, Theor. Comput. Sci..
José Meseguer, 2007 .
José Meseguer, J. Meseguer, 2020, J. Log. Algebraic Methods Program..
José Meseguer, Vaughan R. Pratt, Roger F. Crew, 1991, Math. Struct. Comput. Sci..
José Meseguer, Arvind, Michael Katelman, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Helen J. Wang, José Meseguer, Ralf Sasse, 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).
José Meseguer, Timothy C. Winkler, J. Meseguer, 1991, Research Directions in High-Level Parallel Programming Languages.
Luqi, José Meseguer, Joseph A. Goguen, 1996, J. Syst. Integr..
José Meseguer, Santiago Escobar, Ralf Sasse, 2010, J. Log. Algebraic Methods Program..
José Meseguer, Salvador Lucas, J. Meseguer, 2014, AISC.
José Meseguer, Maura Cerioli, J. Meseguer, 1993, MFCS.
José Meseguer, Santiago Escobar, Andrew Cholewa, 2015, Sci. Comput. Program..
José Meseguer, J. Meseguer, 2015, FTSCS.
Roberto Bruni, José Meseguer, Ugo Montanari, 1999, CTCS.
José Meseguer, Raúl Gutiérrez, Salvador Lucas, 2014, LOPSTR.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2012, FACS.
Roberto Bruni, José Meseguer, Ugo Montanari, 2001, Inf. Comput..
José Meseguer, Xiaolei Qian, 1993, SIGMOD '93.
José Meseguer, Carolyn L. Talcott, 2000, SOEN.
José Meseguer, Rocco De Nicola, Pierpaolo Degano, 2008, Concurrency, Graphs and Models.
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 2002, Theor. Comput. Sci..
José Meseguer, Grigore Rosu, 2002, ICALP.
José Meseguer, J. Meseguer, 2016, FoSSaCS.
José Meseguer, Salvador Lucas, J. Meseguer, 2008, PPDP.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
José Meseguer, Ralf Sasse, Samuel T. King, 2012, FACS.
Francisco Durán, José Meseguer, Santiago Escobar, 2011, RTA.
José Meseguer, J. Meseguer, 2020, WRLA@ETAPS.
José Meseguer, Santiago Escobar, Prasanna Thati, 2004, RTA.
José Meseguer, Michael Katelman, J. Meseguer, 2011 .
Mahesh Viswanathan, Rohit Chadha, José Meseguer, 2008, FMOODS.
José Meseguer, Ugo Montanari, Vladimiro Sassone, 1992, CONCUR.
Roberto Bruni, José Meseguer, Ugo Montanari, 2002, Electron. Notes Theor. Comput. Sci..
José Meseguer, Paliath Narendran, Santiago Escobar, 2012, ESORICS.
José Meseguer, Jean-Pierre Jouannaud, Joseph A. Goguen, 1985, POPL.
José Meseguer, Ugo Montanari, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
José Meseguer, Manuel Clavel, J. Meseguer, 1996, WRLA.
José Meseguer, Santiago Escobar, Prasanna Thati, 2004, LOPSTR.
José Meseguer, J. Meseguer, 2006, Essays Dedicated to Joseph A. Goguen.
José Meseguer, Narciso Martí-Oliet, J. Meseguer, 1991, Int. J. Found. Comput. Sci..
José Meseguer, Santiago Escobar, Ralf Sasse, 2009, WRLA.
José Meseguer, Camilo Rocha, J. Meseguer, 2011, CALCO.
Hartmut Ehrig, José Meseguer, Martin Wirsing, 2021 .
José Meseguer, Amir Pnueli, Ursula Goltz, 2021 .
José Meseguer, María Alpuente, Santiago Escobar, 2021, Ann. Math. Artif. Intell..
José Meseguer, Ursula Goltz, Hand-Dieter Ehrich, 2021 .
José Meseguer, Santiago Escobar, Catherine Meadows, 2021, Protocols, Strands, and Logic.
José Meseguer, Santiago Escobar, Catherine Meadows, 2006 .
José Meseguer, Joseph A. Goguen, 1986, OOPWORK '86.
José Meseguer, Santiago Escobar, J. Meseguer, 2014 .
Francisco Durán, José Meseguer, Salvador Lucas, 2009 .
José Meseguer, Santiago Escobar, Catherine Meadows, 2018 .
Roberto Bruni, José Meseguer, Ugo Montanari, 2001 .
Gul Agha, José Meseguer, Koushik Sen, 2003 .
José Meseguer, J. Meseguer, 1980 .
José Meseguer, J. Meseguer, 1983 .
José Meseguer, Ugo Montanari, Vladimiro Sassone, 1993 .
Roberto Bruni, José Meseguer, Ugo Montanari, 1998 .
José Meseguer, David A. Basin, Manuel Clavel, 2004, TOCL.
José Meseguer, Raúl Gutiérrez, Stephen Skeirik, 2019 .
José Meseguer, J. Meseguer, 2006 .
José Meseguer, Wolfgang Kühnel, Michael Pfender, 1977, Bulletin of the Australian Mathematical Society.
José Meseguer, Patrick Lincoln, Livio Ricciulli, 2005 .
José Meseguer, Joe Hendrix, Hitoshi Ohsaki, 2005 .
José Meseguer, Ugo Montanari, Pierpaolo Degano, 1996, Acta Informatica.
José Meseguer, Narciso Martí-Oliet, José Meseguer, 1994 .