skip to main content
Lingue:

Risutati 1 - 10 di 21  per Ricerca globale

Risultati 1 2 3 next page
Mostra solo
Filtrati per: Data di pubblicazione: 2010-2015 rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Special Issue: Games in Verification

Veith, Helmut

Journal of Computer and System Sciences, 2012, Vol.78(2), pp.393-393 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Fulltext disponibile

3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Monadic second order finite satisfiability and unbounded tree-width

Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Concept of Variable Roles and its Use in Software Analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

6
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, 09 November 2015, Vol.605, pp.62-79 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with reachability

Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Zuleger, Florian ; Gulwani, Sumit ; Sinn, Moritz ; Veith, Helmut

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Structure and Complexity of Rational Sets of Regular Languages

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

Fulltext disponibile

10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Proactive Detection of Computer Worms Using Model Checking

Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut

IEEE Transactions on Dependable and Secure Computing, October 2010, Vol.7(4), pp.424-438 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 21  per Ricerca globale

Risultati 1 2 3 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (4)

Affina i risultati

Nuove accessioni 

  1. Dall'ultimo Mese 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Zuleger, Florian
  3. Veith, H.
  4. Kotek, Tomer
  5. Sinn, Moritz

Ricerca in corso nelle risorse remote ...