Elamur Research⌕
☰
home / venues / Electronic Proceedings in Theoretical… / 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.

 279works that year 1work in our library 2citations of these 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 ↗Riccardo Sieve, Paul Kobialka, Laura A. Slaughter et al.6 citations
  2. Proceedings 40th International Conference on Logic Programming ↗Xiangyu Guo, James F. Smith, Ajay Bansal5 citations
  3. ASP-driven User-interaction with Clinguin ↗Alexander Beiser, Susana Hahn, Torsten H. Schaub4 citations
  4. Proof Assistants for Teaching: a Survey ↗Frédéric Tran Minh, Laure Gonnord, Julien Narboux4 citations
  5. A Case Study on the Application of Digital Twins for Enhancing CPS Operations ↗Irina Muntean, Mirgita Frasheri, Tiziano Munaro3 citations
  6. AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices ↗Brice Arleon Zemtsop Ndadji, Simon Bliudze, Clément Quinton3 citations
  7. Design Support for Multitape Turing Machines ↗Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced3 citations
  8. LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs ↗Sudhir Agarwal, Anu Sreepathy, David Alonso et al.3 citations
  9. Łukasiewicz Logic with Actions for Neural Networks training ↗Ioana Leuştean, Bogdan Macovei3 citations
  10. A Coalgebraic Model of Quantum Bisimulation ↗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 ↗Riccardo Sieve, Paul Kobialka, Laura A. Slaughter et al.6 citations
  2. Proceedings 40th International Conference on Logic Programming ↗Xiangyu Guo, James F. Smith, Ajay Bansal5 citations
  3. ASP-driven User-interaction with Clinguin ↗Alexander Beiser, Susana Hahn, Torsten H. Schaub4 citations
  4. Proof Assistants for Teaching: a Survey ↗Frédéric Tran Minh, Laure Gonnord, Julien Narboux4 citations
  5. A Case Study on the Application of Digital Twins for Enhancing CPS Operations ↗Irina Muntean, Mirgita Frasheri, Tiziano Munaro3 citations
  6. AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices ↗Brice Arleon Zemtsop Ndadji, Simon Bliudze, Clément Quinton3 citations
  7. Design Support for Multitape Turing Machines ↗Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced3 citations
  8. LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs ↗Sudhir Agarwal, Anu Sreepathy, David Alonso et al.3 citations
  9. Łukasiewicz Logic with Actions for Neural Networks training ↗Ioana Leuştean, Bogdan Macovei3 citations
  10. A Coalgebraic Model of Quantum Bisimulation ↗Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno et al.2 citations
  11. A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits ↗Sarah Meng Li, Michele Mosca, Neil J. Ross et al.2 citations
  12. Adaptable Teastore with Energy Consumption Awareness: A Case Study ↗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 ↗Shucai Yao, Emil Sekerinski2 citations
  14. Generating Causally Compliant Counterfactual Explanations using ASP ↗Sopam Dasgupta2 citations
  15. Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous VehiclesGalileo Sartor, Adam Wyner, Giuseppe Contissa2 citations · our summary
  16. Modelling Real-time Systems with Bigraphs ↗Maram Albalwe, Blair Archibald, Michele Sevegnani2 citations
  17. On LLM-generated Logic Programs and their Inference Execution Methods ↗Paul Tarau2 citations
  18. OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs ↗Ján Perháč, Samuel Novotný, Sergej Chodarev et al.2 citations
  19. Towards Federated Digital Twin Platforms ↗Mirgita Frasheri, Prasad Talasila, Vanessa Scherma2 citations
  20. Verification of Digital Twins using Classical and Statistical Model Checking ↗Raghavendran Gunasekaran, Boudewijn R. H. M. Haverkort2 citations
  21. Visual Graph Question Answering with ASP and LLMs for Language Parsing ↗Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera et al.2 citations
  22. ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces ↗Boldizsár Poór, Razin Abdulrauf Shaikh, Quanlong Wang2 citations
  23. A Formalization of Elementary Linear Algebra: Part I ↗David M. Russinoff1 citation
  24. A Formalization of Elementary Linear Algebra: Part II ↗David M. Russinoff1 citation
  25. A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga ↗Gabriele Cecilia1 citation

See all 279 papers in 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 VehiclesElectronic Proceedings in Theoretical Computer ScienceGalileo Sartor, Adam Wyner, Giuseppe Contissa2025 · 2 citations

 Top topics

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

English (1)

 Fields

Computer Science (1)Social Sciences (1)

 Top institutions

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

🎓Swansea UniversitySwansea · United Kingdom1 work here🎓University of BolognaBologna · Italy1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/