Annual Conference on Computer Science Logic
CSL
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation
Papers indexed
1,493
1987–2026
Papers per year
198780 peak2026
Most published authors
CSL papers
1,493 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2014 | Decidability of weak logics with deterministic transitive closure. | Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki |
| 2014 | Symmetry in concurrent games. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2014 | Weak MSO: automata and expressiveness modulo bisimilarity. | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2014 | Secure equilibria in weighted games. | Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin |
| 2014 | A decision procedure for satisfiability in separation logic with inductive predicates. | James Brotherston, Carsten Fuhs, Juan Antonio Navarro Prez, Nikos Gorogiannis |
| 2014 | On the characterization of models of | Flavien Breuvart |
| 2014 | The complexity of admissibility in Omega-regular games. | Romain Brenguier, Jean-Franois Raskin, Mathieu Sassolas |
| 2014 | Zero-reachability in probabilistic multi-counter automata. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen |
| 2014 | Model checking existential logic on partially ordered sets. | Simone Bova, Robert Ganian, Stefan Szeider |
| 2014 | Coinduction up-to in a fibrational setting. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2014 | Logical characterization of weighted pebble walking automata. | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun |
| 2014 | Logic for communicating automata with parameterized topology. | Benedikt Bollig |
| 2014 | Decomposition theorems and model-checking for the modal | Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer |
| 2014 | Two-way cost automata and cost logics over infinite trees. | Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom |
| 2014 | A domain-theoretic approach to Brownian motion and general continuous stochastic processes. | Paul Bilokon, Abbas Edalat |
| 2014 | On the discriminating power of passivation and higher-order interaction. | Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli |
| 2014 | Effective interpolation and preservation in guarded logics. | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
| 2014 | Graph logics with rational relations: the role of word combinatorics. | Pablo Barcel, Pablo Muoz |
| 2014 | Weight monitoring with linear temporal logic: complexity and decidability. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2014 | Trade-off analysis meets probabilistic model checking. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2014 | Asymptotic behaviour in temporal logic. | Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu |
| 2014 | Regular combinators for string transformations. | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
| 2014 | Beta reduction is invariant, indeed. | Beniamino Accattoli, Ugo Dal Lago |
| 2014 | Infinite-state energy games. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
| 2014 | Abstract interpretation from Bchi automata. | Martin Hofmann, Wei Chen |
526–550 of 1,493← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing