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 |
|---|---|---|
| 2006 | Some Remarks on Definability of Process Graphs. | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
| 2006 | Liveness, Fairness and Impossible Futures. | Rob J. van Glabbeek, Marc Voorhoeve |
| 2006 | Checking a Mutex Algorithm in a Process Algebra with Fairness. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2006 | On Finite Alphabets and Infinite Bases III: Simulation. | Taolue Chen, Wan J. Fokkink |
| 2006 | Dynamic Access Control in a Concurrent Object Calculus. | Avik Chaudhuri |
| 2006 | Strategy Improvement for Stochastic Rabin and Streett Games. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | Encoding CDuce in the Cpi-Calculus. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
| 2006 | Event Structure Semantics for Nominal Calculi. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2006 | Reachability in Recursive Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera |
| 2006 | Controller Synthesis for MTL Specifications. | Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier |
| 2006 | Sortings for Reactive Systems. | Lars Birkedal, Sren Debois, Thomas T. Hildebrandt |
| 2006 | Concurrent Rewriting for Graphs with Equivalences. | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
| 2006 | A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. | Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
| 2006 | Proving Liveness by Backwards Reachability. | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
| 2005 | Defining Fairness. | Hagen Vlzer, Daniele Varacca, Ekkart Kindler |
| 2005 | Selecting Theories and Recursive Protocols. | Tomasz Truderung |
| 2005 | Model Checking for | Alwen Fernanto Tiu |
| 2005 | Concurrent Clustered Programming. | Vijay A. Saraswat, Radha Jagadeesan |
| 2005 | Games Other People Play. | Christos H. Papadimitriou |
| 2005 | On Probabilistic Program Equivalence and Refinement. | Andrzej S. Murawski, Jol Ouaknine |
| 2005 | SOS for Higher Order Processes. | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
| 2005 | A New Modality for Almost Everywhere Properties in Timed Automata. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2005 | Synthesis of Distributed Systems from Knowledge-Based Specifications. | Ron van der Meyden, Thomas Wilke |
| 2005 | Multiport Interaction Nets and Concurrency. | Damiano Mazza |
| 2005 | Taming Interface Specifications. | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
826–850 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