skip to main content
Lingue:

Risutati 31 - 40 di 52  per Ricerca globale

previous page 1 2 3 Risultati 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
31
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Languages represented by Boolean formulas

Veith, Helmut

Information Processing Letters, 1997, Vol.63(5), pp.251-256 [Rivista Peer Reviewed]

Fulltext disponibile

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

An Iterative Framework for Simulation Conformance

Chaki, Sagar ; Clarke, Edmund ; Jha, Somesh ; Veith, Helmut

Journal of Logic and Computation, 2005, Vol.15(4), pp.465-488 [Rivista Peer Reviewed]

Fulltext disponibile

33
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the complexity of data disjunctions

Eiter, Thomas ; Veith, Helmut

Theoretical Computer Science, 2002, Vol.288(1), pp.101-128 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
34
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef

2013 Formal Methods in Computer-Aided Design, October 2013, pp.201-209

Fulltext disponibile

35
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Automated Software Analysis

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.18-18

Fulltext disponibile

36
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Embedding Formal Methods into Systems Engineering

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.11-11

Fulltext disponibile

37
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Interpolation in fuzzy logic

Baaz, Matthias ; Veith, Helmut

Archive for Mathematical Logic, 1999, Vol.38(7), pp.461-489 [Rivista Peer Reviewed]

Fulltext disponibile

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

The first order definability of graphs: Upper bounds for quantifier depth

Pikhurko, Oleg ; Veith, Helmut ; Verbitsky, Oleg

Discrete Applied Mathematics, 2006, Vol.154(17), pp.2511-2529 [Rivista Peer Reviewed]

Fulltext disponibile

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

Complexity of t-tautologies

Baaz, Matthias ; Hájek, Petr ; Montagna, Franco ; Veith, Helmut

Annals of Pure and Applied Logic, 2001, Vol.113(1), pp.3-11 [Rivista Peer Reviewed]

Fulltext disponibile

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

Verification Across Intellectual Property Boundaries

Chaki, Sagar ; Schallhart, Christian ; Veith, Helmut

Fulltext disponibile

Risutati 31 - 40 di 52  per Ricerca globale

previous page 1 2 3 Risultati 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (23)
  2. Risorse online (50)
  3. In biblioteca (2)

Affina i risultati

Nuove accessioni 

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

Data di pubblicazione 

Da A
  1. Prima del2001 
  2. 2001-2005 
  3. 2006-2009 
  4. 2010-2015 
  5. Dopo il 2015 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H
  3. Zuleger, Florian
  4. Kotek, Tomer
  5. Widder, Josef

Ricerca in corso nelle risorse remote ...