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 |
|---|---|---|
| 2017 | Model-Checking Counting Temporal Logics on Flat Structures. | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2017 | Coverability Synthesis in Parametric Petri Nets. | Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux |
| 2017 | Tractability of Separation Logic with Inductive Definitions: Beyond Lists. | Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | Bidirectional Nested Weighted Automata. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2017 | Goal-Driven Unfolding of Petri Nets. | Thomas Chatain, Loc Paulev |
| 2017 | Algebraic Laws for Weak Consistency. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2017 | Concurrent Reversible Sessions. | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2017 | On Decidability of Concurrent Kleene Algebra. | Paul Brunet, Damien Pous, Georg Struth |
| 2017 | Admissibility in Games with Imperfect Information (Invited Talk). | Romain Brenguier, Arno Pauly, Jean-Franois Raskin, Ocan Sankur |
| 2017 | Unbounded Product-Form Petri Nets. | Patricia Bouyer, Serge Haddad, Vincent Jug |
| 2017 | Checking Linearizability of Concurrent Priority Queues. | Ahmed Bouajjani, Constantin Enea, Chao Wang |
| 2017 | Refinement for Signal Flow Graphs. | Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski |
| 2017 | The Power of Convex Algebras. | Filippo Bonchi, Alexandra Silva, Ana Sokolova |
| 2017 | The Complexity of Flat Freeze LTL. | Benedikt Bollig, Karin Quaas, Arnaud Sangnier |
| 2017 | Uniform Sampling for Networks of Automata. | Nicolas Basset, Jean Mairesse, Michle Soria |
| 2017 | Infinite-Duration Bidding Games. | Guy Avni, Thomas A. Henzinger, Ventsislav Chonev |
| 2017 | Towards an Efficient Tree Automata Based Technique for Timed Systems. | S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar |
| 2017 | On Petri Nets with Hierarchical Special Arcs. | S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep |
| 2017 | A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. | Ki Yung Ahn, Ross Horne, Alwen Tiu |
| 2017 | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2017 | Data Multi-Pushdown Automata. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2017 | Nash Equilibrium and Bisimulation Invariance. | Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | Controlling a Population. | Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert |
| 2016 | Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari |
| 2016 | Front Matter, Table of Contents, Preface, Conference Organization . |
401–425 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