Jorge Cuéllar
发表
Jorge Cuéllar,
Edwin Schicker,
Jorge Cuéllar,
1989,
MMB.
Antonio Vallecillo,
Nenad Medvidovic,
Javier López,
2014,
Sci. Comput. Program..
Alexander Pretschner,
Per A. Hallgren,
Martín Ochoa,
2015,
ESSoS.
Luca Viganò,
Michaël Rusinowitch,
Alessandro Armando,
2005,
Journal of automated reasoning.
David O. Manz,
Anoop Singhal,
Jorge Cuéllar,
2016,
SafeConfig@CCS.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2012,
TACAS.
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
EWSN.
Hans Ulrich Simon,
Jorge Cuéllar,
H. Simon,
1993,
International Conference on Algorithmic Learning Theory.
Javier López,
Ruben Rios,
Jorge Cuéllar,
2015,
Inf. Sci..
Javier López,
Jorge Cuéllar,
Gilles Barthe,
2012,
J. Comput. Secur..
Javier López,
Ruben Rios,
Jorge Cuéllar,
2014,
ISPEC.
Javier López,
Ruben Rios,
Jorge Cuéllar,
2012,
ESORICS.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2005,
CAV.
Javier López,
Ruben Rios,
Jorge Cuéllar,
2016
.
Radha Poovendran,
Krishna Sampigethaya,
Mingyan Li,
2007,
SAFECOMP.
Dieter Barnard,
Martin Huber,
Jorge Cuéllar,
1994,
Formal Systems Specification.
Anders P. Ravn,
Hans Rischel,
Isolde Wildgruber,
1995,
SOFSEM.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2010,
IEEE Transactions on Parallel and Distributed Systems.
Heiko Mantel,
Markus Aderhold,
Jorge Cuéllar,
2010
.
Jan Jürjens,
Martín Ochoa,
Jorge Cuéllar,
2012,
TOOLS.
Zhiming Liu,
Jorge Cuéllar,
2006,
Software & Systems Modeling.
Martín Ochoa,
Ruben Rios,
Jorge Cuéllar,
2012,
SAC '12.
David von Oheimb,
Jorge Cuéllar,
Jorge Cuéllar,
2006,
ISC.
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
ESORICS.
Alessandro Armando,
Alessandro Sorniotti,
Luca Compagna,
2011,
SEC.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2010,
2010 IEEE Global Telecommunications Conference GLOBECOM 2010.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2013,
IEEE Transactions on Mobile Computing.
Javier López,
Ruben Rios,
Jorge Cuéllar,
2013,
FOSAD.
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
SETSS.
Dines Bjørner,
Jorge Cuéllar,
D. Bjørner,
1998
.
Alessandro Armando,
Llanos Tobarra,
Luca Compagna,
2008,
FMSE '08.
Dieter Barnard,
Isolde Wildgruber,
Jorge Cuéllar,
1994,
FME.
Isolde Wildgruber,
Jorge Cuéllar,
1995,
Formal Methods for Industrial Applications.
Dieter Barnard,
Martin Huber,
Jorge Cuéllar,
1996,
TACAS.
Jorge Cuéllar,
1998,
CAV.
Deirdre K. Mulligan,
Jon Peterson,
John B. Morris,
2004,
RFC.
Isolde Wildgruber,
Jorge Cuéllar,
1995,
Formal Methods for Industrial Applications.
Alessandro Armando,
Alessandro Sorniotti,
Luca Compagna,
2013,
Comput. Secur..
Henning Schulzrinne,
Jonathan D. Rosenberg,
Hannes Tschofenig,
2007,
RFC.
Henning Schulzrinne,
Martin Thomson,
Hannes Tschofenig,
2022
.
Arturo Muga,
Jorge Cuéllar,
Eduardo López-Viñas,
2008,
Nature Structural &Molecular Biology.
Jorge Cuéllar,
Andrés Aguilera,
Andrzej Dziembowski,
2012,
The EMBO journal.