skip to main content
Lingue:
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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

3
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
4
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

5
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Difference constraints: an adequate abstraction for complexity analysis of imperative programs

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

2015 Formal Methods in Computer-Aided Design (FMCAD), September 2015, pp.144-151

Fulltext disponibile

6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

High nuclear poly‐(ADP‐ribose)‐polymerase expression is prognostic of improved survival in pancreatic cancer

Klauschen, Frederick ; Von Winterfeld, Moritz ; Stenzinger, Albrecht ; Sinn, Bruno V ; Budczies, Jan ; Kamphues, Carsten ; Bahra, Marcus ; Wittschieber, Daniel ; Weichert, Wilco ; Striefler, Jana ; Riess, Hanno ; Dietel, Manfred ; Denkert, Carsten

Histopathology, September 2012, Vol.61(3), pp.409-416 [Rivista Peer Reviewed]

Fulltext disponibile

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

Mutations in genes encoding PI3K‐AKT and MAPK signaling define anogenital papillary hidradenoma

Pfarr, Nicole ; Sinn, Hans‐Peter ; Klauschen, Frederick ; Flechtenmacher, Christa ; Bockmayr, Michael ; Ridinger, Kathrin ; Von Winterfeld, Moritz ; Warth, Arne ; Lorenz, Katja ; Budczies, Jan ; Penzel, Roland ; Lennerz, Jochen K. ; Endris, Volker ; Weichert, Wilko ; Stenzinger, Albrecht

Genes, Chromosomes and Cancer, February 2016, Vol.55(2), pp.113-119 [Rivista Peer Reviewed]

Fulltext disponibile

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

Distribution of MED12 mutations in fibroadenomas and phyllodes tumors of the breast—implications for tumor biology and pathological diagnosis

Pfarr, Nicole ; Kriegsmann, Mark ; Sinn, Peter ; Klauschen, Frederick ; Endris, Volker ; Herpel, Esther ; Muckenhuber, Alexander ; Jesinghaus, Moritz ; Klosterhalfen, Bernd ; Penzel, Roland ; Lennerz, Jochen K. ; Weichert, Wilko ; Stenzinger, Albrecht

Genes, Chromosomes and Cancer, July 2015, Vol.54(7), pp.444-452 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (4)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. 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. Sinn, Moritz
  4. Klauschen, Frederick
  5. Stenzinger, Albrecht

Ricerca in corso nelle risorse remote ...