Eike Ritter
发表
Matt Smart,
Eike Ritter,
Eike Ritter,
2009,
ICISS.
David J. Pym,
Eike Ritter,
2004
.
Mark Ryan,
Jia Liu,
Myrto Arapinis,
2017,
J. Log. Algebraic Methods Program..
Zahid Anwar,
Imran Khan,
Behzad Bordbar,
2018,
IEEE Transactions on Cloud Computing.
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
1996,
CADE.
Myrto Arapinis,
Mark Ryan,
Eike Ritter,
2011
.
Natasha Alechina,
Valeria de Paiva,
Michael Mendler,
2001,
CSL.
Valeria de Paiva,
Eike Ritter,
Monica Nesi,
1993,
HOA.
Mark Ryan,
Myrto Arapinis,
Eike Ritter,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Guilin Wang,
Eike Ritter,
Rehana Yasmin,
2011
.
Andrew M. Pitts,
Eike Ritter,
1995,
TLCA.
Valeria de Paiva,
Neil Ghani,
Eike Ritter,
2000,
Log. J. IGPL.
David J. Pym,
Eike Ritter,
2004
.
Mark Ryan,
Myrto Arapinis,
Loretta Ilaria Mancini,
2014,
NDSS.
Eike Ritter,
Eike Ritter,
1994,
Theor. Comput. Sci..
David J. Pym,
Eike Ritter,
D. Pym,
2004,
Oxford logic guides.
Mark Ryan,
Myrto Arapinis,
Loretta Ilaria Mancini,
2011,
ArXiv.
Mark Ryan,
Tom Chothia,
Myrto Arapinis,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
C.-H. Luke Ong,
Eike Ritter,
Eike Ritter,
1993,
CSL.
Edmund Robinson,
David J. Pym,
Eike Ritter,
2014,
J. Log. Comput..
David J. Pym,
Eike Ritter,
2004
.
David J. Pym,
Eike Ritter,
2004
.
Eike Ritter,
V. De Paiva,
Eike Ritter,
1997
.
David J. Pym,
Eike Ritter,
D. Pym,
2004
.
David J. Pym,
Eike Ritter,
2005,
GALOP@ETAPS.
Mark Ryan,
Jia Liu,
Myrto Arapinis,
2014,
POST.
Valeria de Paiva,
Neil Ghani,
Eike Ritter,
1999,
FoSSaCS.
Mark Ryan,
Eike Ritter,
Masoud Koleini,
2013,
TACAS.
Matt Smart,
Eike Ritter,
2012,
TRUST.
Eike Ritter,
1999,
TLCA.
Guilin Wang,
Eike Ritter,
Rehana Yasmin,
2010,
2010 10th IEEE International Conference on Computer and Information Technology.
Mark Ryan,
Eike Ritter,
Michael Denzel,
2017,
SEC.
Steve Kremer,
Eike Ritter,
Aybek Mukhamedov,
2005,
Financial Cryptography.
Valeria de Paiva,
Eike Ritter,
Maria Emilia Maietti,
2000,
FoSSaCS.
David J. Pym,
Eike Ritter,
2004
.
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
1996,
TABLEAUX.
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
2000,
J. Log. Comput..
Mark Ryan,
Myrto Arapinis,
Eike Ritter,
2011,
CSF.
Valeria de Paiva,
Eike Ritter,
Maria Emilia Maietti,
2005,
Appl. Categorical Struct..
Valeria de Paiva,
Eike Ritter,
Valeria C V de Paiva,
2016,
LSFA.
Mark Ryan,
Myrto Arapinis,
Loretta Ilaria Mancini,
2017,
International Journal of Information Security.
Mark Ryan,
Tom Chothia,
Myrto Arapinis,
2009,
2009 International Conference for Internet Technology and Secured Transactions, (ICITST).
Matt Smart,
Eike Ritter,
Eike Ritter,
2011,
ATC.
Neil Ghani,
Eike Ritter,
Valeria de Paiva,
1998,
ICALP.
Mark Ryan,
Eike Ritter,
Masoud Koleini,
2014,
ArXiv.
Mark Ryan,
Michael Fisher,
Sven Schewe,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Eike Ritter,
Eike Ritter,
1993,
CSL.
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
2000,
Theor. Comput. Sci..
Mark Ryan,
Ravishankar Borgaonkar,
Myrto Arapinis,
2012,
CCS.
Valeria de Paiva,
Eike Ritter,
1997,
ICALP.
Guilin Wang,
Eike Ritter,
Rehana Yasmin,
2013,
International Journal of Information Security.
Mark G. Lee,
Myrto Arapinis,
Mark Ryan,
2012
.
Thomas Streicher,
David J. Pym,
Eike Ritter,
2021
.
Richard S. Crouch,
Eike Ritter,
V. De Paiva,
2021
.
Valeria de Paiva,
Eike Ritter,
2011
.
David J. Pym,
Eike Ritter,
D. Pym,
2001
.
Valeria de Paiva,
Eike Ritter,
2006
.
Valeria de Paiva,
Neil Ghani,
Eike Ritter,
1998
.
Myrto Arapinis,
Loretta Ilaria Mancini,
Eike Ritter,
2016
.
Eike Ritter,
1994
.
Natasha Alechina,
Valeria de Paiva,
Michael Mendler,
2001
.