International Conference on Concurrency Theory
CONCUR
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation · Distributed Computing and Systems Software
Papers indexed
1,512
1984–2026
Papers per year
198451 peak2026
Most published authors
CONCUR papers
1,512 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2021 | Bisimulation by Partitioning Is Ω((m+n)log n). | Jan Friso Groote, Jan Martens, Erik P. de Vink |
| 2021 | Enabling Preserving Bisimulation Equivalence. | Rob van Glabbeek, Peter Hfner, Weiyou Wang |
| 2021 | Enforcing ω-Regular Properties in Markov Chains by Restarting. | Javier Esparza, Stefan Kiefer, Jan Kretnsk, Maximilian Weininger |
| 2021 | Inclusion Testing of Bchi Automata Based on Well-Quasiorders. | Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato |
| 2021 | Stackelberg-Pareto Synthesis. | Vronique Bruyre, Jean-Franois Raskin, Clment Tamines |
| 2021 | A Decidable Non-Regular Modal Fixpoint Logic. | Florian Bruse, Martin Lange |
| 2021 | Subgame-Perfect Equilibria in Mean-Payoff Games. | Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard |
| 2021 | Arena-Independent Finite-Memory Determinacy in Stochastic Games. | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2021 | Algebra and Coalgebra of Stream Products. | Michele Boreale, Daniele Gorla |
| 2021 | A Unifying Framework for Deciding Synchronizability. | Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, tienne Lozes, Amrita Suresh |
| 2021 | A Temporal Logic for Strategic Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2021 | Adaptive Synchronisation of Pushdown Automata. | A. R. Balasubramanian, K. S. Thejaswini |
| 2021 | Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. | Mrudula Balachander, Shibashis Guha, Jean-Franois Raskin |
| 2021 | Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. | Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi |
| 2021 | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | Deciding Polynomial Termination Complexity for VASS Programs. | Michal Ajdarw, Antonn Kucera |
| 2021 | Model Checking Quantum Continuous-Time Markov Chains. | Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu |
| 2021 | Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. | Nathalie Bertrand, Bastien Thomas, Josef Widder |
| 2021 | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. | Simon Foster, Chung-Kil Hur, Jim Woodcock |
| 2021 | CONCUR Test-Of-Time Award 2021 (Invited Paper). | Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2020 | Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. | Paul Wild, Lutz Schrder |
| 2020 | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | Flatness and Complexity of Immediate Observation Petri Nets. | Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza |
226–250 of 1,512← 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