| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jérémy Ledent, Samuel Mimram |
A Sound Foundation for the Topological Approach to Task Solvability.  |
CONCUR  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Dorsch, Stefan Milius, Lutz Schröder |
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare, Qiyi Tang 0001, Franck van Breugel |
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Andrzej S. Murawski, David Purser |
Asymmetric Distances for Approximate Differential Privacy. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Patricia Bouyer, Anirban Majumdar 0002 |
Reconfiguration and Message Losses in Parameterized Broadcast Networks. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc de Visme |
Event Structures for Mixed Choice. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska |
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, M. Praveen |
Verification of Flat FIFO Systems. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Karoliina Lehtinen |
Good for Games Automata: From Nondeterminism to Alternation. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine |
Program Invariants (Invited Talk). |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Maarand, Tarmo Uustalu |
Reordering Derivatives of Trace Closures of Regular Languages. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen |
Alternating Weak Automata from Universal Trees. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Jorge A. Pérez 0001, Frank Pfenning, Bernardo Toninho |
Domain-Aware Session Types. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Slawomir Lasota 0001, Roland Meyer 0001, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan |
Regular Separability of Well-Structured Transition Systems. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
Logics Meet 1-Clock Alternating Timed Automata. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy |
Verification of Immediate Observation Population Protocols. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer 0001, Sebastian Muskalla, Georg Zetzsche |
Bounded Context Switching for Valence Systems. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup, Christian Rosenke |
Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 |
Relating Syntactic and Semantic Perturbations of Hybrid Automata. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo |
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial). |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grigore, Stefan Kiefer |
Selective Monitoring. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
Universal Safety for Timed Petri Nets is PSPACE-complete. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Polyakov, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang |
Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Quentin Hautem, Jean-François Raskin |
Parameterized complexity of games with monotonically ordered omega-regular objectives. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Alexej Rotar |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Blondin, Javier Esparza, Antonín Kucera 0001 |
Automatic Analysis of Expected Termination Time for Population Protocols. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Sayan Mukherjee 0002, B. Srivathsan |
Reachability in Timed Automata with Diagonal Constraints. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Marie Fortin, Paul Gastin |
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before". |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001, Julian Jakob, Renato Neves |
A Semantics for Hybrid Iteration. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Brengos |
A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
Synchronizing the Asynchronous. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kartik Nagar, Suresh Jagannathan |
Automated Detection of Serializability Violations Under Weak Consistency. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-To Techniques for Behavioural Metrics via Fibrations. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Michaliszyn, Jan Otop |
Non-deterministic Weighted Automata on Random Words. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
On Runtime Enforcement via Suppressions. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Doumane, Damien Pous |
Completeness for Identity-free Kleene Lattices. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
The Siren Song of Temporal Synthesis (Invited Talk). |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Guillermo A. Pérez 0001, Jean-François Raskin |
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Hofman, Slawomir Lasota 0001 |
Linear Equations with Ordered Data. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Gorlin, C. R. Ramakrishnan 0001 |
Separable GPL: Decidable Model Checking with More Non-Determinism. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Lijun Zhang 0001 (eds.) |
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China |
CONCUR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia 0001 |
Progress-Preserving Refinements of CTA. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Verifying Quantitative Temporal Properties of Procedural Programs. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulin Fournier, Hugo Gimbert |
Alternating Nonzero Automata. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jure Kukovec, Igor Konnov 0001, Josef Widder |
Reachability in Parameterized Systems: All Flavors of Threshold Automata. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001, Christina Mika-Michalski |
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng |
Bisimulations for Probabilistic and Quantum Processes (Invited Paper). |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König 0001 |
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiyi Tang 0001, Franck van Breugel |
Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Balzer, Frank Pfenning, Bernardo Toninho |
A Universal Session Type for Untyped Asynchronous Communication. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell 0001 |
Effective Divergence Analysis for Linear Recurrence Sequences. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob van Glabbeek |
Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Blondin, Christoph Haase, Filip Mazowiecki |
Affine Extensions of Integer Vector Addition Systems with States. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard |
The Complexity of Rational Synthesis for Concurrent Games. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sorensen 0001, Hugues Evrard, Alastair F. Donaldson |
GPU Schedulers: How Fair Is Fair Enough?. |
CONCUR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar |
Towards an Efficient Tree Automata Based Technique for Timed Systems. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
Divergence and Unique Solution of Equations. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas David 0002, Claude Jard, Didier Lime, Olivier H. Roux |
Coverability Synthesis in Parametric Petri Nets. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Higher-Order Linearisability. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Miheer Dewaskar, Blaise Genest, Hugo Gimbert |
Controlling a Population. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxi Fu |
On the Power of Name-Passing Communication. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ki Yung Ahn, Ross Horne, Alwen Tiu |
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep |
On Petri Nets with Hierarchical Special Arcs. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
Concurrent Reversible Sessions. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiyi Tang 0001, Franck van Breugel |
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Thomas A. Henzinger, Ventsislav Chonev |
Infinite-Duration Bidding Games. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Zachary Kincaid |
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski 0001 |
Refinement for Signal Flow Graphs. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Schlachter, Harro Wimmel |
k-Bounded Petri Net Synthesis from Modal Transition Systems. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer 0001, Uwe Nestmann (eds.) |
28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany |
CONCUR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Alexandra Silva 0001, Ana Sokolova |
The Power of Convex Algebras. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Karin Quaas, Arnaud Sangnier |
The Complexity of Flat Freeze LTL. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng 0001, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
Model Checking Omega-regular Properties for Quantum Markov Chains . |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén |
Rule Formats for Nominal Process Calculi. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
Nash Equilibrium and Bisimulation Invariance. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Jean Mairesse, Michèle Soria |
Uniform Sampling for Networks of Automata. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongseok Yang |
Probabilistic Programming (Invited Talk). |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Serge Haddad, Vincent Jugé |
Unbounded Product-Form Petri Nets. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
Bidirectional Nested Weighted Automata. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Gal Vardi |
Flow Logic. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik |
Divide and Congruence III: Stability & Divergence. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanaël Fijalkow, Cristian Riveros, James Worrell 0001 |
Probabilistic Automata of Bounded Ambiguity. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Constantin Enea, Chao Wang 0069 |
Checking Linearizability of Concurrent Priority Queues. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Brunet, Damien Pous, Georg Struth |
On Decidability of Concurrent Kleene Algebra. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chatain, Loïc Paulevé |
Goal-Driven Unfolding of Petri Nets. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Fu Song, Zhilin Wu |
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur |
Admissibility in Games with Imperfect Information (Invited Talk). |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
Model-Checking Counting Temporal Logics on Flat Structures. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingzhang Huang, Qiang Yin 0002 |
Two Lower Bounds for BPA. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
Algebraic Laws for Weak Consistency. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
Efficient Coalgebraic Partition Refinement. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
Data Multi-Pushdown Automata. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen 0001, John Wickerson |
Forward Progress on GPU Concurrency (Invited Talk). |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza |
Consistently-Detecting Monitors. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz |
Soundness in Negotiations. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license