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.

48 Publications


2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series in Computing, vol. 61, 1–13.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton NH. 2019. Data from: The consequences of an introgression event, Dryad, 10.5061/dryad.2kb6fh4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez BE. 2019. Collective defenses of garden ants against a fungal pathogen. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 398
Dodier P, Frischer J, Wang W, Auzinger T, Mallouhi A, Serles W, Gruber A, Knosp E, Bavinzski G. 2018. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 13, e568–e578.
View | DOI | WoS
 

Filters and Search Terms

year%3D2011

Search

Filter Publications