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.

10779 Publications


2017 | Published | Journal Article | IST-REx-ID: 471 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic. 18(2), 12.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Thesis | IST-REx-ID: 1155 | OA
Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. 2017. Multi-electrode array recording from salamander retinal ganglion cells, Institute of Science and Technology Austria, 10.15479/AT:ISTA:61.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2017. Quantitative fair simulation games. Information and Computation. 254(2), 143–166.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1338 | OA
Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2–3), 97–139.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 681 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J. 2017. Doomsday equilibria for omega-regular games. Information and Computation. 254, 296–315.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1161 | OA
Müller J, Sixt MK. 2017. Cell migration: Making the waves. Current Biology. 27(1), R24–R25.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 8129 | OA
Costa RP, Assael YM, Shillingford B, Freitas N de, Vogels TP. 2017. Cortical microcircuits as gated-recurrent neural networks. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing System vol. 30, 272–283.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 673
Altmeyer S, Lueptow R. 2017. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 95(5), 053103.
View | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 643
Sun W, Zhai M-Z, Zhou Q, Qian C, Jiang C. 2017. Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. 60(4), 207–214.
View | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 391 | OA
Xu Y, Chiu J, Miao L, He H, Alpichshev Z, Kapitulnik A, Biswas R, Wray L. 2017. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 8, 14081.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1006 | OA
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology for reasoning about network games. IJCAI: International Joint Conference on Artificial Intelligence , 70–76.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d1.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9860 | OA
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d5.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1010 | OA
Alt J, Erdös L, Krüger TH. 2017. Local law for random Gram matrices. Electronic Journal of Probability. 22, 25.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1017 | OA
Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 84, 58–67.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1015 | OA
Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 7, 45702.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1023 | OA
Nemish Y. 2017. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 22, 22.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1019
Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 119(1), 27–34.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed