Dmitriy Traytel

1.0k total citations
36 papers, 146 citations indexed

About

Dmitriy Traytel is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Dmitriy Traytel has authored 36 papers receiving a total of 146 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in Dmitriy Traytel's work include Logic, programming, and type systems (19 papers), Formal Methods in Verification (16 papers) and Logic, Reasoning, and Knowledge (15 papers). Dmitriy Traytel is often cited by papers focused on Logic, programming, and type systems (19 papers), Formal Methods in Verification (16 papers) and Logic, Reasoning, and Knowledge (15 papers). Dmitriy Traytel collaborates with scholars based in Switzerland, Germany and France. Dmitriy Traytel's co-authors include Jasmin Christian Blanchette, Andrei Popescu, Srđan Krstić, Ylìès Falcone, Giles Reger, Tobias Nipkow, Christian Colombo, Gerardo Schneider, João Lourenço and Dejan Ničković and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Journal of Functional Programming.

In The Last Decade

Dmitriy Traytel

24 papers receiving 133 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Dmitriy Traytel Switzerland 6 100 82 42 27 22 36 146
David Déharbe Brazil 8 78 0.8× 73 0.9× 47 1.1× 24 0.9× 25 1.1× 28 126
Claire Loiseaux France 3 88 0.9× 137 1.7× 86 2.0× 17 0.6× 24 1.1× 3 165
Deepak D’Souza India 6 77 0.8× 71 0.9× 37 0.9× 28 1.0× 31 1.4× 25 132
Giles Reger United Kingdom 7 79 0.8× 52 0.6× 70 1.7× 39 1.4× 15 0.7× 32 151
Marcel Oliveira Brazil 8 109 1.1× 101 1.2× 59 1.4× 22 0.8× 26 1.2× 22 158
Bertrand Jeannet France 8 74 0.7× 125 1.5× 68 1.6× 19 0.7× 63 2.9× 14 165
Peter Lammich Germany 7 98 1.0× 78 1.0× 29 0.7× 21 0.8× 33 1.5× 36 140
Mamoun Filali France 8 49 0.5× 43 0.5× 54 1.3× 23 0.9× 40 1.8× 29 118
Dominique Méry France 7 89 0.9× 68 0.8× 25 0.6× 53 2.0× 6 0.3× 26 139
Karl Meinke Sweden 7 79 0.8× 52 0.6× 62 1.5× 28 1.0× 12 0.5× 24 150

Countries citing papers authored by Dmitriy Traytel

Since Specialization
Citations

This map shows the geographic impact of Dmitriy Traytel'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 Dmitriy Traytel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dmitriy Traytel more than expected).

Fields of papers citing papers by Dmitriy Traytel

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Dmitriy Traytel. 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 Dmitriy Traytel. The network helps show where Dmitriy Traytel may publish in the future.

Co-authorship network of co-authors of Dmitriy Traytel

This figure shows the co-authorship network connecting the top 25 collaborators of Dmitriy Traytel. A scholar is included among the top collaborators of Dmitriy Traytel 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 Dmitriy Traytel. Dmitriy Traytel is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
McKinna, James, et al.. (2025). Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings. Proceedings of the ACM on Programming Languages. 9(POPL). 1687–1718.
2.
Basin, David, et al.. (2022). Practical Relational Calculus Query Evaluation. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
3.
Basin, David, et al.. (2021). Scalable online first-order monitoring. International Journal on Software Tools for Technology Transfer. 23(2). 185–208. 1 indexed citations
4.
Popescu, Andrei & Dmitriy Traytel. (2020). An Abstract Formalization of Gödel's Incompleteness Theorems.. 2020.
5.
Popescu, Andrei & Dmitriy Traytel. (2020). Syntax-Independent Logic Infrastructure.. 2020.
6.
Popescu, Andrei & Dmitriy Traytel. (2020). From Abstract to Concrete Gödel's Incompleteness Theorems - Part II.. 2020.
7.
Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Chalmers Research (Chalmers University of Technology). 38 indexed citations
8.
Traytel, Dmitriy, et al.. (2019). Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.. 2019. 1 indexed citations
9.
Traytel, Dmitriy, et al.. (2019). Formalization of Generic Authenticated Data Structures.. 2019. 1 indexed citations
10.
Blanchette, Jasmin Christian, et al.. (2019). Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages. 3(POPL). 1–34. 7 indexed citations
11.
Traytel, Dmitriy, et al.. (2019). Generic Authenticated Data Structures, Formally. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
12.
Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design. 55(1). 72–72. 1 indexed citations
13.
Traytel, Dmitriy. (2017). Formal Languages, Formally and Coinductively. SHILAP Revista de lepidopterología. 1 indexed citations
14.
Blanchette, Jasmin Christian, et al.. (2017). Foundational nonuniform (co)datatypes for higher-order logic. 1–12. 3 indexed citations
15.
Hölzl, Johannes, Andreas Lochbihler, & Dmitriy Traytel. (2015). A Zoo of Probabilistic Systems.. 2015. 1 indexed citations
16.
Traytel, Dmitriy. (2015). Derivatives of Logical Formulas.. 2015. 1 indexed citations
17.
Traytel, Dmitriy. (2015). Formalizing Symbolic Decision Procedures for Regular Languages. mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich). 1 indexed citations
18.
Traytel, Dmitriy & Tobias Nipkow. (2014). Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions. 2014. 1 indexed citations
19.
Blanchette, Jasmin Christian, et al.. (2014). Experience report. ACM SIGPLAN Notices. 49(12). 25–30. 1 indexed citations
20.
Traytel, Dmitriy. (2013). A Codatatype of Formal Languages.. 2013. 2 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

Breakdown of academic impact, for papers by David Déharbe Breakdown of academic impact, for papers by Claire Loiseaux Breakdown of academic impact, for papers by Deepak D’Souza Breakdown of academic impact, for papers by Giles Reger Breakdown of academic impact, for papers by Marcel Oliveira Breakdown of academic impact, for papers by Bertrand Jeannet Breakdown of academic impact, for papers by Peter Lammich Breakdown of academic impact, for papers by Mamoun Filali Breakdown of academic impact, for papers by Dominique Méry Breakdown of academic impact, for papers by Karl Meinke
Rankless by CCL
2026