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 : 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 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. NYU-006480574
[RP (Workshop) (10th : 2016 : Ålborg, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Reachability problems : 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 (xii, 148 p.) : ill.
Disciplina 004.2
Accesso persona Finkel, A. (Alain), 1958-
Leroux, Jérôme
Potapov, Igor
Genere/Forma Electronic books
ISBN 9783642326295
3642326293
9783642335129
3642335128
9783642335112
364233511X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-005758415
[RP (Workshop) (6th : 2012 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: Duke 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
Reachability problems [electronic resource] : 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 [electronic resource] : 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 p.) : col. ill.
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. NYU-004459004
[RP (Workshop) (9th : 2015 : Warsaw, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov, (eds.).
Reachability problems : third 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.
Disciplina 003
Accesso persona Bournez, Olivier
Potapov, Igor
ISBN 9783642044205
3642044204
3642044190
9783642044199
Classificazione TP302-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7956787
[RP (Workshop) (3rd : 2009 : Palaiseau, France)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).
Reachability problems : 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 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-004371830
[RP (Workshop) (5th : 2011 : Genoa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).
Reachability problems : 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 pages).
Disciplina 003
Accesso persona Delzanno, Giorgio
Potapov, Igor
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. STANFORD-a9393911
[RP (Workshop) (5th : 2011 : Genoa, Italy)]  
Materiale a stampa
Lo trovi qui: Stanford University