skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Holzer, Andreas 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 compiling Boolean circuits optimized for secure multi-party computation

Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan

Formal Methods in System Design, 2017, Vol.51(2), pp.308-331 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
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

4
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April 2015, pp.1-11

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Local Linearizability

Haas, Andreas ; Henzinger, Thomas A. ; Holzer, Andreas ; Kirsch, Christoph M. ; Lippautz, Michael ; Payer, Hannes ; Sezgin, Ali ; Sokolova, Ana ; Veith, Helmut

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (2)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Holzer, Andreas
  3. Veith, H
  4. Holzer, A.
  5. Henzinger, Thomas A.

Ricerca in corso nelle risorse remote ...