Juan Bicarregui
发表
Kevin Lano,
José Luiz Fiadeiro,
Juan Bicarregui,
1997,
FME.
Benjamin Aziz,
Alvaro Arenas,
Brian Matthews,
2007
.
Andy Evans,
Kevin Lano,
Juan Bicarregui,
2000,
Rigorous Object-Oriented Methods.
Kevin Lano,
Juan Bicarregui,
P. Kan,
1998
.
Álvaro Enrique Arenas,
Philippe Massonet,
Christophe Ponsard,
2009,
NASA Formal Methods.
Kerstin Kleese van Dam,
Shoaib Sufi,
Juan Bicarregui,
2009,
2009 Fifth IEEE International Conference on e-Science.
Álvaro Enrique Arenas,
Juan Bicarregui,
Andrew Butterfield,
2005,
Electron. Notes Theor. Comput. Sci..
Kevin Lano,
Tom Maibaum,
Juan Bicarregui,
2000
.
Richard Boulderstone,
Juan Bicarregui,
Jeremy G. Frey,
2006
.
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2003,
ZB.
Juan Bicarregui,
1993,
FME.
Brian Ritchie,
Juan Bicarregui,
1993,
FME.
A. Richard Newton,
Kevin Lano,
Brian Ritchie,
1997,
IEE Proc. Softw. Eng..
Jeremy Dick,
Juan Bicarregui,
Eoin Woods,
1996,
FME.
Juan Bicarregui,
1993
.
S. J. Goldsack,
Kevin Lano,
Juan Bicarregui,
1996,
FME 1996.
Kerstin Kleese van Dam,
Juan Bicarregui,
David R. S. Boyd,
2001
.
Benjamin Aziz,
Juan Bicarregui,
Alvaro E. Arenas,
2008
.
Peter Wittenburg,
Ross Wilkinson,
Bridget Almas,
2015
.
Brian Matthews,
Juan Bicarregui,
Theodosis Dimitrakos,
2002,
Proceedings Third International Workshop on Policies for Distributed Systems and Networks.
Brian Ritchie,
Juan Bicarregui,
1991,
VDM Europe.
Álvaro Enrique Arenas,
Juan Bicarregui,
J. Bicarregui,
2006,
Trans. SDPS.
Brian Matthews,
Juan Bicarregui,
Theodosis Dimitrakos,
2003,
Metadata Management in Grid and P2P Systems.
Richard Banach,
Juan Bicarregui,
Leo Freitas,
2006
.
Jim Woodcock,
Brian Matthews,
Juan Bicarregui,
2010,
ERCIM News.
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2004,
ICFEM.
Kevin Lano,
Juan Bicarregui,
1998
.
Kevin Lano,
Juan Bicarregui,
P. Kan,
1998
.
Brian Matthews,
Juan Bicarregui,
1998,
Proof in VDM.
Brian Ritchie,
Brian Matthews,
Sten Agerholm,
1998,
Formal Aspects of Computing.
Brian Matthews,
T. S. E. Maibaum,
Juan Bicarregui,
2000,
ZB.
Álvaro Enrique Arenas,
Benjamin Aziz,
Brian Matthews,
2008,
Electron. Notes Theor. Comput. Sci..
Dov M. Gabbay,
T. S. E. Maibaum,
Juan Bicarregui,
2001,
Log. J. IGPL.
Stuart Kent,
S. J. Goldsack,
Kevin Lano,
1997,
ZUM.
Brian Matthews,
Juan Bicarregui,
1995
.
Jim Woodcock,
Brian Matthews,
Juan Bicarregui,
2009,
iPRES.
Brian Matthews,
Juan Bicarregui,
Norman Gray,
2012
.
Brian Matthews,
Juan Bicarregui,
1999,
IWFM.
Brian Matthews,
Juan Bicarregui,
Norman Gray,
2012
.
Brian Matthews,
Juan Bicarregui,
1995,
SOFSEM.
Juan Bicarregui,
1992
.
Álvaro Enrique Arenas,
Benjamin Aziz,
Juan Bicarregui,
2010,
IFM.
Brian Ritchie,
Juan Bicarregui,
1995,
IEEE Trans. Software Eng..
Kevin Lano,
T. S. E. Maibaum,
Juan Bicarregui,
1997,
ECOOP.
Kevin Lano,
Juan Bicarregui,
1999,
Behavioral Specifications of Businesses and Systems.
Juan Bicarregui,
Brian Matthews,
Frank Schluenzen,
2015
.
Juan Bicarregui,
Arif Shaon,
2009
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Brian Matthews,
Juan Bicarregui,
Norman Gray,
2013,
Int. J. Digit. Curation.
Brian Ritchie,
Brian Matthews,
Juan Bicarregui,
1998,
B.
Juan Bicarregui,
J. Bicarregui,
1994,
Refine.
Sten Agerholm,
Juan Bicarregui,
1998,
Formal Approaches to Computing and Information Technology (FACIT).
Juan Bicarregui,
2002,
FME.
Brian Ritchie,
Juan Bicarregui,
John Fitzgerald,
1994
.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2009,
FM.
Brian Matthews,
Juan Bicarregui,
Norman Gray,
2012
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Kevin Lano,
T. S. E. Maibaum,
Juan Bicarregui,
1997,
ECOOP Workshops.
Kevin Lano,
Juan Bicarregui,
1998,
UML.
Álvaro Enrique Arenas,
Philippe Massonet,
Christophe Ponsard,
2008,
ABZ.
Álvaro Enrique Arenas,
Benjamin Aziz,
Brian Matthews,
2008,
2008 Third International Conference on Availability, Reliability and Security.
Brian Matthews,
Juan Bicarregui,
Catherine Jones,
2010,
Int. J. Digit. Curation.
Brian Ritchie,
Juan Bicarregui,
Howard P. Haughton,
1994,
FME.
Kevin Lano,
T. S. E. Maibaum,
Juan Bicarregui,
1997,
Algorithmic Languages and Calculi.
Savi Maharaj,
Sten Agerholm,
Juan Bicarregui,
1998,
Proof in VDM.
Brian Matthews,
Juan Bicarregui,
2012
.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Kerstin Kleese van Dam,
Juan Bicarregui,
David R. S. Boyd,
2001,
HPCN Europe.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1994
.
Nazareno Aguirre,
T. S. E. Maibaum,
Juan Bicarregui,
2005,
ICFEM.
Juan Bicarregui,
2003,
Electron. Notes Theor. Comput. Sci..
David L. Giaretta,
Brian Matthews,
Juan Bicarregui,
2009,
iPRES.
Jim Woodcock,
Peter Gorm Larsen,
John S. Fitzgerald,
2013,
Industrial Deployment of System Engineering Methods.
Peter A. Lindsay,
Brian Ritchie,
Juan Bicarregui,
1993,
Proof in VDM.
Tiziana Margaria,
Álvaro Enrique Arenas,
Juan Bicarregui,
2006,
Trans. SDPS.
Savi Maharaj,
Juan Bicarregui,
1997,
Proceedings 12th IEEE International Conference Automated Software Engineering.
Jim Woodcock,
C. A. R. Hoare,
Juan Bicarregui,
2006,
Formal Aspects of Computing.
Brian Matthews,
Juan Bicarregui,
2015,
ERCIM News.
Martin Halbert,
Juan Bicarregui,
Luciana Duranti,
2014
.
Jeremy Dick,
Juan Bicarregui,
Eoin Woods,
1997,
Sci. Comput. Program..
Juan Bicarregui,
1999,
SOFSEM.
Peter Gorm Larsen,
Brian Ritchie,
Juan Bicarregui,
1993
.
Brian Matthews,
Juan Bicarregui,
Simon Lambert,
2012,
1208.3754.
Brian Matthews,
Juan Bicarregui,
Adomas Svirskas,
2005
.