---
title: "Electronic Proceedings in Theoretical Computer Science 2025"
description: "Electronic Proceedings in Theoretical Computer Science 2025 — papers: 1 paper in the Elamur Research library, with our summaries, ranked…"
canonical: "https://research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/"
---
[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/)

[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

# Electronic Proceedings in Theoretical Computer Science 2025 — papers

The works of Electronic Proceedings in Theoretical Computer Science published in 2025 that our library holds (publisher: Open Publishing Association): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**279** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/#works) · [**2** citations of these works](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All works of the year (279)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 279 papers in Electronic Proceedings in Theoretical Computer Science 2025 — papers →](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[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/) [Electronic Proceedings in Theoretical Computer Science](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/)**Galileo Sartor, Adam Wyner, Giuseppe Contissa*2025 · 2 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[English (1)](https://md.research.elamur.ai/free/en/topics/english/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Social Sciences (1)](https://md.research.elamur.ai/free/en/shelves/social-sciences/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🎓**Swansea University** Swansea · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/universities/swansea-university/) · [🎓**University of Bologna** Bologna · Italy 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-bologna/)

works and citations from OpenAlex and our library.

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