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 |
|---|---|---|
| 2008 | Quasi-Static Scheduling of Communicating Tasks. | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
| 2008 | On the Minimisation of Acyclic Models. | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
| 2008 | A Rule Format for Associativity. | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |
| 2008 | Environment Assumptions for Synthesis. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | Mixing Lossy and Perfect Fifo Channels. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | Least Upper Bounds for Probability Measures and Their Applications to Abstractions. | Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan |
| 2008 | Structured Interactional Exceptions in Session Types. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2008 | Modeling Computational Security in Long-Lived Systems. | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
| 2008 | Service Choreography and Orchestration with Conversations. | Tevfik Bultan |
| 2008 | SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2008 | A Notion of Glue Expressiveness for Component-Based Systems. | Simon Bliudze, Joseph Sifakis |
| 2008 | On the Construction of Sorted Reactive Systems. | Lars Birkedal, Sren Debois, Thomas T. Hildebrandt |
| 2008 | Global Progress in Dynamically Interleaved Multiparty Sessions. | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2008 | Strategy Construction for Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
| 2008 | Unfolding-Based Diagnosis of Systems with an Evolving Topology. | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara Knig |
| 2008 | A Context-Free Process as a Pushdown Automaton. | Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg |
| 2008 | On the Reachability Analysis of Acyclic Networks of Pushdown Systems. | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
| 2008 | Distributed Timed Automata with Independently Evolving Clocks. | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2008 | Spatial and Behavioral Types in the Pi-Calculus. | Lucia Acciai, Michele Boreale |
| 2008 | R-Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2008 | A Model of Dynamic Separation for Transactional Memory. | Martn Abadi, Tim Harris, Katherine F. Moore |
| 2007 | Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. | Bow-Yaw Wang |
| 2007 | On the Expressive Power of Global and Local Priority in Process Calculi. | Cristian Versari, Nadia Busi, Roberto Gorrieri |
| 2007 | A Marriage of Rely/Guarantee and Separation Logic. | Viktor Vafeiadis, Matthew J. Parkinson |
751–775 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