skip to main content
Lingue:

Risutati 1 - 10 di 24  per Ricerca globale

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

Ranking Functions for Vector Addition Systems

Zuleger, Florian

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Feedback Generation for Performance Problems in Introductory Programming Assignments

Gulwani, Sumit ; Radiček, Ivan ; Zuleger, Florian

Fulltext disponibile

3
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

4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Monadic second order finite satisfiability and unbounded tree-width

Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Automated Clustering and Program Repair for Introductory Programming Assignments

Gulwani, Sumit ; Radiček, Ivan ; Zuleger, Florian

Fulltext disponibile

6
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

7
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

8
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), pp.3-45 [Rivista Peer Reviewed]

Fulltext disponibile

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

Empirical software metrics for benchmarking of verification tools

Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian

Formal Methods in System Design, 2017, Vol.50(2), p.289-316 [Rivista Peer Reviewed]

Fulltext disponibile

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

Extending ALCQIO with reachability

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

Fulltext disponibile

Risutati 1 - 10 di 24  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. Dagli Ultimi 3 Mesi 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2013 
  2. 2013-2014 
  3. 2015-2016 
  4. 2017-2019 
  5. Dopo il 2019 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

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

Ricerca in corso nelle risorse remote ...