ISTA Research Explorer

Filters and Search Terms

keyword="Signal first-order logic"

Search

Go!

Filter Publications

Research Group

Research Group

• Institute of Science and Technology Austria (ISTA) 6519
  • Research Groups 5997
    • Alistarh Group 170
    • Alpichshev Group 14
    • Barton Group 320
    • Baykusheva Group 3
    • Benkova Group 91
    • Bernecky Group 16
    • Bravo Group 7
    • Bronstein Group 8
    • Browning Group 80
    • Bugnet Group 26
    • Caiazzo Group 26
    • Chatterjee Group 527
    • Chen Group 0
    • Cremer Group 103
    • Csicsvari Group 60
    • Danzl Group 42
    • De Bono Group 23
    • Douglass Group 3
    • Edelsbrunner Group 311
    • Erdoes Group 164
    • Fatichi Group 0
    • Feng Group 16
    • Fernandez-Rico Group 0
    • Fink Group 100
    • Fischer Group 65
    • Freunberger Group 34
    • Friml Group 312
    • Goodrich Group 14
    • Guet Group 137
    • Götberg Group 12
    • Haiman Group 18
    • Hannezo Group 105
    • Hausel Group 56
    • Heisenberg Group 143
    • Henzinger_Monika Group 45
    • Henzinger_Thomas Group 439
    • Hetzer Group 7
    • Hippenmeyer Group 103
    • Hof Group 108
    • Hosten Group 20
    • Ibáñez Group 120
    • Jonas Group 100
    • Jösch Group 34
    • Kaloshin Group 21
    • Katsaros Group 61
    • Kicheva Group 31
    • Klajn Group 11
    • Kolmogorov Group 87
    • Kuperberg Group 0
    • Kwan Group 53
    • Lampert Group 137
    • Lemeshko Group 163
    • Leonard Group 0
    • Locatello Group 39
    • Loose Group 48
    • Maas Group 111
    • Matthee Group 87
    • Michael Group 5
    • Modic Group 14
    • Mondelli Group 84
    • Muller Group 52
    • Novarino Group 80
    • Palacci Group 9
    • Pellicciotti Group 35
    • Pieber Group 8
    • Pietrzak Group 156
    • Polshyn Group 0
    • Praetorius Group 3
    • Reisenbauer Group 0
    • Ren Group 0
    • Robinson Group 33
    • Roques-Carmes Group 0
    • Sammler Group 4
    • Saric Group 48
    • Sazanov Group 56
    • Schanda Group 36
    • Schur Group 36
    • Seiringer Group 165
    • Serbyn Group 92
    • Shigemoto Group 80
    • Siegert Group 36
    • Sixt Group 145
    • Stricker Group 0
    • Sunko Group 7
    • Sweeney Group 14
    • Tkacik Group 204
    • Venkataraman Group 5
    • Vicoso Group 102
    • Visan Group 0
    • Vogels Group 38
    • Wagner Group 146
    • Waitukaitis Group 29
    • Wigderson Group 0
    • Wojtan Group 75
    • Zilberman Group 7
  • Alumni Research Groups 372
    • Bickel Group (Alumni) 77
    • Bollback Group (Alumni) 26
    • Bollenbach Group (Alumni) 37
    • Cheng Group (Alumni) 33
    • Higginbotham Group (Alumni) 23
    • Janovjak Group (Alumni) 32
    • Kokoris Group (Alumni) 26
    • Kondrashov Group (Alumni) 61
    • Siekhaus Group (Alumni) 33
    • Uhler Group (Alumni) 24
  • Scientific Service Units (SSUs) 265
    • Campus IT 5
    • Electron Microscopy Facility 47
    • Imaging & Optics Facility 81
    • Lab Support Facility 26
    • Library 33
    • Machine Shop 3
    • Mass Spectrometry Facility 4
    • Nanofabrication Facility 44
    • Nuclear Magnetic Resonance Facility 5
    • Pre-Clinical Facility 19
    • Scientific Computing 29
  • Various 520
    • Graduate School 520
    • Scientific Interns 0

Display / Sort

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

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)