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 | 
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic. 2017;18(2). doi:10.1145/3060139
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Published | Thesis | IST-REx-ID: 1155 |
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5562 |
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:10.15479/AT:ISTA:61
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1066 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1338 |
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 681 |
Chatterjee K, Doyen L, Filiot E, Raskin J. Doomsday equilibria for omega-regular games. Information and Computation. 2017;254:296-315. doi:10.1016/j.ic.2016.10.012
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1161 |
Müller J, Sixt MK. Cell migration: Making the waves. Current Biology. 2017;27(1):R24-R25. doi:10.1016/j.cub.2016.11.035
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 8129 |
Costa RP, Assael YM, Shillingford B, Freitas N de, Vogels TP. Cortical microcircuits as gated-recurrent neural networks. In: Advances in Neural Information Processing Systems. Vol 30. Neural Information Processing Systems Foundation; 2017:272-283.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 673
Altmeyer S, Lueptow R. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 2017;95(5). doi:10.1103/PhysRevE.95.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. Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. 2017;60(4):207-214. doi:10.4077/CJP.2017.BAF469
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 391 |
Xu Y, Chiu J, Miao L, et al. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 2017;8. doi:10.1038/ncomms14081
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1006 |
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1003 |
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Research Data Reference | IST-REx-ID: 9859 |
Greenwood J, Milutinovic B, Peuß R, et al. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi: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 |
Greenwood J, Milutinovic B, Peuß R, et al. Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi: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 |
Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1017 |
Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 2017;84:58-67. doi:10.1016/j.mcn.2017.03.002
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1015 |
Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 2017;7. doi:10.1038/srep45702
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1023 |
Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1019
Argyridou E, Huylmans AK, Königer A, Parsch J. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 2017;119(1):27-34. doi:10.1038/hdy.2017.12
View
| Files available
| DOI
| WoS