---
title: "Electronic Proceedings in Theoretical Computer Science 2025 —"
description: "All 279 papers of Electronic Proceedings in Theoretical Computer Science 2025 · page 1 of 3, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Electronic Proceedings in Theoretical…](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/) / [2025](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/) / papers

# Electronic Proceedings in Theoretical Computer Science 2025: all accepted papers

279 papers · page 1 of 3 · the most cited first · [← Electronic Proceedings in Theoretical Computer Science 2025](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/)

**1** [2](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/3/) [next →](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/2/)

1. **[BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins ↗](https://doi.org/10.4204/eptcs.418.1)**Riccardo Sieve, Paul Kobialka, Laura A. Slaughter et al.*6 citations*
2. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.28)**Xiangyu Guo, James F. Smith, Ajay Bansal*5 citations*
3. **[ASP-driven User-interaction with Clinguin ↗](https://doi.org/10.4204/eptcs.416.19)**Alexander Beiser, Susana Hahn, Torsten H. Schaub*4 citations*
4. **[Proof Assistants for Teaching: a Survey ↗](https://doi.org/10.4204/eptcs.419.1)**Frédéric Tran Minh, Laure Gonnord, Julien Narboux*4 citations*
5. **[A Case Study on the Application of Digital Twins for Enhancing CPS Operations ↗](https://doi.org/10.4204/eptcs.418.3)**Irina Muntean, Mirgita Frasheri, Tiziano Munaro*3 citations*
6. **[AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices ↗](https://doi.org/10.4204/eptcs.438.7)**Brice Arleon Zemtsop Ndadji, Simon Bliudze, Clément Quinton*3 citations*
7. **[Design Support for Multitape Turing Machines ↗](https://doi.org/10.4204/eptcs.424.1)**Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced*3 citations*
8. **[LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs ↗](https://doi.org/10.4204/eptcs.416.3)**Sudhir Agarwal, Anu Sreepathy, David Alonso et al.*3 citations*
9. **[Łukasiewicz Logic with Actions for Neural Networks training ↗](https://doi.org/10.4204/eptcs.427.4)**Ioana Leuştean, Bogdan Macovei*3 citations*
10. **[A Coalgebraic Model of Quantum Bisimulation ↗](https://doi.org/10.4204/eptcs.429.14)**Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno et al.*2 citations*
11. **[A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits ↗](https://doi.org/10.4204/eptcs.426.2)**Sarah Meng Li, Michele Mosca, Neil J. Ross et al.*2 citations*
12. **[Adaptable Teastore with Energy Consumption Awareness: A Case Study ↗](https://doi.org/10.4204/eptcs.438.6)**Henrique De Medeiros, Denisse Muñante, Sophie Chabridon et al.*2 citations*
13. **[An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language ↗](https://doi.org/10.4204/eptcs.420.5)**Shucai Yao, Emil Sekerinski*2 citations*
14. **[Generating Causally Compliant Counterfactual Explanations using ASP ↗](https://doi.org/10.4204/eptcs.416.30)**Sopam Dasgupta*2 citations*
15. **[Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles](https://md.research.elamur.ai/free/en/papers/sartor-2025-mind-gaps-logical-english-prolog/)**Galileo Sartor, Adam Wyner, Giuseppe Contissa*2 citations · our summary*
16. **[Modelling Real-time Systems with Bigraphs ↗](https://doi.org/10.4204/eptcs.417.6)**Maram Albalwe, Blair Archibald, Michele Sevegnani*2 citations*
17. **[On LLM-generated Logic Programs and their Inference Execution Methods ↗](https://doi.org/10.4204/eptcs.416.1)**Paul Tarau*2 citations*
18. **[OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs ↗](https://doi.org/10.4204/eptcs.419.4)**Ján Perháč, Samuel Novotný, Sergej Chodarev et al.*2 citations*
19. **[Towards Federated Digital Twin Platforms ↗](https://doi.org/10.4204/eptcs.418.4)**Mirgita Frasheri, Prasad Talasila, Vanessa Scherma*2 citations*
20. **[Verification of Digital Twins using Classical and Statistical Model Checking ↗](https://doi.org/10.4204/eptcs.418.2)**Raghavendran Gunasekaran, Boudewijn R. H. M. Haverkort*2 citations*
21. **[Visual Graph Question Answering with ASP and LLMs for Language Parsing ↗](https://doi.org/10.4204/eptcs.416.2)**Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera et al.*2 citations*
22. **[ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces ↗](https://doi.org/10.4204/eptcs.426.5)**Boldizsár Poór, Razin Abdulrauf Shaikh, Quanlong Wang*2 citations*
23. **[A Formalization of Elementary Linear Algebra: Part I ↗](https://doi.org/10.4204/eptcs.423.1)**David M. Russinoff*1 citation*
24. **[A Formalization of Elementary Linear Algebra: Part II ↗](https://doi.org/10.4204/eptcs.423.2)**David M. Russinoff*1 citation*
25. **[A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga ↗](https://doi.org/10.4204/eptcs.425.5)**Gabriele Cecilia*1 citation*
26. **[A Graphical Interface for Category Theory Proofs in Coq ↗](https://doi.org/10.4204/eptcs.419.2)**Luc Chabassier*1 citation*
27. **[Abduction of Domain Relationships from Data for VQA ↗](https://doi.org/10.4204/eptcs.416.15)**Al Mehdi Saadat Chowdhury, Paulo Shakarian, Gerardo I. Simari*1 citation*
28. **[Abstract Kleisli Structures on 2-categories ↗](https://doi.org/10.4204/eptcs.429.2)**Adrian Miranda*1 citation*
29. **[Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions ↗](https://doi.org/10.4204/eptcs.436.3)**Ishan Saxena, Bernd Westphal, Martin Fränzle*1 citation*
30. **[Adaptable TeaStore ↗](https://doi.org/10.4204/eptcs.438.1)**Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo et al.*1 citation*
31. **[Adaptable TeaStore: A Choreographic Approach ↗](https://doi.org/10.4204/eptcs.438.5)**Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese B et al.*1 citation*
32. **[Bridging Logic Programming and Deep Learning for Explainability through ILASP ↗](https://doi.org/10.4204/eptcs.416.31)**Talissa Dreossi*1 citation*
33. **[Context-aware, Ante-hoc Explanations of Driving Behaviour ↗](https://doi.org/10.4204/eptcs.436.11)**Dominik Grundt, Ishan Saxena, Malte Petersen et al.*1 citation*
34. **[Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration ↗](https://doi.org/10.4204/eptcs.416.13)**Flavio Bertini, Alessandro Dal Palù, Federica Zaglio et al.*1 citation*
35. **[Distributed Knowing How ↗](https://doi.org/10.4204/eptcs.437.11)**Bin Liu, Yanjing Wang*1 citation*
36. **[Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases ↗](https://doi.org/10.4204/eptcs.416.17)**Haya Majid Qureshi, Wolfgang Faber*1 citation*
37. **[Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus ↗](https://doi.org/10.4204/eptcs.426.10)**Matthew Sutcliffe, Aleks Kissinger*1 citation*
38. **[Finite Automata for Efficient Graph Recognition ↗](https://doi.org/10.4204/eptcs.417.8)**Frank Drewes, Berthold Hoffmann, Mark Minas*1 citation*
39. **[Graded Distributed Belief ↗](https://doi.org/10.4204/eptcs.437.19)**Emiliano Lorini, Dmitry Rozplokhas*1 citation*
40. **[Group Knowledge of Hypothetical Values ↗](https://doi.org/10.4204/eptcs.437.15)**Alexandru Baltag, Sonja Smets*1 citation*
41. **[High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization ↗](https://doi.org/10.4204/eptcs.426.8)**Mathias Weiden, Justin Kalloor, John D. Kubiatowicz et al.*1 citation*
42. **[Higher-Order DisCoCat (Peirce-Lambek-Montague semantics) ↗](https://doi.org/10.4204/eptcs.429.7)**Alexis Toumi, Giovanni de Felice*1 citation*
43. **[Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts ↗](https://doi.org/10.4204/eptcs.424.6)**Oliver Westphal*1 citation*
44. **[Local Type Inference for Context-Free Session Types ↗](https://doi.org/10.4204/eptcs.420.1)**Bernardo Almeida, Andreia Mordido, VASCO THUDICHUM VASCONCELOS*1 citation*
45. **[Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York ↗](https://doi.org/10.4204/eptcs.416.4)**Sanskar Sehgal, Yanhong A. Liu*1 citation*
46. **[Metric Equational Theories ↗](https://doi.org/10.4204/eptcs.428.11)**Radu Mardare, Neil Ghani, Eigil Fjeldgren Rischel*1 citation*
47. **[Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned ↗](https://doi.org/10.4204/eptcs.419.5)**Jørgen Villadsen*1 citation*
48. **[Modal Logic for Reasoning About Uncertainty and Confusion ↗](https://doi.org/10.4204/eptcs.437.20)**Marta Bílková, Thomas Macaulay Ferguson, Daniil Kozhemiachenko*1 citation*
49. **[Model Learning for Adjusting the Level of Automation in HCPS ↗](https://doi.org/10.4204/eptcs.436.10)**Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle*1 citation*
50. **[Modular Multiparty Sessions with Mixed Choice ↗](https://doi.org/10.4204/eptcs.425.2)**Franco Barbanera, Mariangiola Dezani-ciancaglini A*1 citation*
51. **[Modular Stochastic Rewritable Petri Nets ↗](https://doi.org/10.4204/eptcs.416.11)**Lorenzo Capra*1 citation*
52. **[Neuro-Symbolic Contrastive Learning for Cross-domain Inference ↗](https://doi.org/10.4204/eptcs.416.6)**Mingyue Liu, Ryo Ueda, Zhen Wan et al.*1 citation*
53. **[On some Classes of Reversible 2-head Automata ↗](https://doi.org/10.4204/eptcs.422.7)**Benedek Nagy, Walaa Yasin*1 citation*
54. **[On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks ↗](https://doi.org/10.4204/eptcs.437.13)**Uri Andrews, Luca San Mauro*1 citation*
55. **[On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions ↗](https://doi.org/10.4204/eptcs.431.2)**Sebastián Urciuoli*1 citation*
56. **[Optimal Configuration of API Resources in Cloud Native Computing ↗](https://doi.org/10.4204/eptcs.438.2)**Eddy Truyen, Wouter Joosen*1 citation*
57. **[Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract) ↗](https://doi.org/10.4204/eptcs.437.17)**Kaya Alpturer, Ron van der Meyden, Sushmita Ruj et al.*1 citation*
58. **[Paraconsistent Relations as a Variant of Kleene Algebras ↗](https://doi.org/10.4204/eptcs.421.8)**Juliana Cunha, Alexandre Madeira, Lu­ís Soares Barbosa*1 citation*
59. **[Proceedings 14th International Workshop on Trends in Functional Programming in Education ↗](https://doi.org/10.4204/eptcs.424.0)**Rose Bohrer*1 citation*
60. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.0)**Pedro Cabalar, Francesco Fabiano, Martin Gebser et al.*1 citation*
61. **[Regional, Lattice and Logical Representations of Neural Networks ↗](https://doi.org/10.4204/eptcs.421.4)**Sandro Márcio da Silva Preto, Marcelo Finger*1 citation*
62. **[Regular Typed Unification ↗](https://doi.org/10.4204/eptcs.416.21)**João Barbosa, Mário Florido, Vı́tor Santos Costa*1 citation*
63. **[Reinforcement Learning in Categorical Cybernetics ↗](https://doi.org/10.4204/eptcs.429.15)**Jules Hedges, Riu Rodríguez Sakamoto*1 citation*
64. **[Ruitenburg's Theorem Mechanized and Contextualized ↗](https://doi.org/10.4204/eptcs.435.4)**Tadeusz Litak*1 citation*
65. **[Sound Value Iteration for Simple Stochastic Games ↗](https://doi.org/10.4204/eptcs.428.4)**Muqsit Azeem, Jan Křetínský, Maximilian Weininger*1 citation*
66. **[String Diagrams for Defect-Based Surface Code Computing ↗](https://doi.org/10.4204/eptcs.426.6)**Mateusz Kupper, Dominic C. Horsman, Chris Heunen et al.*1 citation*
67. **[Teaching Divisibility and Binomials with Coq ↗](https://doi.org/10.4204/eptcs.419.8)**Sylvie Boldo, François Clément, David Hamelin et al.*1 citation*
68. **[Thread and Memory-Safe Programming with CLASS ↗](https://doi.org/10.4204/eptcs.420.3)**Luı́s Caires*1 citation*
69. **[Towards A Catalogue of Requirement Patterns for Space Robotic Missions ↗](https://doi.org/10.4204/eptcs.436.12)**Mahdi Etumi, Hazel M Taylor, Marie Farrell*1 citation*
70. **[ViCAR: Visualizing Categories with Automated Rewriting in Coq ↗](https://doi.org/10.4204/eptcs.429.13)**Bhakti Shah, W. Dean Spencer, Laura Zielinski et al.*1 citation*
71. **[Visual Execution and Validation of Finite-State Machines and Pushdown Automata ↗](https://doi.org/10.4204/eptcs.424.5)**Marco T. Morazán, David Anthony K. Fields, Andrés M. Garced et al.*1 citation*
72. **[Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems ↗](https://doi.org/10.4204/eptcs.436.8)**Angelo Ferrando*1 citation*
73. **[parSAT: Parallel Solving of Floating-Point Satisfiability ↗](https://doi.org/10.4204/eptcs.427.8)**Markus Krahl, Matthias Güdemann, Stefan Wallentowitz*1 citation*
74. **[A Category Theoretic Approach to Approximate Game Theory ↗](https://doi.org/10.4204/eptcs.429.10)**Neil Ghani
75. **[A Category-Theoretic Perspective on Approximation Fixpoint Theory ↗](https://doi.org/10.4204/eptcs.416.37)**Samuele Pollaci
76. **[A Classification Program for Nonlocality Paradoxes of Three Qubits ↗](https://doi.org/10.4204/eptcs.426.7)**Nadish de Silva, Santanil Jana, Minghao Yin
77. **[A Coq Formalization of Unification Modulo Exclusive-Or ↗](https://doi.org/10.4204/eptcs.416.23)**Yejun Xu, Daniel J. Dougherty, Rose Bohrer
78. **[A Design Recipe and Recipe-Based Errors for Regular Expressions ↗](https://doi.org/10.4204/eptcs.424.2)**Marco T. Morazán, Shamil Dzhatdoyev, Josephine A. Des Rosiers et al.
79. **[A Formalization of the Correctness of the Floodsub Protocol ↗](https://doi.org/10.4204/eptcs.423.9)**Ankit Kumar, Panagiotis Manolios
80. **[A Formalization of the Yul Language and Some Verified Yul Code Transformations ↗](https://doi.org/10.4204/eptcs.423.8)**Alessandro Coglio, Eric McCarthy
81. **[A Function-Set Framework: General Properties and Applications to Modal Logic ↗](https://doi.org/10.4204/eptcs.430.1)**Luke Bayzid, Alexandre Madeira, Manuel A. Martins
82. **[A Myhill-Nerode Type Characterization of 2detLIN Languages ↗](https://doi.org/10.4204/eptcs.422.6)**Benedek Nagy
83. **[A Note on Propositional Dynamic Logic Expressiveness and Complexity ↗](https://doi.org/10.4204/eptcs.430.0.2)**Bruno Lopes
84. **[A Prolog Program for Bottom-up Evaluation ↗](https://doi.org/10.4204/eptcs.416.20)**David Scott Warren
85. **[A Proof of the Schröder-Bernstein Theorem in ACL2 ↗](https://doi.org/10.4204/eptcs.423.3)**Grant Jurgensen
86. **[AI-Generated Compromises for Coalition Formation: Modeling, Simulation, and a Textual Case Study ↗](https://doi.org/10.4204/eptcs.437.32)**Eyal Briman, Ehud Y. Shapiro, Nimrod Talmon
87. **[ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments ↗](https://doi.org/10.4204/eptcs.424.4)**Baltasar Trancón y Widemann, Markus Lepper
88. **[Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies ↗](https://doi.org/10.4204/eptcs.436.7)**Marlow Fawn, Matthias J. Scheutz
89. **[An ACL2s Interface to Z3 ↗](https://doi.org/10.4204/eptcs.423.10)**Andrew T. Walter, Panagiotis Manolios
90. **[An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency ↗](https://doi.org/10.4204/eptcs.433.4)**Renato Neves
91. **[An Automaton-based Characterisation of First-Order Logic over Infinite Trees ↗](https://doi.org/10.4204/eptcs.428.5)**Massimo Benerecetti, Dario Della Monica, Armando di Matteo et al.
92. **[An Encoding of Interaction Nets in OCaml ↗](https://doi.org/10.4204/eptcs.417.1)**Nikolaus Huber, Wang Yi
93. **[An Enumerative Embedding of the Python Type System in ACL2s ↗](https://doi.org/10.4204/eptcs.423.11)**Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter et al.
94. **[An Execution Model for RICE ↗](https://doi.org/10.4204/eptcs.421.7)**Steven Libby
95. **[Analyzing Many Simulations of Hybrid Programs in Lince ↗](https://doi.org/10.4204/eptcs.436.9)**Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
96. **[Answer Set Counting and its Applications ↗](https://doi.org/10.4204/eptcs.416.34)**Mohimenul Kabir
97. **[Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents ↗](https://doi.org/10.4204/eptcs.416.7)**Sean C. Glaze, Daniela Inclezan
98. **[Are Large Random Graphs Always Safe to Hide? ↗](https://doi.org/10.4204/eptcs.437.26)**Sourav Chakraborty, Sujata Ghosh, Smiha Samanta
99. **[Automated Program Analysis for Scientific Software ↗](https://doi.org/10.4204/eptcs.432.2)**Jacob Laurel
100. **[Autonomous Task Completion Based on Goal-directed Answer Set Programming ↗](https://doi.org/10.4204/eptcs.416.39)**Alexis R. Tudor

**1** [2](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/3/) [next →](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/) — Electronic Proceedings in Theoretical Computer Science 2025