top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).
Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).
Creatore [RP (Workshop) (3rd : 2009 : Palaiseau, France)]
Estensione 1 online resource (x, 232 pages) : illustrations.
Accesso persona Bournez, Olivier
Potapov, Igor
Genere/Forma Conference papers and proceedings
ISBN 9783642044205
3642044204
9783642044199
3642044190
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004616367
[RP (Workshop) (3rd : 2009 : Palaiseau, France)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings / Parosh Aziz Abdulla, Igor Potapov (eds.).
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings / Parosh Aziz Abdulla, Igor Potapov (eds.).
Creatore [RP (Workshop) (7th : 2013 : Uppsala, Sweden)]
Estensione 1 online resource (xii, 221 pages) : illustrations (some color).
Disciplina 004
Accesso persona Abdulla, Parosh Aziz, editor
Potapov, Igor, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
ISBN 9783642410369
3642410367
3642410359
9783642410352
Classificazione 53.89
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Robustness in Timed Automata / Patricia Bouyer, Nicolas Markey, Ocan Sankur -- Automated Verification of Concurrent Software / Daniel Kroening -- Provenance Verification / Rupak Majumdar, Roland Meyer, Zilong Wang -- Reachability Modulo Theories / Akash Lal, Shaz Qadeer -- The Dynamic Complexity of the Reachability Problem on Graphs / Thomas Schwentick -- Reachability Problems for Hierarchical Piecewise Constant Derivative Systems / Paul C. Bell, Shang Chen -- Parametric Interrupt Timed Automata / Beatrice Bérard, Serge Haddad, Aleksandra Jovanović, Didier Lime -- Deciding Continuous-Time Metric Temporal Logic with Counting Modalities / Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro -- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters / Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga -- Modular Synthesis with Open Components / Ilaria De Crescenzo, Salvatore La Torre -- Parameterized Verification of Broadcast Networks of Register Automata / Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso -- Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games / Søren Kristoffer Stiil Frederiksen, Peter Bro Miltersen -- Stability Controllers for Sampled Switched Systems / Laurent Fribourg, Romain Soulat -- Formal Languages, Word Problems of Groups and Decidability / Sam A.M. Jones, Richard M. Thomas -- Verification of Reachability Properties for Time Petri Nets / Kais Klai, Naim Aber, Laure Petrucci -- Branching-Time Model Checking Gap-Order Constraint Systems / Richard Mayr, Patrick Totzke -- Constructing Minimal Coverability Sets / Artturi Piipponen, Antti Valmari -- On the Complexity of Counter Reachability Games / Julien Reichert -- Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities / Ernst W. Mayr, Jeremias Weihmann.
Record Nr. NYU-004661593
[RP (Workshop) (7th : 2013 : Uppsala, Sweden)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
Creatore [RP (Workshop) (9th : 2015 : Warsaw, Poland)]
Estensione 1 online resource (xx, 179 pages) : color illustrations.
Disciplina 004.0151
Accesso persona Bojańczyk, Mikołaj, editor
Lasota, Sławomir, editor
Potapov, Igor, editor
Genere/Forma Electronic books
ISBN 9783319245379
3319245376
9783319245362
3319245368
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006474004
[RP (Workshop) (9th : 2015 : Warsaw, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.).
Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.).
Creatore [RP (Workshop) (10th : 2016 : Ålborg, Denmark)]
Estensione 1 online resource (xiv, 193 pages) : illustrations.
Disciplina 004
Accesso persona Larsen, K. G. (Kim G.), 1957-editor.
Potapov, Igor, editor
Srba, Jiří, editor
Genere/Forma Conference papers and proceedings
ISBN 9783319459943
3319459945
9783319459936
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7663266
[RP (Workshop) (10th : 2016 : Ålborg, Denmark)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
Creatore [RP (Workshop) (9th : 2015 : Warsaw, Poland)]
Estensione 1 online resource (xx, 179 pages) : color illustrations.
Disciplina 004.0151
Accesso persona Bojańczyk, Mikołaj, editor
Lasota, Sławomir, editor
Potapov, Igor, editor
ISBN 9783319245379
3319245376
9783319245362
3319245368
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a11641269
[RP (Workshop) (9th : 2015 : Warsaw, Poland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.).
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.).
Creatore [RP (Workshop) (8th : 2014 : Oxford, England)]
Estensione 1 online resource (xx, 246 pages) : illustrations.
Disciplina 004
Accesso persona Ouaknine, Joël, editor
Potapov, Igor, editor
Worrell, James, editor
ISBN 9783319114392
3319114395
3319114387
9783319114385
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Complexity Bounds for Ordinal-Based Termination -- On The Complexity of Bounded Time Reachability for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives -- Parameterized Verification of Communicating Automata under Context Bounds -- Regular Strategies in Pushdown Reachability Games -- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations -- Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector Addition Systems with States -- Reachability in MDPs: Refining Convergence of Value Iteration -- On the Expressiveness of Metric Temporal Logic over Bounded Timed Words -- Trace Inclusion for One-Counter Nets Revisited -- Mean-Payoff Games with Partial-Observation -- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector Addition Systems -- Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems -- Transformations for Compositional Verification of Assumption-Commitment Properties -- Compositional Reachability in Petri Nets.
Record Nr. STANFORD-a10668921
[RP (Workshop) (8th : 2014 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: Stanford University
Reachability problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).
Reachability problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).
Creatore [RP (Workshop) (5th : 2011 : Genoa, Italy)]
Estensione 1 online resource (xii, 244 p.)
Disciplina 003
Accesso persona Delzanno, Giorgio
Potapov, Igor
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642242885 (electronic bk.)
364224288X (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089223503681
[RP (Workshop) (5th : 2011 : Genoa, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Reachability problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Reachability problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Creatore [RP (Workshop) (6th : 2012 : Bordeaux, France)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Finkel, A. (Alain), 1958-
Leroux, Jérôme
Potapov, Igor
Accesso convegno RP 2012
ISBN 3642335128 (electronic bk.)
9783642335129 (electronic bk.)
9783642335112
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fraenkel-Mostowski Sets with Non-homogeneous Atoms / Mikołaj Bojańczyk and Sławomir Lasota -- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata / Sylvain Salvati and Igor Walukiewicz -- Decision Problems for Linear Recurrence Sequences / Joël Ouaknine and James Worrell -- Playing Games with Counter Automata / Antonín Kučera -- LTL-Model-Checking via Model Composition / Ingo Felscher -- On the Relationship between Reachability Problems in Timed and Counter Automata / Christoph Haase, Joël Ouaknine and James Worrell -- Smooth Sand Piles / Stefano Brocchi and Paolo Massazza -- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis / Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al. -- Robustness of Time Petri Nets under Guard Enlargement / S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier -- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities / Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta -- On the Length of Knot Transformations via Reidemeister Moves I and II / Rafiq Saleh -- Invariants for LTI Systems with Uncertain Input / Paul Hänsch and Stefan Kowalewski.
Record Nr. UALBERTA-5888236
[RP (Workshop) (6th : 2012 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings / Antonin Kucera, Igor Potapov (eds.).
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings / Antonin Kucera, Igor Potapov (eds.).
Creatore [RP (Workshop) (4th : 2010 : Brno, Czech Republic)]
Estensione 1 online resource (x, 197 pages) : illustrations.
Accesso persona Kučera, Antonín, 1971-
Potapov, Igor
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642153495
3642153496
9783642153488
3642153488
Classificazione 53.89
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata -- Symbolic and Compositional Reachability for Timed Automata -- Temporal Logics over Linear Time Domains Are in PSPACE -- Lossy Counter Machines Decidability Cheat Sheet -- Behavioral Cartography of Timed Automata -- On the Joint Spectral Radius for Bounded Matrix Languages -- Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P -- Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata -- Rewriting Systems for Reachability in Vector Addition Systems with Pairs -- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions -- Depth Boundedness in Multiset Rewriting Systems with Name Binding -- Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA -- Efficient Graph Reachability Query Answering Using Tree Decomposition.
Record Nr. UCHICAGO-11074772
[RP (Workshop) (4th : 2010 : Brno, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.).
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.).
Creatore [RP (Workshop) (8th : 2014 : Oxford, England)]
Estensione 1 online resource (xx, 246 pages) : illustrations.
Disciplina 004
Accesso persona Ouaknine, Joël, editor
Potapov, Igor, editor
Worrell, James, editor
Accesso convegno RP (Workshop)
ISBN 9783319114392 (electronic bk.)
3319114395 (electronic bk.)
9783319114385
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-6720542
[RP (Workshop) (8th : 2014 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium