skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Schallhart, Christian rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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

3
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

4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Verification Across Intellectual Property Boundaries

Chaki, Sagar ; Schallhart, Christian ; Veith, Helmut

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments

Hermann, Uwe ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut

Fulltext disponibile

Ricerca in corso nelle risorse remote ...