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.
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 | |
