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, Goran, et al. “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.” ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff, vol. 61, EasyChair, 2019, pp. 1–13, doi:10.29007/rjwn.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:10.29007/m75b.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton, Nicholas H. Data from: The Consequences of an Introgression Event. Dryad, 2019, doi:10.5061/dryad.2kb6fh4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6435.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 398
Dodier, Philippe, 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, 2018, pp. e568–78, doi:10.1016/j.wneu.2018.02.096.
View | DOI | WoS
 

Filters and Search Terms

year%3D2005

Search

Filter Publications