skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Risutati 1 - 10 di 332  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
25 years of model checking : history, achievements, perspectives
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

25 years of model checking : history, achievements, perspectives

GRUMBERG, Orna ; VEITH, Helmut

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164664390003316()

2
Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings

International conference, LPAR 2008 <15. ; 2008 ; Doha> ; CERVESATO, Iliano ; VEITH, Helmut ; VORONKOVO, Andrei

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2152513940003316()

3
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of automated reasoning, 2017, Vol.59 (1), p.3-45 [Rivista Peer Reviewed]

Fulltext disponibile

4
Parameterized model checking of rendezvous systems
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2017, Vol.31 (3), p.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

5
Modular verification of software components in C
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Modular verification of software components in C

Chaki, S ; Clarke, E.M ; Groce, A ; Jha, S ; Veith, H

IEEE Transactions on Software Engineering, 2004-06, Vol.30 (6), p.388-402 [Rivista Peer Reviewed]

Fulltext disponibile

6
Preface of the Special Issue in Memoriam Helmut Veith
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Preface of the Special Issue in Memoriam Helmut Veith

Gottlob, Georg ; Henzinger, Thomas A ; Weissenbacher, Georg ; Weissenbacher, Georg ; Gottlob, Georg ; Henzinger, Thomas A

Formal Methods in System Design, 2017-11, Vol.51 (2), p.267-269 [Rivista Peer Reviewed]

Fulltext disponibile

7
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and computation, 2017-02, Vol.252, p.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

8
Closure properties and complexity of rational sets of regular languages
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Closure properties and complexity of rational sets of regular languages

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut

Theoretical computer science, 2015-11-09, Vol.605, p.62-79 [Rivista Peer Reviewed]

Fulltext disponibile

9
Succinct Representation, Leaf Languages, and Projection Reductions
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinct Representation, Leaf Languages, and Projection Reductions

Veith, Helmut

Information and computation, 1998-05-01, Vol.142 (2), p.207-236 [Rivista Peer Reviewed]

Fulltext disponibile

10
Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018

Konnov, Igor ; Konnov, Igor

Formal Aspects of Computing, 2019, p.455-456 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 332  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (200)
  2. Risorse online (330)
  3. In biblioteca (2)

Affina i risultati

Nuove accessioni 

  1. Dagli Ultimi 3 Mesi 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del1980 
  2. 1980-1995 
  3. 1996-2003 
  4. 2004-2012 
  5. Dopo il 2012 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...