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 |
|---|---|---|
| 2016 | Coalgebraic Trace Semantics for Buechi and Parity Automata. | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
| 2016 | Homogeneous Equations of Algebraic Petri Nets. | Marvin Triebel, Jan Srmeli |
| 2016 | Computing Probabilistic Bisimilarity Distances via Policy Iteration. | Qiyi Tang, Franck van Breugel |
| 2016 | Consistency in 3D. | Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri |
| 2016 | Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. | Uli Schlachter |
| 2016 | Ethical Preference-Based Decision Support Systems. | Francesca Rossi |
| 2016 | Topological Self-Stabilization with Name-Passing Process Calculi. | Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid |
| 2016 | Causally Consistent Dynamic Slicing. | Roly Perera, Deepak Garg, James Cheney |
| 2016 | Model Checking Flat Freeze LTL on One-Counter Automata. | Antonia Lechner, Richard Mayr, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2016 | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2016 | Lazy Reachability Analysis in Distributed Systems. | Log Jezequel, Didier Lime |
| 2016 | Private Names in Non-Commutative Logic. | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
| 2016 | Global Caching for the Alternation-free μ-Calculus. | Daniel Hausmann, Lutz Schrder, Christoph Egger |
| 2016 | Local Linearizability for Concurrent Container-Type Data Structures. | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
| 2016 | Deciding Hyperproperties. | Bernd Finkbeiner, Christopher Hahn |
| 2016 | Soundness in Negotiations. | Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz |
| 2016 | Bisimulations and Unfolding in P-Accessible Categorical Models. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | On the Expressiveness of QCTL. | Amlie David, Franois Laroussinie, Nicolas Markey |
| 2016 | Bayesian Inversion by ω-Complete Cone Duality. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
| 2016 | Robustly Parameterised Higher-Order Probabilistic Models. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
| 2016 | Linear Distances between Markov Chains. | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov |
| 2016 | Up-To Techniques for Generalized Bisimulation Metrics. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli |
| 2016 | Modal Decomposition on Nondeterministic Probabilistic Processes. | Valentina Castiglioni, Daniel Gebler, Simone Tini |
| 2016 | Causality vs. Interleavings in Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault |
| 2016 | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
426–450 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