SHARE Virtual Discovery Environment

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.

Export / Download (0)

Esporta in PDF
Esporta in Excel
Esporta in HTML
Esporta in Marc21 (binary)
Esporta in MARC XML
Export in Marc21 (text)
Invia tramite E-Mail

Biblioteca

New York University (17)
University of Alberta / NEOS Library Consortium (10)
University of Chicago (9)
Stanford University (7)
University of Pennsylvania (3)
Duke University (1)

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / Matthew Hague, Igor Potapov (eds.).

[RP (Workshop) (11th : 2017 : London, England)]

Materiale a stampa

Lo trovi qui: University of Chicago

Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.).

[RP (Workshop) (10th : 2016 : Ålborg, Denmark)]

Materiale a stampa

Lo trovi qui: University of Chicago

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).

[RP (Workshop) (5th : 2011 : Genoa, Italy)]

Materiale a stampa

Lo trovi qui: New York University

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / Joël Ouaknine, Igor Potapov, James Worrell (eds.).

[RP (Workshop) (8th : 2014 : Oxford, England)]

Materiale a stampa

Lo trovi qui: New York University

Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / Matthew Hague, Igor Potapov (eds.).

[RP (Workshop) (11th : 2017 : London, England)]

Materiale a stampa

Lo trovi qui: University of Alberta / NEOS Library Consortium

Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov, (eds.).

[RP (Workshop) (3rd : 2009 : Palaiseau, France)]

Materiale a stampa

Lo trovi qui: New York University

Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / Igor Potapov, Pierre-Alain Reynier (eds.).

[RP (Workshop) (12th : 2018 : Marseille, France)]

Materiale a stampa

Lo trovi qui: University of Alberta / NEOS Library Consortium

Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).

[RP (Workshop) (6th : 2012 : Bordeaux, France)]

Materiale a stampa

Lo trovi qui: Stanford University

Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).

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

[RP (Workshop) (7th : 2013 : Uppsala, Sweden)]

Materiale a stampa

Lo trovi qui: New York University

1 2 3 4 5

Formato

Materiale a stampa (47)

Livello bibliografico

Monografie (47)

Data

Data di pubblicazione

2012 (6)
2009 (5)
2010 (5)
2011 (5)
2013 (5)
2014 (5)
2015 (5)
2019 (4)
2016 (3)
2017 (3)
2018 (1)

Creatore	[RP (Workshop) (11th : 2017 : London, England)]
Estensione	1 online resource (xv, 193 pages) : illustrations.
Accesso persona	Hague, Matthew, editor Potapov, Igor, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319670898 3319670891 9783319670881 3319670883
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UCHICAGO-11361262

Creatore	[RP (Workshop) (10th : 2016 : Ålborg, Denmark)]
Estensione	1 online resource (xiv, 193 pages) : illustrations.
Accesso persona	Larsen, K. G. (Kim G.), 1957-editor. Potapov, Igor, editor Srba, Jiří, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319459943 3319459945 9783319459936
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	The Ideal Theory for WSTS -- Rare events for Statistical Model Checking -- On the Complexity of Resource-Bounded Logics -- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs -- Reachability Predicates for Graph Assertions -- Occam's Razor Applied to the Petri Net Coverability Problem -- Safety Property-driven Stubborn Sets -- Characterizing Word Problems of Groups -- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations -- Decidable Models of Integer-manipulating Programs with Recursive Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words.
Record Nr.	UCHICAGO-11266882

Creatore	[RP (Workshop) (5th : 2011 : Genoa, Italy)]
Estensione	1 online resource (xii, 244 pages).
Disciplina	003
Accesso persona	Delzanno, Giorgio Potapov, Igor
Genere/Forma	Electronic books Conference papers and proceedings
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 364224288X 9783642242878 3642242871
Classificazione	53.89
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	NYU-006178508

Creatore	[RP (Workshop) (8th : 2014 : Oxford, England)]
Estensione	1 online resource (xx, 246 pages) : illustrations.
Disciplina	004
Accesso persona	Ouaknine, Joël, editor Potapov, Igor, editor Worrell, James, editor
Genere/Forma	Electronic books Conference papers and proceedings
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. Intro; Preface; Organization; Algorithms for Branching Markov Decision Processes; References; Walking with Data - Where Does it Stop; References; Complexity Bounds for Ordinal-Based Termination; On the Subtle Interaction Between Reachability and Liveness; Table of Contents; Complexity Bounds for Ordinal-Based Termination; 1 Introduction; 2 Well Quasi Orders and Termination; 2.1 Well Quasi Orders; 2.2 Termination; 2.3 Ordinals; 3 Complexity Bounds; 3.1 Controlled Ranking Functions; 3.2 Hardy and Cichon H́ierarchies; 3.3 A Length Function Theorem for ε0; 4 Complexity Classification
Record Nr.	NYU-006491623

Creatore	[RP (Workshop) (11th : 2017 : London, England)]
Estensione	1 online resource (xv, 193 pages) : illustrations.
Disciplina	004
Accesso persona	Hague, Matthew, editor Potapov, Igor, editor
Genere/Forma	Conference papers and proceedings
ISBN	9783319670898 3319670891 9783319670881
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UALBERTA-8063096

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 Bérard, Serge Haddad, Aleksandra Jovanović, 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