ISTA Research Explorer

Filters and Search Terms

keyword="Static Program Analysis"

Search

Go!

Filter Publications

Research Group

Research Group

• Institute of Science and Technology Austria (ISTA) 6599
  • Research Groups 6074
    • Alistarh Group 170
    • Alpichshev Group 14
    • Barton Group 322
    • Baykusheva Group 3
    • Benkova Group 92
    • Bernecky Group 16
    • Bravo Group 7
    • Bronstein Group 9
    • Browning Group 83
    • Bugnet Group 27
    • Caiazzo Group 27
    • Chatterjee Group 527
    • Chen Group 0
    • Cremer Group 103
    • Csicsvari Group 60
    • Danzl Group 42
    • De Bono Group 23
    • Douglass Group 3
    • Edelsbrunner Group 312
    • Erdoes Group 165
    • Fatichi Group 0
    • Feng Group 16
    • Fernandez-Rico Group 0
    • Fink Group 101
    • Fischer Group 66
    • Freunberger Group 36
    • Friml Group 315
    • Goodrich Group 15
    • Guet Group 138
    • Götberg Group 12
    • Haiman Group 23
    • Hannezo Group 107
    • Hausel Group 58
    • Heisenberg Group 144
    • Henzinger_Monika Group 53
    • Henzinger_Thomas Group 445
    • Hetzer Group 7
    • Hippenmeyer Group 104
    • Hof Group 108
    • Hosten Group 21
    • Ibáñez Group 124
    • Jonas Group 100
    • Jösch Group 34
    • Kaloshin Group 22
    • Katsaros Group 63
    • Kicheva Group 31
    • Klajn Group 11
    • Kolmogorov Group 88
    • Kuperberg Group 0
    • Kwan Group 53
    • Lampert Group 137
    • Lemeshko Group 165
    • Leonard Group 0
    • Locatello Group 39
    • Loose Group 49
    • Maas Group 112
    • Matthee Group 90
    • Michael Group 6
    • Modic Group 14
    • Mondelli Group 85
    • Muller Group 52
    • Novarino Group 81
    • Palacci Group 9
    • Pellicciotti Group 36
    • Pieber Group 8
    • Pietrzak Group 157
    • Polshyn Group 0
    • Praetorius Group 3
    • Reisenbauer Group 0
    • Ren Group 0
    • Robinson Group 35
    • Roques-Carmes Group 0
    • Sammler Group 4
    • Saric Group 48
    • Sazanov Group 57
    • Schanda Group 40
    • Schur Group 38
    • Seiringer Group 167
    • Serbyn Group 93
    • Shigemoto Group 82
    • Siegert Group 36
    • Sixt Group 146
    • Stricker Group 0
    • Sunko Group 7
    • Sweeney Group 15
    • Tkacik Group 207
    • Venkataraman Group 6
    • Vicoso Group 102
    • Visan Group 0
    • Vogels Group 38
    • Wagner Group 146
    • Waitukaitis Group 31
    • Wigderson Group 0
    • Wojtan Group 75
    • Zilberman Group 7
  • Alumni Research Groups 373
    • Bickel Group (Alumni) 77
    • Bollback Group (Alumni) 26
    • Bollenbach Group (Alumni) 37
    • Cheng Group (Alumni) 33
    • Higginbotham Group (Alumni) 24
    • Janovjak Group (Alumni) 32
    • Kokoris Group (Alumni) 26
    • Kondrashov Group (Alumni) 61
    • Siekhaus Group (Alumni) 33
    • Uhler Group (Alumni) 24
  • Scientific Service Units (SSUs) 271
    • Campus IT 5
    • Electron Microscopy Facility 48
    • Imaging & Optics Facility 82
    • Lab Support Facility 28
    • Library 33
    • Machine Shop 3
    • Mass Spectrometry Facility 6
    • Nanofabrication Facility 45
    • Nuclear Magnetic Resonance Facility 5
    • Pre-Clinical Facility 19
    • Scientific Computing 29
  • Various 586
    • Graduate School 586
    • Scientific Interns 0

Display / Sort

• Citation Style
  • MLA
  • IEEE
  • Chicago
  • AMA
  • APA
  • Default
  • ISTA Annual Report

Export / Embed

• Export as
  • RTF (e.g. Word, Office)
  • BibTeX (e.g. Citavi)
  • RIS
  • JSON
  • YAML
  • DOI only
• Embed
  • js
  • iframe
  • link
• Marked Publication(s)