ISTA Research Explorer

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

2018 | Book Chapter | IST-REx-ID: 60

Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.

View | DOI

2018 | Journal Article | IST-REx-ID: 6354 |

Fan S, Lorenz M, Massberg S, Gärtner FR. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.

[Published Version] View | Files available | DOI

2018 | Conference Poster | IST-REx-ID: 6459 |

Petritsch B. 2018. Open Access at IST Austria 2009-2017, IST Austria,p.

[Published Version] View | Files available | DOI

2018 | Book Chapter | IST-REx-ID: 6525

Hausel T, Mellit A, Pei D. 2018.Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. , 189–218.

View | DOI

2018 | Journal Article | IST-REx-ID: 690 |

Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

extern<>1