The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CONCUR"( http://dblp.L3S.de/Venues/CONCUR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/concur

Publication years (Num. hits)
1990 (37) 1991 (38) 1992 (40) 1993 (38) 1994 (38) 1995 (41) 1996 (45) 1997 (29) 1998 (42) 1999 (39) 2000 (43) 2001 (39) 2002 (40) 2003 (34) 2004 (34) 2005 (43) 2006 (35) 2007 (34) 2008 (40) 2009 (42) 2010 (41) 2011 (37) 2012 (40) 2013 (39) 2014 (40) 2015 (40) 2016 (39) 2017 (42) 2018 (44) 2019 (43) 2020 (52) 2021 (38) 2022 (39)
Publication types (Num. hits)
inproceedings(1272) proceedings(33)
Venues (Conferences, Journals, ...)
CONCUR(1305)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 101 occurrences of 66 keywords

Results
Found 1305 publication records. Showing 1305 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001 Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove Half-Positional Objectives Recognized by Deterministic Büchi Automata. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla Sequential Decision Making With Information Asymmetry (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski, Piotr Hofman Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Mikhail A. Raskin, Christoph Welzel Regular Model Checking Upside-Down: An Invariant-Based Approach. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Lucas Bueri, Radu Iosif On an Invariance Problem for Parameterized Concurrent Systems. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Giulia Giusti On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Jean-François Raskin, Clément Tamines Pareto-Rational Verification. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sergio Rajsbaum Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi CONCUR Test-Of-Time Award 2022 (Invited Paper). Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Damien Pous, Jana Wagemaker Completeness Theorems for Kleene Algebra with Top. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik On the Axiomatisation of Branching Bisimulation Congruence over CCS. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Oscar Darwin, Stefan Kiefer On the Sequential Probability Ratio Test in Hidden Markov Models. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll 0001 Towards Concurrent Quantitative Separation Logic. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Alex Yakovlev Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Emmanuel Filiot, Edwin Hamel-De le Court Two-Player Boundedness Counter Games. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Philippa Gardner Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski Involved VASS Zoo (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke History-Deterministic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bharat Adsul, Paul Gastin, Saptarshi Sarkar 0001, Pascal Weil Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Naama Shamash Halevy Energy Games with Resource-Bounded Environments. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1S. Akshay 0001, Paul Gastin, R. Govind 0001, B. Srivathsan Simulations for Event-Clock Automata. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Shai Guendelman Concurrent Games with Multiple Topologies. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Stefan Kiefer, Qiyi Tang 0001 Strategies for MDP Bisimilarity Equivalence and Inequivalence. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Clément Aubert, Ross Horne, Christian Johansen Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Adriano Peron, César Sánchez Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian Complexity of Coverability in Depth-Bounded Processes. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski A Kleene Theorem for Higher-Dimensional Automata. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Slawomir Lasota 0001, Anca Muscholl (eds.) 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  BibTeX  RDF
1Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt Non-Deterministic Abstract Machines. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Asaf Yeshurun Determinization of One-Counter Nets. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou 0002 Generalised Multiparty Session Types with Crash-Stop Failures. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1James C. A. Main, Mickael Randour Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luca Ciccone, Luca Padovani An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti SMT-Based Model Checking of Max-Plus Linear Systems. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Raven Beutner, Bernd Finkbeiner A Temporal Logic for Strategic Hyperproperties. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stefan Kiefer, Pavel Semukhin, Cas Widdershoven Linear-Time Model Checking Branching Processes. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida CONCUR Test-Of-Time Award 2021 (Invited Paper). Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jakob Piribauer, Christel Baier, Nathalie Bertrand 0001, Ocan Sankur Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Richard Mayr, Eric Munday Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Léonard Brice, Jean-François Raskin, Marie van den Bogaard Subgame-Perfect Equilibria in Mean-Payoff Games. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1James C. A. Main, Mickael Randour, Jeremy Sproston Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf 0002 Decomposing Permutation Automata. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Vojtech Havlena, Ondrej Lengál Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Florian Bruse, Martin Lange A Decidable Non-Regular Modal Fixpoint Logic. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mrudula Balachander, Shibashis Guha, Jean-François Raskin Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh A Unifying Framework for Deciding Synchronizability. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian, K. S. Thejaswini Adaptive Synchronisation of Pushdown Automata. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Thorsten Wißmann, Stefan Milius, Lutz Schröder Explaining Behavioural Inequivalence Generically in Quasilinear Time. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi 0001 Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger Enforcing ω-Regular Properties in Markov Chains by Restarting. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Véronique Bruyère, Jean-François Raskin, Clément Tamines Stackelberg-Pareto Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey Generalising Projection in Asynchronous Multiparty Session Types. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Henning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder Nominal Büchi Automata with Name Allocation. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ming Xu 0010, Jingyi Mei, Ji Guan, Nengkun Yu Model Checking Quantum Continuous-Time Markov Chains. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Serge Haddad, Daniele Varacca (eds.) 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  BibTeX  RDF
1Simon Foster 0001, Chung-Kil Hur, Jim Woodcock Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Bastien Thomas, Josef Widder Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Simon Fowler 0001, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris Separating Sessions Smoothly. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Daniele Gorla Algebra and Coalgebra of Stream Products. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Jan Martens 0001, Erik P. de Vink Bisimulation by Partitioning Is Ω((m+n)log n). Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Christel 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. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rucha Kulkarni, Umang Mathur 0001, Andreas Pavlogiannis Dynamic Data-Race Detection Through the Fine-Grained Lens. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato Inclusion Testing of Büchi Automata Based on Well-Quasiorders. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aneesh K. Shetty, Shankara Narayanan Krishna, Georg Zetzsche Scope-Bounded Reachability in Valence Systems. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michal Ajdarów, Antonín Kucera 0001 Deciding Polynomial Termination Complexity for VASS Programs. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alexander Kozachinskiy Continuous Positional Payoffs. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove Arena-Independent Finite-Memory Determinacy in Stochastic Games. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke Transience in Countable MDPs. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rob van Glabbeek, Peter Höfner, Weiyou Wang Enabling Preserving Bisimulation Equivalence. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian, Igor Walukiewicz Characterizing Consensus in the Heard-Of Model. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Alain Finkel, Amrita Suresh Bounded Reachability Problems Are Decidable in FIFO Machines. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes On Privacy and Accuracy in Data Releases (Invited Paper). Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rob van Glabbeek Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski, Diego Figueira, Piotr Hofman Universality Problem for Unambiguous VASS. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi On the Representation of References in the Pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote Synthesis of Computable Regular Functions of Infinite Words. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke Parametrized Universality Problems for One-Counter Nets. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xinxin Liu 0009, Tingting Yu Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Stéphane Le Roux 0001, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove Games Where You Can Play Optimally with Arena-Independent Finite Memory. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Florian Horn 0001, Arnaud Sangnier Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Matteo Mio, Valeria Vignudelli Monads and Quantitative Equational Theories for Nondeterminism and Probability. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Emanuele D'Osualdo, Felix Stutz Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Amina Doumane, Damien Pous Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva 0001 CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Clément Aubert, Ioana Cristescu How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jérôme Leroux, Grégoire Sutre Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Paul C. Bell, Pavel Semukhin Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Marco Romanelli 0002 Modern Applications of Game-Theoretic Principles (Invited Paper). Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke Strategy Complexity of Parity Objectives in Countable MDPs. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Nathann Cohen, Guillermo A. Pérez 0001, Mahsa Shirmohammadi, James Worrell 0001 Coverability in 1-VASS with Disequality Tests. Search on Bibsonomy CONCUR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1305 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license