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 |
|---|---|---|
| 2024 | Minimising the Probabilistic Bisimilarity Distance. | Stefan Kiefer, Qiyi Tang |
| 2024 | Bi-Reachability in Petri Nets with Data. | Lukasz Kaminski, Slawomir Lasota |
| 2024 | Around Classical and Intuitionistic Linear Processes. | Juan C. Jaramillo, Dan Frumin, Jorge A. Prez |
| 2024 | Strategic Dominance: A New Preorder for Nondeterministic Processes. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk). | Arie Gurfinkel |
| 2024 | Inaproximability in Weighted Timed Games. | Quentin Guilmant, Jol Ouaknine |
| 2024 | Phase-Bounded Broadcast Networks over Topologies of Communication. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | Validity of Contextual Formulas. | Javier Esparza, Rubn Rubio |
| 2024 | An Automata-Based Approach for Synchronizable Mailbox Communication. | Romain Delpy, Anca Muscholl, Grgoire Sutre |
| 2024 | Reversible Transducers over Infinite Words. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2024 | Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. | Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara Knig, Matina Najafi, Wojciech Rozowski, Paul Wild |
| 2024 | Computing Inductive Invariants of Regular Abstraction Frameworks. | Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr |
| 2024 | Weighted Basic Parallel Processes and Combinatorial Enumeration. | Lorenzo Clemente |
| 2024 | Effect Semantics for Quantum Process Calculi. | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | RobTL: Robustness Temporal Logic for CPS. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2024 | As Soon as Possible but Rationally. | Vronique Bruyre, Christophe Grandmont, Jean-Franois Raskin |
| 2024 | The Power of Counting Steps in Quantitative Games. | Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove |
| 2024 | History-Determinism vs Fair Simulation. | Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash |
| 2024 | Left-Linear Rewriting in Adhesive Categories. | Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci |
| 2024 | Passive Learning of Regular Data Languages in Polynomial Time and Data. | Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini |
| 2024 | Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. | Christel Baier, Jakob Piribauer, Maximilian Starke |
| 2024 | Bidding Games with Charging. | Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik |
| 2024 | Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. | Jess Aranda, Sebastin Betancourt, Juan Francisco Daz, Frank Valencia |
| 2024 | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2024 | A Unifying Categorical View of Nondeterministic Iteration and Tests. | Sergey Goncharov, Tarmo Uustalu |
101–125 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