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
G. Frehse et al., “ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics,” in ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Montreal, Canada, 2019, vol. 61, pp. 1–13.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
N. H. Barton, “Data from: The consequences of an introgression event.” Dryad, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

2018 | Journal Article | IST-REx-ID: 398
P. Dodier et al., “Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device,” World Neurosurgery, vol. 13. Elsevier, pp. e568–e578, 2018.
View | DOI | WoS
 

Filters and Search Terms

year%3D2019

Search

Filter Publications