---
title: "Electronic Proceedings in Theoretical Computer Science 2025 —"
description: "All 279 papers of Electronic Proceedings in Theoretical Computer Science 2025 · page 3 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/page/3/"
---
[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/page/3/)

[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](https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/) / page 3

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

279 papers · page 3 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/)

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

201. **[Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ↗](https://doi.org/10.4204/eptcs.420.0.2)**Farzaneh Derakhshan, Jan Hoffmann
202. **[Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ↗](https://doi.org/10.4204/eptcs.420.0)**Farzaneh Derakhshan, Jan Hoffmann
203. **[Proceedings 18th Interaction and Concurrency Experience ↗](https://doi.org/10.4204/eptcs.425.0)**Clément Aubert, Cinzia Di Giusto, Simon Fowler et al.
204. **[Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications ↗](https://doi.org/10.4204/eptcs.423.0)**Ruben A. Gamboa, Panagiotis Manolios
205. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.8)**Vineel Tummala, Daniela Inclezan
206. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.12)**Esteban Guerrero, Juan Carlos Nieves
207. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.10)**Long Tran, Tran Cao Son, Dylan Flynn et al.
208. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.26)**Elena Mastria, Domenico Pagliaro, Francesco Calimeri et al.
209. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.29)**Yanhong A. Liu, Scott D. Stoller, Yi Tong et al.
210. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.27)**Denise Angilica, Giovambattista Ianni, Francesco Pacenza et al.
211. **[Proceedings 40th International Conference on Logic Programming ↗](https://doi.org/10.4204/eptcs.416.25)**Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
212. **[Proceedings 9th edition of Working Formal Methods Symposium ↗](https://doi.org/10.4204/eptcs.427.0)**Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
213. **[Proceedings First Workshop on Adaptable Cloud Architectures ↗](https://doi.org/10.4204/eptcs.438.0)**Giuseppe De Palma, Saverio Giallorenzo
214. **[Proceedings Seventh International Conference on Applied Category Theory 2024 ↗](https://doi.org/10.4204/eptcs.429.0)**Michael Johnson, David Jaz Myers
215. **[Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems ↗](https://doi.org/10.4204/eptcs.436.0)**Matt Luckcuck, Maike Schwammberger, Mengwei Xu
216. **[Proceedings The 13th International Workshop on Theorem proving components for Educational software ↗](https://doi.org/10.4204/eptcs.419.0)**Julien Narboux, Walther Neuper, Pedro Quaresma
217. **[Proceedings Twelfth Workshop on Fixed Points in Computer Science ↗](https://doi.org/10.4204/eptcs.435.0)**Alexis Saurin
218. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.0)**Adam Bjorndahl
219. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.9)**Richard Roth
220. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.2)**Andrés Perea
221. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.6)**Christopher Kops, Hans J. M. Peters, Dries Vermeulen
222. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.4)**Christian W. Bach, Stephan Jagau
223. **[Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗](https://doi.org/10.4204/eptcs.437.7)**Itai Arieli, Yakov Babichenko, Omer Madmon et al.
224. **[Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications ↗](https://doi.org/10.4204/eptcs.430.0)**Haniel Barbosa, Christophe Ringeissen
225. **[Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ↗](https://doi.org/10.4204/eptcs.431.0)**Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
226. **[Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis ↗](https://doi.org/10.4204/eptcs.434.0)**Emanuele De Angelis, Florian Frohn
227. **[Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications ↗](https://doi.org/10.4204/eptcs.422.0)**Nelma Moreira, Luca Prigioniero
228. **[Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications ↗](https://doi.org/10.4204/eptcs.421.0)**Cynthia Kop, Hélida Santos
229. **[Proceedings of the 22nd International Conference on Quantum Physics and Logic ↗](https://doi.org/10.4204/eptcs.426.0)**Alejandro Díaz-Caro, Ognyan Oreshkov, Ana Belén Sainz
230. **[Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics ↗](https://doi.org/10.4204/eptcs.433.0)**Cinzia Di Giusto, Giorgio Bacci
231. **[Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics ↗](https://doi.org/10.4204/eptcs.433.1)**Pedro R. D’Argenio
232. **[Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics ↗](https://doi.org/10.4204/eptcs.433.2)**Maaike Zwart
233. **[Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins ↗](https://doi.org/10.4204/eptcs.418.0)**Marsha Chećhik, Arianna Fedeli, Gianluca Filippone et al.
234. **[Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models ↗](https://doi.org/10.4204/eptcs.417.0)**Jörg Endrullis, Dominik Grzelak, Tobias Heindel et al.
235. **[Proceedings of the International Workshop on Verification of Scientific Software ↗](https://doi.org/10.4204/eptcs.432.0)**Stephen F. Siegel, Ganesh Lalitha Gopalakrishnan
236. **[Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification ↗](https://doi.org/10.4204/eptcs.428.0)**Giorgio Bacci, Adrian Francalanza
237. **[ProofBuddy—How it Started, How it's Going— ↗](https://doi.org/10.4204/eptcs.419.6)**Nadine Karsten, Kim Jana Eiken, Uwe Nestmann
238. **[Properties of UTxO Ledgers and Programs Implemented on Them ↗](https://doi.org/10.4204/eptcs.421.1)**Polina Vinogradova, Alexey Sorokin
239. **[Property Testing for Ocean Models. Can We Specify It? (Invited Talk) ↗](https://doi.org/10.4204/eptcs.432.7)**Deepak A. Cherian
240. **[Proto-Quipper with Reversing and Control ↗](https://doi.org/10.4204/eptcs.426.1)**Peng Fu, Kohei Kishida, Neil J. Ross et al.
241. **[Prudent Rationalizability and the Best Rationalization Principle ↗](https://doi.org/10.4204/eptcs.437.27)**Nicodemo De Vito
242. **[Quantitative Algebraic Reasoning ↗](https://doi.org/10.4204/eptcs.428.2)**Radu Mardare
243. **[Query Answering in Lattice-based Description Logic ↗](https://doi.org/10.4204/eptcs.421.2)**Krishna Manoorkar, Ruoding Wang
244. **[RV32I in ACL2 ↗](https://doi.org/10.4204/eptcs.423.4)**Carl Kwan
245. **[Reactive Semantics for User Interface Description Languages ↗](https://doi.org/10.4204/eptcs.425.3)**Basile Pesin, Célia Picard, Cyril Allignol
246. **[Relating Answer Set Programming and Many-sorted Logics for Formal Verification ↗](https://doi.org/10.4204/eptcs.416.33)**Zachary Hansen
247. **[Reliable Conversational Agents under ASP Control that Understand Natural Language ↗](https://doi.org/10.4204/eptcs.416.41)**Yankai Zeng
248. **[Representing Knowledge and Querying Data using Double-Functorial Semantics ↗](https://doi.org/10.4204/eptcs.429.9)**Michael Lambert, Evan Patterson
249. **[Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories ↗](https://doi.org/10.4204/eptcs.429.6)**Aaron Biggin, Jean-Simon Pacaud Lemay
250. **[Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains ↗](https://doi.org/10.4204/eptcs.436.6)**Diana C. Benjumea, Marie Farrell, Louise A. Dennis
251. **[Scalable Pattern Matching in Computation Graphs ↗](https://doi.org/10.4204/eptcs.417.5)**Luca Mondada, Pablo Andrés-Martí­nez
252. **[Semantic Properties of Computations Defined by Elementary Inference Systems ↗](https://doi.org/10.4204/eptcs.434.4)**Salvador Lucas
253. **[Sequent Calculi for Data-Aware Modal Logics ↗](https://doi.org/10.4204/eptcs.430.2)**Carlos Areces, Valentín Cassano, Danae Dutto et al.
254. **[Skating System Unveiled: Exploring Preference Aggregation in Ballroom Tournaments ↗](https://doi.org/10.4204/eptcs.437.23)**Laryssa Horn, Paul Nüsken, Jörg Rothe et al.
255. **[Solving Four Open Problems about Core Stability in Altruistic Hedonic Games ↗](https://doi.org/10.4204/eptcs.437.3)**Jörg Rothe, Ildikó Schlotter
256. **[Solving Symbolic Constraints ↗](https://doi.org/10.4204/eptcs.430.0.1)**Temur Kutsia
257. **[Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling ↗](https://doi.org/10.4204/eptcs.432.8)**Alper Altuntas, Allison H. Baker, John W. Baugh et al.
258. **[Static Communication Analysis for Hardware Design ↗](https://doi.org/10.4204/eptcs.420.4)**Mads Rosendahl, Maja H. Kirkeby
259. **[Substitution Without Copy and Paste ↗](https://doi.org/10.4204/eptcs.431.5)**Thorsten Altenkirch, Nathaniel Burke, Philip L. Wadler
260. **[Teaching Introductory Functional Programming Using Haskelite ↗](https://doi.org/10.4204/eptcs.424.3)**Pedro B. Vasconcelos
261. **[Termination Modulo Commutativity for Nominal Systems (Work in Progress) ↗](https://doi.org/10.4204/eptcs.430.0.5)**Daniella Santaguida
262. **[The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract) ↗](https://doi.org/10.4204/eptcs.428.3)**Luca Aceto A, Antonis Achilleos, Aggeliki Chalki et al.
263. **[The Complexity of Generalized HyperLTL with Stuttering and Contexts ↗](https://doi.org/10.4204/eptcs.428.12)**Gaëtan Regaud, Martin Zimmermann
264. **[The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games ↗](https://doi.org/10.4204/eptcs.428.6)**Purandar Bhaduri
265. **[The Limit of Recursion in State-based Systems ↗](https://doi.org/10.4204/eptcs.435.1)**Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh
266. **[The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics ↗](https://doi.org/10.4204/eptcs.435.8)**Leonardo Pacheco
267. **[Theta as a Horn Solver ↗](https://doi.org/10.4204/eptcs.434.5)**Levente Bajczi, Milán Mondok, Vince Molnár
268. **[Towards Richer Challenge Problems for Scientific Computing Correctness ↗](https://doi.org/10.4204/eptcs.432.4)**Matthew J. Sottile, Mohit Tekriwal, John Sarracino
269. **[Towards an Analysis of Proofs in Arithmetic ↗](https://doi.org/10.4204/eptcs.421.6)**Alexander Leitsch, Anela Lolić, Stella Mahler
270. **[Towards the HSP Theorem in Nominal Algebra with Fixed-Point Constraints (Work in Progress) ↗](https://doi.org/10.4204/eptcs.430.0.4)**Ali K. Caires-Santos
271. **[Type Theory with Single Substitutions ↗](https://doi.org/10.4204/eptcs.431.4)**Ambrus Kaposi, Szumi Xie
272. **[Unifying Automata Theory and Constrained Horn Clauses for Scalable Program Verification ↗](https://doi.org/10.4204/eptcs.434.2)**Gennaro Parlato
273. **[Unique Solutions of Guarded Recursive Equations ↗](https://doi.org/10.4204/eptcs.433.6)**Rob van Glabbeek
274. **[VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI ↗](https://doi.org/10.4204/eptcs.432.10)**Paul Hovland
275. **[Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models ↗](https://doi.org/10.4204/eptcs.427.7)**Ştefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
276. **[Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup ↗](https://doi.org/10.4204/eptcs.432.12)**Andrew R. Siegel
277. **[Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I ↗](https://doi.org/10.4204/eptcs.432.11)**Junchao Zhang
278. **[Verifying a Sparse Matrix Algorithm Using Symbolic Execution ↗](https://doi.org/10.4204/eptcs.432.5)**Alexander C. Wilton
279. **[Who is Afraid of Minimal Revision? ↗](https://doi.org/10.4204/eptcs.437.25)**Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk et al.

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

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