Electronic Proceedings in Theoretical Computer Science 2025: all accepted papers
- Bifurcation Logic: Separation Through Ordering ↗Didier Galmiche, Timo Lang, Daniel Méry et al.
- Bisimilarity and Simulatability of Processes Parameterized by Join Interactions ↗Clemens Armin Grabmayer, Maurizio Murgia
- Bridging Threat Models and Detections: Formal Verification via CADP ↗Dumitru Bogdan Prelipcean, Cătălin Dima
- Building Automated Reasoning Tools using the FreqHorn Framework ↗Grigory Fedyukovich
- CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses ↗Mihály Dobos-Kovács, Levente Bajczi, András Vörös
- Causality Without Causal Models ↗Joseph Yehuda Halpern, Rafael Pass
- Characterization of Lattice Properties Within Modal Extensions ↗Alfredo Roque Freire, Manuel A. Martins
- Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints ↗Florian Bruse, David Kronenberger, Martin Lange
- Choosing What Game to Play without Selecting Equilibria: Inferring Safe (Pareto) Improvements in Binary Constraint Structures ↗Caspar Oesterheld, Vincent Conitzer
- Choreographies as Macros ↗Alexander Bohosian, Andrew K. Hirsch
- Classical and Quantum Query Complexity of Boolean Functions under Indefinite Causal Order ↗Alastair A. Abbott, Mehdi Mhalla, Pierre Pocreau
- CoLF Logic Programming as Infinitary Proof Exploration ↗Zhibo Chen, Frank Pfenning
- CoMPSeT: A Framework for Comparing Multiparty Session Types ↗Telmo Ribeiro, José Proença, Mário Florido
- Combs, Causality and Contractions in Atomic Markov Categories ↗Dario Stein, Márk Széles
- Common Knowledge, Sailboats, and Publicity ↗Sena Bozdag, Olivier Roy
- Common p-Belief with Plausibility Measures: Extended Abstract ↗Eric Pacuit, Leo Yang
- Commonsense Reasoning-Aided Autonomous Vehicle Systems ↗Keegan Kimbrell
- Comparing State-Representations for DEL Model Checking ↗Gregor Behnke, Malvin Gattinger, Avijeet Ghosh et al.
- Complexity of Łukasiewicz Modal Probabilistic Logics ↗Daniil Kozhemiachenko, Igor Sedlár
- Conditionals Based on Selection Functions, Modal Operators and Probabilities ↗Tommaso Flaminio, Lluı́s Godo, Gluliano Rosella
- Contributions to the Theory of Clifford-Cyclotomic Circuits ↗Linh Dinh, Neil J. Ross
- Copy-composition for Probabilistic Graphical Models ↗Toby St Clere Smithe
- Counterfactual Explanations as Plans ↗Vaishak Belle
- Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic ↗Bahareh Afshari, Johannes Kloibhofer
- Cyclic Proofs for iGL via Corecursion ↗Borja Sierra Miranda
- Dagger-Drazin Inverses ↗Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
- Decoupling Adaptive Control in TeaStore ↗Eddy Truyen
- Dependently Sorted Nominal Signatures ↗Maribel Fernández, Miguel Pagano, Nóra Szász et al.
- Extended Abstract: Mutable Objects with Several Implementations ↗Matt Kaufmann, Yahya Sohail, Warren A. Hunt
- Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2 ↗Matt Kaufmann, J Strother Moore
- Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System ↗Anna Gallone, Simon Bliudze, Sophie Cerf et al.
- Fast Trigonometric Functions using the RLIBM Approach ↗Sehyeok Park, Santosh Nagarakatte
- Faster Game Solving by Fixpoint Acceleration ↗Daniel Hausmann
- Fault-Tolerant Multiparty Session Types with Global Escape Loops ↗Lukas Bartl, Julian Linne, Kirstin Peters
- Finding Regular Herbrand Models for CHCs using Answer Set Programming ↗Gregoire Maire, Thomas Genet
- Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case ↗Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros et al.
- Foundational End-to-end Verification of Numerical Programs ↗Andrew W. Appel
- Fuzzy Lattice-based Description Logic ↗Yiwen Ding, Krishna Manoorkar
- GNU Aris: a web application for students ↗Saksham Attri, Zoltán Kovács, Aaron Windischbauer
- GView: A Survey of Binary Forensics via Visual, Semantic, and AI-Enhanced Analysis ↗Raul Zaharia, Dragoş Teodor Gavriluţ, Gheorghiţă Mutu
- Generalised Reachability Games Revisited ↗Sougata Bose, Daniel Hausmann, Soumyajit Paul et al.
- Generalized Gradient Descent is a Hypergraph Functor ↗Tyler Hanks, James Fairbanks, Matthew Klawonn
- Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing ↗Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar et al.
- Graphical Conditions for the Existence, Unicity and Number of Regular Models ↗Van-Giang Trinh, Belaïd Benhamou, Sylvain Soliman et al.
- GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions ↗Mattia De Rosa, Mark Minas
- Ground Stratification for a Logic of Definitions with Induction ↗Nathan Guermond, Gopalan Nadathur
- How Concise are Chains of co-Büchi Automata? ↗Rüdiger Ehlers
- Hyperintensional Intention ↗Daniil Khaitovich, Aybüke Özgün
- Idefix-Closed Languages and Their Application in Contextual Grammars ↗Marvin Ködding, Bianca Truthe
- Input-Driven Pushdown Automata with Translucent Input Letters ↗Martin Kutrib, Andreas Malcher, Matthias Wendlandt
- Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow ↗Miriam Backens, Thomas Perez
- LP-LM: No Hallucinations in Question Answering with Logic Programming ↗Katherine Wu, Yanhong A. Liu
- Learners are Almost Free Compact Closed ↗Mitchell Riley
- Linear-Time Graph Programs without Preconditions ↗Ziad Ismaili Alaoui, Detlef Plump
- Logic of Autonomous Dynamical Systems ↗André Platzer
- Logical foundations of Smart Contracts ↗Kalonji Kalala
- Maths with Coq in L1, a pedagogical experiment ↗Marie Kerjean, Micaela Mayero, Pierre Rousselin
- Mechanism Design under Unawareness - Extended Abstract ↗Kym Pram, Burkhard C. Schipper
- Mechanizing Olver's Error Arithmetic ↗Max Fan, Ariel Kellison, Samuel D. Pollard
- Modal Logic for Simulation, Refinement, and Mutual Ignorance ↗Hans van Ditmarsch, Tim French, Rustam Galimullin et al.
- Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description) ↗Maximilian Kratz, Sebastian Ehmes, Philipp Maximilian Menzel et al.
- Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs ↗Ebtihal Althubiti, Michele Sevegnani
- Monoid Structures on Indexed Containers ↗Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
- Muddy Waters ↗Hans van Ditmarsch
- Mutation Testing for Industrial Robotic Systems ↗Marcela G. dos Santos, Sylvain Hallé, Fábio dos Santos Petrillo
- My Attempts To Save Politeness ↗Yoni Zohar
- Navigating the Python Type Jungle ↗Andrei Nacu, Dorel Lucanu
- Nominal Equational Rewriting and Narrowing ↗Maurício Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho et al.
- Nominal Sets in Rocq ↗Fabrício Sanches Paranhos, Daniel Ventura
- On Repetitive Finite Automata with Translucent Words ↗František Mráz, Friedrich Otto
- On Traces in Categories of Contractions ↗Aaron David Fairbanks, Peter Selinger
- On a Dependently Typed Encoding of Matching Logic ↗Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
- On a Generalization of the Christoffel Tree: Epichristoffel Trees ↗Abhishek Krishnamoorthy, Robinson Thamburaj, Durairaj Gnanaraj Thomas
- On graded monads, distributive laws and costrong functors ↗Adriana Balan, Silviu-George Pantelimon
- On the Cost of Software Misbehaviours ↗Giovanni Bernardi
- On the Expressiveness of MPST ↗Kirstin Peters
- Optimal Information Design in Sender-Receiver Cheap Talk Interactions ↗Itai Arieli, Ivan Geffner, Moshe Tennenholtz
- Orchestration of Music by Grammar Systems ↗Jozef Makiš, Alexander Meduna, Zbyněk Křivka
- Organizing Physics with Open Energy-Driven Systems ↗Matteo Capucci, Owen Lynch, David I. Spivak
- Parallelizable Feynman-Kac Models for Universal Probabilistic Programming ↗Michele Boreale, Luisa Collodi
- Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad ↗Sophie Libkind, David I. Spivak
- Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations ↗Adwoa Donyina, Reiko Heckel
- Pleasant Imperative Program Proofs with GallinaC ↗Frédéric Fort, David Nowak, Vlad Rusu
- Polynomial Fingerprinting for Trees and Formulas ↗Mihai Prunescu
- Presenting Profunctors ↗Gabriel Goren-Roig, Joshua Meyers, Emilio Minichiello
This page in Markdown → https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/2/