Eike Ritter

1.0k total citations
26 papers, 389 citations indexed

About

Eike Ritter is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Eike Ritter has authored 26 papers receiving a total of 389 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Artificial Intelligence, 11 papers in Computer Networks and Communications and 9 papers in Computational Theory and Mathematics. Recurrent topics in Eike Ritter's work include Logic, Reasoning, and Knowledge (11 papers), Logic, programming, and type systems (10 papers) and Advanced Authentication Protocols Security (9 papers). Eike Ritter is often cited by papers focused on Logic, Reasoning, and Knowledge (11 papers), Logic, programming, and type systems (10 papers) and Advanced Authentication Protocols Security (9 papers). Eike Ritter collaborates with scholars based in United Kingdom, Australia and United States. Eike Ritter's co-authors include Myrto Arapinis, Mark Ryan, Valeria de Paiva, Guilin Wang, Tom Chothia, Ravishankar Borgaonkar, David Pym, Gianluigi Bellin, Maria Emilia Maietti and Lincoln Wallen and has published in prestigious journals such as Theoretical Computer Science, IEEE Transactions on Cloud Computing and Journal of Pure and Applied Algebra.

In The Last Decade

Eike Ritter

24 papers receiving 347 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Eike Ritter United Kingdom	11	240	236	154	69	62	26	389
Myrto Arapinis United Kingdom	9	181 0.8×	197 0.8×	159 1.0×	25 0.4×	86 1.4×	23	335
Marc Fischlin Germany	14	357 1.5×	230 1.0×	226 1.5×	41 0.6×	50 0.8×	47	482
Jonathan Herzog United States	7	362 1.5×	573 2.4×	488 3.2×	84 1.2×	24 0.4×	13	672
Michael Hamburg United States	4	248 1.0×	98 0.4×	84 0.5×	59 0.9×	70 1.1×	5	348
Yi‐Fan Tseng Taiwan	10	247 1.0×	125 0.5×	162 1.1×	48 0.7×	17 0.3×	52	343
Chou‐Chen Yang Taiwan	12	322 1.3×	340 1.4×	283 1.8×	31 0.4×	116 1.9×	33	526
Angelo De Switzerland	5	490 2.0×	154 0.7×	352 2.3×	67 1.0×	51 0.8×	9	587
Kern Koh South Korea	14	65 0.3×	503 2.1×	91 0.6×	25 0.4×	30 0.5×	57	553
Anand Desai India	2	269 1.1×	108 0.5×	83 0.5×	26 0.4×	23 0.4×	2	331
Xianping Mao China	5	227 0.9×	96 0.4×	144 0.9×	40 0.6×	26 0.4×	14	292

Countries citing papers authored by Eike Ritter

Since Specialization

Citations

This map shows the geographic impact of Eike Ritter's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Eike Ritter with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Eike Ritter more than expected).

Fields of papers citing papers by Eike Ritter

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Eike Ritter. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Eike Ritter. The network helps show where Eike Ritter may publish in the future.

Co-authorship network of co-authors of Eike Ritter

This figure shows the co-authorship network connecting the top 25 collaborators of Eike Ritter. A scholar is included among the top collaborators of Eike Ritter based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Eike Ritter. Eike Ritter is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Pym, David, Eike Ritter, & E. Powell Robinson. (2024). Categorical Proof-theoretic Semantics. Studia Logica. 113(1). 125–162. 4 indexed citations

Arapinis, Myrto, Muffy Calder, Louise A. Dennis, et al.. (2024). Towards the Verification of Pervasive Systems. Technische Universität Berlin – Universitätsbibliothek.

Anwar, Zahid, et al.. (2016). A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds. IEEE Transactions on Cloud Computing. 6(4). 942–954. 7 indexed citations

Arapinis, Myrto, et al.. (2016). Analysis of privacy in mobile telephony systems. International Journal of Information Security. 16(5). 491–523. 13 indexed citations

Arapinis, Myrto, et al.. (2014). Privacy through Pseudonymity in Mobile Telephony Systems. University of Birmingham Research Portal (University of Birmingham). 41 indexed citations

Ritter, Eike, et al.. (2013). Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks. International Journal of Information Security. 13(5). 453–465. 4 indexed citations

Arapinis, Myrto, et al.. (2012). New privacy issues in mobile telephony. Edinburgh Research Explorer. 205–216. 92 indexed citations

Ritter, Eike, et al.. (2012). An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation. IEICE Transactions on Information and Systems. E95-D(1). 126–133. 10 indexed citations

Ritter, Eike, et al.. (2011). A pairing-free ID-based one-pass authenticated key establishment protocol for wireless sensor networks. University of Birmingham Research Portal (University of Birmingham). 340–347. 1 indexed citations

10.

Arapinis, Myrto, Eike Ritter, & Mark Ryan. (2011). StatVerif: Verification of Stateful Processes. University of Birmingham Research Portal (University of Birmingham). 33–47. 22 indexed citations

11.

Arapinis, Myrto, Tom Chothia, Eike Ritter, & Mark Ryan. (2010). Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. Edinburgh Research Explorer (University of Edinburgh). 49 indexed citations

12.

Arapinis, Myrto, Tom Chothia, Eike Ritter, & Mark Ryan. (2009). Untraceability in the applied pi-calculus. 1–6. 5 indexed citations

13.

Paiva, Valeria de & Eike Ritter. (2006). A PARIGOT-STYLE LINEAR -CALCULUS FOR FULL INTUITIONISTIC LINEAR LOGIC. 3 indexed citations

14.

Maietti, Maria Emilia, et al.. (2005). Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures. 13(1). 1–36. 19 indexed citations

15.

Pym, David & Eike Ritter. (2001). On the semantics of classical disjunction. Journal of Pure and Applied Algebra. 159(2-3). 315–338. 11 indexed citations

16.

Bellin, Gianluigi, Valeria de Paiva, & Eike Ritter. (2001). Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic. 30 indexed citations

17.

Ritter, Eike, David Pym, & Lincoln Wallen. (2000). On the intuitionistic force of classical search. Theoretical Computer Science. 232(1-2). 299–333. 10 indexed citations

18.

Ritter, Eike. (2000). Proof-terms for classical and intuitionistic resolution. Journal of Logic and Computation. 10(2). 173–207. 8 indexed citations

19.

Cervesato, Iliano, Valeria de Paiva, & Eike Ritter. (1999). Explicit Substitutions for Linear Logical Frameworks: Preliminary Results. 1 indexed citations

20.

Ritter, Eike. (1994). Categorical abstract machines for higher-order typed λ-calculi. Theoretical Computer Science. 136(1). 125–162. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact