default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEike Ritter
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Alessandro Bruni, Eike Ritter, Carsten Schürmann:
Skolemisation for Intuitionistic Linear Logic. IJCAR (2) 2024: 61-77- [i4]Alessandro Bruni, Eike Ritter, Carsten Schürmann:
Skolemisation for Intuitionistic Linear Logic. CoRR abs/2405.01375 (2024) - 2023
- [i3]David J. Pym, Eike Ritter, Edmund Robinson:
Categorical Proof-Theoretic Semantics. CoRR abs/2302.09031 (2023)
2010 – 2019
- 2018
- [j13]Imran Khan
, Zahid Anwar, Behzad Bordbar, Eike Ritter, Habib-ur Rehman:
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds. IEEE Trans. Cloud Comput. 6(4): 942-954 (2018) - 2017
- [j12]Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan:
Analysis of privacy in mobile telephony systems. Int. J. Inf. Sec. 16(5): 491-523 (2017) - [j11]Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan:
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. J. Log. Algebraic Methods Program. 89: 95-149 (2017) - [c27]Michael Denzel, Mark Ryan, Eike Ritter:
A Malware-Tolerant, Self-Healing Industrial Control System Framework. SEC 2017: 46-60 - 2015
- [c26]Valeria de Paiva, Eike Ritter:
Fibrational Modal Type Theory. LSFA 2015: 143-161 - 2014
- [j10]Rehana Yasmin, Eike Ritter, Guilin Wang:
Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks. Int. J. Inf. Sec. 13(5): 453-465 (2014) - [j9]Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan:
StatVerif: Verification of stateful processes. J. Comput. Secur. 22(5): 743-821 (2014) - [j8]David J. Pym, Eike Ritter, Edmund Robinson:
A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. 24(1): 283-301 (2014) - [c25]Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan:
Privacy through Pseudonymity in Mobile Telephony Systems. NDSS 2014 - [c24]Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan:
Stateful Applied Pi Calculus. POST 2014: 22-41 - [i2]Masoud Koleini, Eike Ritter, Mark Ryan:
Verification of agent knowledge in dynamic access control policies. CoRR abs/1401.4730 (2014) - 2013
- [c23]Masoud Koleini, Eike Ritter, Mark Ryan:
Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS 2013: 448-462 - 2012
- [j7]Rehana Yasmin, Eike Ritter, Guilin Wang:
An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation. IEICE Trans. Inf. Syst. 95-D(1): 126-133 (2012) - [c22]Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar:
New privacy issues in mobile telephony: fix and verification. CCS 2012: 205-216 - [c21]Matt Smart, Eike Ritter:
Auditable Envelopes: Tracking Anonymity Revocation Using Trusted Computing. TRUST 2012: 19-33 - 2011
- [c20]Matt Smart, Eike Ritter:
True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing. ATC 2011: 187-202 - [c19]Myrto Arapinis, Eike Ritter, Mark Dermot Ryan:
StatVerif: Verification of Stateful Processes. CSF 2011: 33-47 - [i1]Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan:
Formal Analysis of UMTS Privacy. CoRR abs/1109.2066 (2011) - 2010
- [c18]Rehana Yasmin, Eike Ritter, Guilin Wang:
An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures. CIT 2010: 882-889 - [c17]Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan:
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF 2010: 107-121
2000 – 2009
- 2009
- [j6]Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin:
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [c16]Matt Smart, Eike Ritter:
Remote Electronic Voting with Revocable Anonymity. ICISS 2009: 39-54 - [c15]Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan:
Untraceability in the applied pi-calculus. ICITST 2009: 1-6 - 2005
- [j5]Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter:
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13(1): 1-36 (2005) - [c14]Aybek Mukhamedov, Steve Kremer, Eike Ritter:
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. Financial Cryptography 2005: 255-269 - [c13]David J. Pym, Eike Ritter:
A games semantics for reductive logic and proof-search. GALOP@ETAPS 2005: 107-123 - 2004
- [b1]David J. Pym, Eike Ritter:
Reductive logic and proof-search - proof theory, semantics, and control. Oxford logic guides 45, Oxford University Press 2004, ISBN 978-0-19-852633-9, pp. I-XV, 1-208 - 2001
- [c12]Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307 - 2000
- [j4]Neil Ghani, Valeria de Paiva, Eike Ritter:
Linear Explicit Substitutions. Log. J. IGPL 8(1): 7-31 (2000) - [j3]Eike Ritter, David J. Pym, Lincoln A. Wallen:
Proof-terms for classical and intuitionistic resolution. J. Log. Comput. 10(2): 173-207 (2000) - [j2]Eike Ritter, David J. Pym, Lincoln A. Wallen:
On the intuitionistic force of classical search. Theor. Comput. Sci. 232(1-2): 299-333 (2000) - [c11]Maria Emilia Maietti, Valeria de Paiva, Eike Ritter:
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
1990 – 1999
- 1999
- [c10]Neil Ghani, Valeria de Paiva, Eike Ritter:
Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211 - [c9]Eike Ritter:
Characterising Explicit Substitutions which Preserve Termination. TLCA 1999: 325-339 - 1998
- [c8]Neil Ghani, Valeria de Paiva, Eike Ritter:
Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754 - 1997
- [c7]Eike Ritter, Valeria de Paiva:
On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258 - 1996
- [c6]Eike Ritter, David J. Pym, Lincoln A. Wallen:
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE 1996: 17-31 - [c5]Eike Ritter, David J. Pym, Lincoln A. Wallen:
On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX 1996: 295-311 - 1995
- [c4]Eike Ritter, Andrew M. Pitts:
A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML. TLCA 1995: 397-413 - 1994
- [j1]Eike Ritter:
Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. Theor. Comput. Sci. 136(1): 125-162 (1994) - 1993
- [c3]C.-H. Luke Ong, Eike Ritter:
A Generic Strong Normalization Argument: Application to the Calculus of Constructions. CSL 1993: 261-279 - [c2]Eike Ritter:
Normalization for Typed Lambda Calculi with Explicit Substitution. CSL 1993: 295-304 - [c1]Monica Nesi, Valeria de Paiva, Eike Ritter:
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
Coauthor Index
aka: Mark Dermot Ryan
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
