Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey |
Generalising Projection in Asynchronous Multiparty Session Types. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Henning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder |
Nominal Büchi Automata with Name Allocation. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ming Xu 0010, Jingyi Mei, Ji Guan, Nengkun Yu |
Model Checking Quantum Continuous-Time Markov Chains. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Serge Haddad, Daniele Varacca (eds.) |
32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. |
CONCUR |
2021 |
DBLP BibTeX RDF |
|
1 | Simon Foster 0001, Chung-Kil Hur, Jim Woodcock 0001 |
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Bastien Thomas, Josef Widder |
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Fowler 0001, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
Separating Sessions Smoothly. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Daniele Gorla |
Algebra and Coalgebra of Stream Products. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Jan Martens 0001, Erik P. de Vink |
Bisimulation by Partitioning Is Ω((m+n)log n). |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001 |
The Orbit Problem for Parametric Linear Dynamical Systems. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rucha Kulkarni, Umang Mathur 0001, Andreas Pavlogiannis |
Dynamic Data-Race Detection Through the Fine-Grained Lens. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato |
Inclusion Testing of Büchi Automata Based on Well-Quasiorders. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aneesh K. Shetty, S. Krishna 0004, Georg Zetzsche |
Scope-Bounded Reachability in Valence Systems. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michal Ajdarów, Antonín Kucera 0001 |
Deciding Polynomial Termination Complexity for VASS Programs. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kozachinskiy |
Continuous Positional Payoffs. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
Arena-Independent Finite-Memory Determinacy in Stochastic Games. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
Transience in Countable MDPs. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
Enabling Preserving Bisimulation Equivalence. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen |
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Igor Walukiewicz |
Characterizing Consensus in the Heard-Of Model. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Alain Finkel, Amrita Suresh 0001 |
Bounded Reachability Problems Are Decidable in FIFO Machines. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes |
On Privacy and Accuracy in Data Releases (Invited Paper). |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek |
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Diego Figueira, Piotr Hofman |
Universality Problem for Unambiguous VASS. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
On the Representation of References in the Pi-Calculus. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
Synthesis of Computable Regular Functions of Infinite Words. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
Parametrized Universality Problems for One-Counter Nets. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xinxin Liu 0009, Tingting Yu |
Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Stéphane Le Roux 0001, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
Games Where You Can Play Optimally with Arena-Independent Finite Memory. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Horn 0001, Arnaud Sangnier |
Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio, Valeria Vignudelli |
Monads and Quantitative Equational Theories for Nondeterminism and Probability. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele D'Osualdo, Felix Stutz |
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane, Damien Pous |
Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva 0001 |
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Ioana Cristescu |
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Grégoire Sutre |
Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Bell, Pavel Semukhin |
Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi, Marco Romanelli 0002 |
Modern Applications of Game-Theoretic Principles (Invited Paper). |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
Strategy Complexity of Parity Objectives in Countable MDPs. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Nathann Cohen, Guillermo A. Pérez 0001, Mahsa Shirmohammadi, James Worrell 0001 |
Coverability in 1-VASS with Disequality Tests. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne |
Session Subtyping and Multiparty Compatibility Using Circular Sequents. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Fabian Reiter |
A Classification of Weak Asynchronous Models of Distributed Computing. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Adsul, Paul Gastin, Saptarshi Sarkar 0001, Pascal Weil |
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Doriana Medic |
A General Approach to Derive Uncontrolled Reversible Semantics. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Stefan Kiefer, Andrzej S. Murawski, David Purser |
The Big-O Problem for Labelled Markov Chains and Weighted Automata. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Thomas A. Henzinger |
A Survey of Bidding Games on Graphs (Invited Paper). |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eike Neumann, Joël Ouaknine, James Worrell 0001 |
On Ranking Function Synthesis and Termination for Polynomial Programs. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
Probabilistic Analysis of Binary Sessions. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
On the Separability Problem of String Constraints. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Igor Konnov 0001, Laura Kovács (eds.) |
31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). |
CONCUR |
2020 |
DBLP BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001, Ranko Lazic 0001, Jérôme Leroux, Filip Mazowiecki |
Reachability in Fixed Dimension Vector Addition Systems with States. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Wild, Lutz Schröder |
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Model-Free Reinforcement Learning for Stochastic Parity Games. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Algebraic Invariants for Linear Hybrid Automata. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Barbara König 0001, Tommaso Padoan |
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dan Plyukhin, Gul Agha |
Scalable Termination Detection for Distributed Actor Systems. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001 |
Weighted Transducers for Robustness Verification. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Frank Pfenning |
Session Types with Arithmetic Refinements. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
Reaching Your Goal Optimally by Playing at Random with No Memory. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem |
Propositional Dynamic Logic for Hyperproperties. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Partially Observable Concurrent Kleene Algebra. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato |
Decidability and Synthesis of Abstract Inductive Invariants. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Slawomir Lasota 0001, Radoslaw Piórkowski |
Determinisability of One-Clock Timed Automata. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Damien Busatto-Gaston, Debraj Chakraborty 0002, Jean-François Raskin |
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Moerman, Matteo Sammartino |
Residual Nominal Automata. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang |
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza |
Flatness and Complexity of Immediate Observation Petri Nets. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia |
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ayrat Khalimov 0001, Orna Kupferman |
Register-Bounded Synthesis. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
Determinacy in Discrete-Bidding Infinite-Duration Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Quentin Hautem, Mickael Randour, Jean-François Raskin |
Energy Mean-Payoff Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Tobias Meggendorfer |
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Long-Run Average Behavior of Vector Addition Systems with States. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |
Translating Asynchronous Games for Distributed Synthesis. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
Equilibrium Design for Concurrent Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Nir Piterman |
Combinations of Qualitative Winning for Stochastic Parity Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob van Glabbeek (eds.) |
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. |
CONCUR |
2019 |
DBLP BibTeX RDF |
|
1 | Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol |
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
A Sound Algorithm for Asynchronous Session Subtyping. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Filip Mazowiecki, Michal Pilipczuk |
Reachability for Bounded Branching VASS. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
Synthesis of Data Word Transducers. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba |
Partial Order Reduction for Reachability Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Lutz Schröder |
Game-Based Local Model Checking for the Coalgebraic mu-Calculus. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Piotr Hofman, Patrick Totzke |
Timed Basic Parallel Processes. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop |
Approximate Learning of Limit-Average Automata. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen |
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Winkler, Sebastian Junges, Guillermo A. Pérez 0001, Joost-Pieter Katoen |
On the Complexity of Reachability in Parametric Markov Decision Processes. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Javier Esparza, Stefan Jaax |
Expressive Power of Broadcast Consensus Protocols. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard |
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski 0001, Fabio Zanasi |
Bialgebraic Semantics for String Diagrams. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva 0001, Jana Wagemaker, Fabio Zanasi |
Kleene Algebra with Observations. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Igor Konnov 0001, Marijana Lazic, Josef Widder |
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
Robustness Against Transactional Causal Consistency. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | R. Govind 0001, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Revisiting Local Time Semantics for Networks of Timed Automata. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|