Jorge Cuéllar
发表
Alessandro Armando,
Llanos Tobarra,
Luca Compagna,
2008,
FMSE '08.
Y. Gurevich,
A. Ravn,
M. Broy,
2008
.
Hans Ulrich Simon,
Svetlana Anulova,
Jorge R. Cuellar,
1994,
Annual Conference Computational Learning Theory.
Hans Ulrich Simon,
Jorge Cuéllar,
H. Simon,
1993,
International Conference on Algorithmic Learning Theory.
Heiko Mantel,
Markus Aderhold,
Jorge Cuéllar,
2010
.
Peter Liggesmeyer,
Bruno Legeard,
Ruth Breu,
2014
.
Wouter Joosen,
Steven Furnell,
Jaideep Vaidya,
2021,
IFIP's Exciting First 60+ Years.
Luca Viganò,
Michaël Rusinowitch,
Alessandro Armando,
2005,
Journal of automated reasoning.
Basel Alomair,
Radha Poovendran,
Andy Clark,
2010
.
Alexander Pretschner,
Gilles Barthe,
Javier Lopez,
2010,
IWSEC 2010.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2013,
IEEE Transactions on Mobile Computing.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2010,
2010 IEEE Global Telecommunications Conference GLOBECOM 2010.
Basel Alomair,
Radha Poovendran,
Andrew Clark,
2010,
IEEE Transactions on Parallel and Distributed Systems.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2005,
CAV.
Jorge Cuéllar,
Edwin Schicker,
Jorge Cuéllar,
1989,
MMB.
Yannick Chevalier,
Laurent Vigneron,
Luca Compagna,
2004
.
Anders P. Ravn,
Hans Rischel,
Isolde Wildgruber,
1995,
SOFSEM.
Thanh Binh Nguyen,
Inria,
C. Sprenger,
2012
.
Martín Ochoa,
Ruben Rios,
Jorge Cuéllar,
2012,
SAC '12.
Jorge Cuellar,
Jorge Cuéllar,
2002
.
Alessandro Armando,
Alessandro Sorniotti,
Luca Compagna,
2013,
Comput. Secur..
Dines Bjørner,
Jorge Cuéllar,
D. Bjørner,
1998
.
Jorge Cuellar,
Prabhakaran Kasinathan,
Nejc Zupan,
2020
.
Javier López,
Ruben Rios,
Jorge Cuéllar,
2015,
Inf. Sci..
Javier López,
Ruben Rios,
Jorge Cuéllar,
2012,
ESORICS.
Radha Poovendran,
Krishna Sampigethaya,
Mingyan Li,
2007,
SAFECOMP.
Alexander Pretschner,
Per A. Hallgren,
Martín Ochoa,
2015,
ESSoS.
Jan Jürjens,
Martín Ochoa,
Jorge Cuéllar,
2012,
TOOLS.
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
SETSS.
D. Bjørner,
Jorge Cuéllar,
1999,
Ann. Softw. Eng..
Antonio Kung,
Adam Kapovits,
Frank Kargl,
2017
.
D. Bjørner,
Jorge Cuéllar,
1999,
Ann. Softw. Eng..
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
EWSN.
David von Oheimb,
Jorge Cuéllar,
Jorge Cuéllar,
2006,
ISC.
Jorge Cuéllar,
Prabhakaran Kasinathan,
Jorge Cuéllar,
2018,
ESORICS.
Jorge Cuellar,
Santiago Reinhard Suppan,
Jorge Cuéllar,
2016
.
Tiago Gasiba,
Jorge Cuellar,
Ulrike Lechner,
2020,
ICPEC.
Henning Schulzrinne,
Jonathan D. Rosenberg,
Hannes Tschofenig,
2007,
RFC.
Deirdre K. Mulligan,
Jon Peterson,
John B. Morris,
2004,
RFC.