Eike Ritter

发表

Josef van Genabith, Valeria C V de Paiva, Dick Crouch, 2008 .
Valeria C V de Paiva, G. Bellin, Eike Ritter, 2001 .
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, 2016 .
Mark Ryan, Myrto Arapinis, Eike Ritter, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Valeria C V de Paiva, Eike Ritter, LogicsNatasha, 1998 .
Valeria C V de Paiva, I. Cervesato, Eike Ritter, 1999 .
M. Ryan, Eike Ritter, Myrto Arapinis, 2011 .
David J. Pym, Eike Ritter, D. Pym, 2004 .
M. Ryan, Eike Ritter, Myrto Arapinis, 2017, International Journal of Information Security.
Eike Ritter, V. De Paiva, Eike Ritter, 1997 .
Natasha Alechina, Valeria de Paiva, Michael Mendler, 2001, CSL.
Natasha Alechina, Valeria de Paiva, Michael Mendler, 2001 .
Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
D. Pym, Eike Ritter, E. Robinson, 2023, ArXiv.
Valeria de Paiva, Eike Ritter, Valeria C V de Paiva, 2016, LSFA.
David J. Pym, Eike Ritter, Lincoln A. Wallen, 2000, Theor. Comput. Sci..
David J. Pym, Eike Ritter, Lincoln A. Wallen, 1996, TABLEAUX.
Mark Ryan, Ravishankar Borgaonkar, Myrto Arapinis, 2012, CCS.
Mark Ryan, Myrto Arapinis, Loretta Ilaria Mancini, 2017, International Journal of Information Security.
Mark Ryan, Tom Chothia, Myrto Arapinis, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Mark Ryan, Eike Ritter, Michael Denzel, 2017, SEC.
Mark Ryan, Myrto Arapinis, Loretta Ilaria Mancini, 2014, NDSS.
Mark Ryan, Jia Liu, Myrto Arapinis, 2017, J. Log. Algebraic Methods Program..
Mark Ryan, Jia Liu, Myrto Arapinis, 2014, POST.
Mark Ryan, Myrto Arapinis, Loretta Ilaria Mancini, 2011, ArXiv.
Matt Smart, Eike Ritter, Eike Ritter, 2009, ICISS.
Mark Ryan, Tom Chothia, Myrto Arapinis, 2009, 2009 International Conference for Internet Technology and Secured Transactions, (ICITST).
Mark G. Lee, Myrto Arapinis, Mark Ryan, 2012 .
David J. Pym, Eike Ritter, D. Pym, 2004, Oxford logic guides.
Eike Ritter, Eike Ritter, 1994, Theor. Comput. Sci..
David J. Pym, Eike Ritter, D. Pym, 2001 .
Mark Ryan, Eike Ritter, Masoud Koleini, 2014, ArXiv.
Mark Ryan, Eike Ritter, Masoud Koleini, 2013, TACAS.
David J. Pym, Eike Ritter, Lincoln A. Wallen, 2000, J. Log. Comput..
David J. Pym, Eike Ritter, Lincoln A. Wallen, 1996, CADE.
Valeria de Paiva, Eike Ritter, Maria Emilia Maietti, 2005, Appl. Categorical Struct..
Valeria de Paiva, Eike Ritter, Maria Emilia Maietti, 2000, FoSSaCS.
ArapinisMyrto, ManciniLoretta Ilaria, RitterEike, 2016, International Journal of Information Security.
Neil Ghani, Eike Ritter, Valeria de Paiva, 1998, ICALP.
Edmund Robinson, David J. Pym, Eike Ritter, 2014, J. Log. Comput..