ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

17 Publications

Search / Filter

1996 | Thesis | IST-REx-ID: 4419

Kopke P. The Theory of Rectangular Hybrid Automata. 1996.

View

1995 | Thesis | IST-REx-ID: 4428 |

Ho P. Automatic analysis of hybrid systems. 1995:1-188.

[Published Version] View | Download Published Version (ext.)

Filters and Search Terms

supervisor=40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

- 2022 (1)
- 2020 (1)
- 2019 (1)
- 2017 (1)
- 2016 (1)
- 2013 (1)
- 2008 (3)
- 2007 (1)
- 2004 (1)
- 2003 (2)
- 2002 (1)
- 1999 (1)
- 1996 (1)
- 1995 (1)

8 OA Fulltext(s)
Research Group
Institute of Science and Technology Austria (ISTA) 4953

Research Groups 4838

Alistarh Group 121

Alpichshev Group 7

Barton Group 282

Baykusheva Group 0

Benkova Group 75

Bernecky Group 9

Bickel Group 69

Bollback Group 26

Bollenbach Group 37

Bravo Group 1

Browning Group 39

Bugnet Group 3

Caiazzo Group 0

Chatterjee Group 459

Cheng Group 18

Cremer Group 92

Csicsvari Group 50

Danzl Group 28

De Bono Group 16

Edelsbrunner Group 260

Erdoes Group 126

Feng Group 4

Fink Group 75

Fischer Group 56

Freunberger Group 27

Friml Group 260

Goodrich Group 3

Guet Group 126

Götberg Group 0

Haiman Group 0

Hannezo Group 66

Hausel Group 38

Heisenberg Group 128

Henzinger_Monika Group 13

Henzinger_Thomas Group 387

Hetzer Group 3

Higginbotham Group 12

Hippenmeyer Group 84

Hof Group 95

Hosten Group 11

Ibáñez Group 73

Janovjak Group 32

Jonas Group 87

Jösch Group 23

Kaloshin Group 8

Katsaros Group 36

Kicheva Group 22

Klajn Group 2

Kokoris Group 21

Kolmogorov Group 75

Kondrashov Group 57

Kwan Group 17

Lampert Group 114

Lemeshko Group 132

Locatello Group 12

Loose Group 38

Maas Group 75

Matthee Group 5

Michael Group 0

Modic Group 10

Mondelli Group 52

Muller Group 22

Novarino Group 62

Palacci Group 4

Pellicciotti Group 8

Pieber Group 3

Pietrzak Group 127

Polshyn Group 0

Praetorius Group 0

Robinson Group 19

Sammler Group 0

Saric Group 23

Sazanov Group 47

Schanda Group 12

Schur Group 29

Seiringer Group 140

Serbyn Group 65

Shigemoto Group 67

Siegert Group 31

Siekhaus Group 33

Sixt Group 126

Sweeney Group 7

Tkacik Group 182

Uhler Group 24

Venkataraman Group 0

Vicoso Group 74

Vogels Group 25

Wagner Group 127

Waitukaitis Group 13

Wojtan Group 59

Zilberman Group 5

Scientific Service Units (SSUs) 204

Campus IT 5

Electron Microscopy Facility 38

Imaging & Optics Facility 65

Lab Support Facility 18

Library 34

Machine Shop 2

Nanofabrication Facility 33

Nuclear Magnetic Resonance Facility 2

Pre-Clinical Facility 6

Scientific Computing 24

Various 236

Graduate School 236

Scientific Interns 0

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

17 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

17 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options