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.
7046 Publications
2018 |Published| Conference Paper | IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131
View
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 566 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 106 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Research Data Reference | IST-REx-ID: 9810
Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 275 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553. doi:10.1038/s41477-018-0204-z
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 152 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 2018;28(10):835-867. doi:10.1016/j.tcb.2018.06.006
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 310 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. In: ACM; 2018:2341-2356. doi:10.1137/1.9781611975031.151
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 436 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barzanjeh S, Aquilina M, Xuereb A. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 2018;120(6). doi:10.1103/PhysRevLett.120.060601
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5858 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 16 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Varshney A, Steinberg V. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 43 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 13 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds: Computational design of silicone molds. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201381
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 137 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang W, Herde M, Mitchell J, et al. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 2018;14(9):861-869. doi:10.1038/s41589-018-0108-2
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Book Chapter | IST-REx-ID: 153
Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. Vol 147. Academic Press; 2018:79-91. doi:10.1016/bs.mcb.2018.07.004
View
| DOI
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 54
Nunes Pinheiro DC, Bellaïche Y. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 2018;47(1):3-19. doi:10.1016/j.devcel.2018.09.014
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 |Published| Journal Article | IST-REx-ID: 276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frick C, Dettinger P, Renkawitz J, et al. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 2018;13(6). doi:10.1371/journal.pone.0198330
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 283 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ceinos RM, Frigato E, Pagano C, et al. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-27080-2
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 81 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 76 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
[Published Version]
View
| Files available
| DOI
| WoS