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 |
|---|---|---|
| 2010 | Multipebble Simulations for Alternating Automata - (Extended Abstract). | Lorenzo Clemente, Richard Mayr |
| 2010 | Obliging Games. | Krishnendu Chatterjee, Florian Horn, Christof Lding |
| 2010 | Mean-Payoff Automaton Expressions. | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
| 2010 | Simulation Distances. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna |
| 2010 | Session Types for Access and Information Flow Control. | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
| 2010 | Session Types as Intuitionistic Linear Propositions. | Lus Caires, Frank Pfenning |
| 2010 | Stochastic Real-Time Games with Qualitative Timed Automata Objectives. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Antonn Kucera, Vojtech Rehk |
| 2010 | Nash Equilibria for Reachability Objectives in Multi-player Timed Games. | Patricia Bouyer, Romain Brenguier, Nicolas Markey |
| 2010 | Bisimilarity of One-Counter Processes Is PSPACE-Complete. | Stanislav Bhm, Stefan Gller, Petr Jancar |
| 2010 | Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen |
| 2010 | A Theory of Design-by-Contract for Distributed Multiparty Interactions. | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | A Logic for True Concurrency. | Paolo Baldan, Silvia Crafa |
| 2010 | A Geometric Approach to the Problem of Unique Decomposition of Processes. | Thibaut Balabonski, Emmanuel Haucourt |
| 2010 | From Multi to Single Stack Automata. | Mohamed Faouzi Atig |
| 2010 | Information Flow in Interactive Systems. | Mrio S. Alvim, Miguel E. Andrs, Catuscia Palamidessi |
| 2010 | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2010 | Learning I/O Automata. | Fides Aarts, Frits W. Vaandrager |
| 2009 | Strict Divergence for Probabilistic Timed Automata. | Jeremy Sproston |
| 2009 | Query-Based Model Checking of Ad Hoc Network Protocols. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2009 | Counterexamples in Probabilistic LTL Model Checking for Markov Chains. | Matthias Schmalz, Daniele Varacca, Hagen Vlzer |
| 2009 | A General Testability Theory. | Ismael Rodrguez |
| 2009 | Weak Time Petri Nets Strike Back!. | Pierre-Alain Reynier, Arnaud Sangnier |
| 2009 | Computing Stuttering Simulations. | Francesco Ranzato, Francesco Tapparo |
| 2009 | BlenX Static and Dynamic Semantics. | Corrado Priami, Paola Quaglia, Alessandro Romanel |
| 2009 | On Convergence of Concurrent Systems under Regular Interactions. | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan |
676–700 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