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

1 2 3

  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
  26. A Graphical Interface for Category Theory Proofs in Coq ↗Luc Chabassier1 citation
  27. Abduction of Domain Relationships from Data for VQA ↗Al Mehdi Saadat Chowdhury, Paulo Shakarian, Gerardo I. Simari1 citation
  28. Abstract Kleisli Structures on 2-categories ↗Adrian Miranda1 citation
  29. Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions ↗Ishan Saxena, Bernd Westphal, Martin Fränzle1 citation
  30. Adaptable TeaStore ↗Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo et al.1 citation
  31. Adaptable TeaStore: A Choreographic Approach ↗Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese B et al.1 citation
  32. Bridging Logic Programming and Deep Learning for Explainability through ILASP ↗Talissa Dreossi1 citation
  33. Context-aware, Ante-hoc Explanations of Driving Behaviour ↗Dominik Grundt, Ishan Saxena, Malte Petersen et al.1 citation
  34. Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration ↗Flavio Bertini, Alessandro Dal Palù, Federica Zaglio et al.1 citation
  35. Distributed Knowing How ↗Bin Liu, Yanjing Wang1 citation
  36. Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases ↗Haya Majid Qureshi, Wolfgang Faber1 citation
  37. Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus ↗Matthew Sutcliffe, Aleks Kissinger1 citation
  38. Finite Automata for Efficient Graph Recognition ↗Frank Drewes, Berthold Hoffmann, Mark Minas1 citation
  39. Graded Distributed Belief ↗Emiliano Lorini, Dmitry Rozplokhas1 citation
  40. Group Knowledge of Hypothetical Values ↗Alexandru Baltag, Sonja Smets1 citation
  41. High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization ↗Mathias Weiden, Justin Kalloor, John D. Kubiatowicz et al.1 citation
  42. Higher-Order DisCoCat (Peirce-Lambek-Montague semantics) ↗Alexis Toumi, Giovanni de Felice1 citation
  43. Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts ↗Oliver Westphal1 citation
  44. Local Type Inference for Context-Free Session Types ↗Bernardo Almeida, Andreia Mordido, VASCO THUDICHUM VASCONCELOS1 citation
  45. Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York ↗Sanskar Sehgal, Yanhong A. Liu1 citation
  46. Metric Equational Theories ↗Radu Mardare, Neil Ghani, Eigil Fjeldgren Rischel1 citation
  47. Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned ↗Jørgen Villadsen1 citation
  48. Modal Logic for Reasoning About Uncertainty and Confusion ↗Marta Bílková, Thomas Macaulay Ferguson, Daniil Kozhemiachenko1 citation
  49. Model Learning for Adjusting the Level of Automation in HCPS ↗Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle1 citation
  50. Modular Multiparty Sessions with Mixed Choice ↗Franco Barbanera, Mariangiola Dezani-ciancaglini A1 citation
  51. Modular Stochastic Rewritable Petri Nets ↗Lorenzo Capra1 citation
  52. Neuro-Symbolic Contrastive Learning for Cross-domain Inference ↗Mingyue Liu, Ryo Ueda, Zhen Wan et al.1 citation
  53. On some Classes of Reversible 2-head Automata ↗Benedek Nagy, Walaa Yasin1 citation
  54. On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks ↗Uri Andrews, Luca San Mauro1 citation
  55. On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions ↗Sebastián Urciuoli1 citation
  56. Optimal Configuration of API Resources in Cloud Native Computing ↗Eddy Truyen, Wouter Joosen1 citation
  57. Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract) ↗Kaya Alpturer, Ron van der Meyden, Sushmita Ruj et al.1 citation
  58. Paraconsistent Relations as a Variant of Kleene Algebras ↗Juliana Cunha, Alexandre Madeira, Lu­ís Soares Barbosa1 citation
  59. Proceedings 14th International Workshop on Trends in Functional Programming in Education ↗Rose Bohrer1 citation
  60. Proceedings 40th International Conference on Logic Programming ↗Pedro Cabalar, Francesco Fabiano, Martin Gebser et al.1 citation
  61. Regional, Lattice and Logical Representations of Neural Networks ↗Sandro Márcio da Silva Preto, Marcelo Finger1 citation
  62. Regular Typed Unification ↗João Barbosa, Mário Florido, Vı́tor Santos Costa1 citation
  63. Reinforcement Learning in Categorical Cybernetics ↗Jules Hedges, Riu Rodríguez Sakamoto1 citation
  64. Ruitenburg's Theorem Mechanized and Contextualized ↗Tadeusz Litak1 citation
  65. Sound Value Iteration for Simple Stochastic Games ↗Muqsit Azeem, Jan Křetínský, Maximilian Weininger1 citation
  66. String Diagrams for Defect-Based Surface Code Computing ↗Mateusz Kupper, Dominic C. Horsman, Chris Heunen et al.1 citation
  67. Teaching Divisibility and Binomials with Coq ↗Sylvie Boldo, François Clément, David Hamelin et al.1 citation
  68. Thread and Memory-Safe Programming with CLASS ↗Luı́s Caires1 citation
  69. Towards A Catalogue of Requirement Patterns for Space Robotic Missions ↗Mahdi Etumi, Hazel M Taylor, Marie Farrell1 citation
  70. ViCAR: Visualizing Categories with Automated Rewriting in Coq ↗Bhakti Shah, W. Dean Spencer, Laura Zielinski et al.1 citation
  71. Visual Execution and Validation of Finite-State Machines and Pushdown Automata ↗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 ↗Angelo Ferrando1 citation
  73. parSAT: Parallel Solving of Floating-Point Satisfiability ↗Markus Krahl, Matthias Güdemann, Stefan Wallentowitz1 citation
  74. A Category Theoretic Approach to Approximate Game Theory ↗Neil Ghani
  75. A Category-Theoretic Perspective on Approximation Fixpoint Theory ↗Samuele Pollaci
  76. A Classification Program for Nonlocality Paradoxes of Three Qubits ↗Nadish de Silva, Santanil Jana, Minghao Yin
  77. A Coq Formalization of Unification Modulo Exclusive-Or ↗Yejun Xu, Daniel J. Dougherty, Rose Bohrer
  78. A Design Recipe and Recipe-Based Errors for Regular Expressions ↗Marco T. Morazán, Shamil Dzhatdoyev, Josephine A. Des Rosiers et al.
  79. A Formalization of the Correctness of the Floodsub Protocol ↗Ankit Kumar, Panagiotis Manolios
  80. A Formalization of the Yul Language and Some Verified Yul Code Transformations ↗Alessandro Coglio, Eric McCarthy
  81. A Function-Set Framework: General Properties and Applications to Modal Logic ↗Luke Bayzid, Alexandre Madeira, Manuel A. Martins
  82. A Myhill-Nerode Type Characterization of 2detLIN Languages ↗Benedek Nagy
  83. A Note on Propositional Dynamic Logic Expressiveness and Complexity ↗Bruno Lopes
  84. A Prolog Program for Bottom-up Evaluation ↗David Scott Warren
  85. A Proof of the Schröder-Bernstein Theorem in ACL2 ↗Grant Jurgensen
  86. AI-Generated Compromises for Coalition Formation: Modeling, Simulation, and a Textual Case Study ↗Eyal Briman, Ehud Y. Shapiro, Nimrod Talmon
  87. ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments ↗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 ↗Marlow Fawn, Matthias J. Scheutz
  89. An ACL2s Interface to Z3 ↗Andrew T. Walter, Panagiotis Manolios
  90. An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency ↗Renato Neves
  91. An Automaton-based Characterisation of First-Order Logic over Infinite Trees ↗Massimo Benerecetti, Dario Della Monica, Armando di Matteo et al.
  92. An Encoding of Interaction Nets in OCaml ↗Nikolaus Huber, Wang Yi
  93. An Enumerative Embedding of the Python Type System in ACL2s ↗Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter et al.
  94. An Execution Model for RICE ↗Steven Libby
  95. Analyzing Many Simulations of Hybrid Programs in Lince ↗Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
  96. Answer Set Counting and its Applications ↗Mohimenul Kabir
  97. Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents ↗Sean C. Glaze, Daniela Inclezan
  98. Are Large Random Graphs Always Safe to Hide? ↗Sourav Chakraborty, Sujata Ghosh, Smiha Samanta
  99. Automated Program Analysis for Scientific Software ↗Jacob Laurel
  100. Autonomous Task Completion Based on Goal-directed Answer Set Programming ↗Alexis R. Tudor

1 2 3

↑ back to top

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