en
Please note that IST 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.
5680 Publications
2016 | Journal Article | IST-REx-ID: 1267 
Frank, Rupert, Rowan Killip, and Phan Nam. “Nonexistence of Large Nuclei in the Liquid Drop Model.” Letters in Mathematical Physics 106, no. 8 (2016): 1033–36. https://doi.org/10.1007/s11005-016-0860-8.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1293
Solus, Liam T, Caroline Uhler, and Ruriko Yoshida. “Extremal Positive Semidefinite Matrices Whose Sparsity Pattern Is given by Graphs without K5 Minors.” Linear Algebra and Its Applications 509 (2016): 247–75. https://doi.org/10.1016/j.laa.2016.07.026.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1135
Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1205
Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. https://doi.org/10.1007/978-3-319-48989-6_47.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1154
Schwarz, Jan, Veronika Bierbaum, Jack Merrin, Tino Frank, Robert Hauschild, Mark Tobias Bollenbach, Savaş Tay, Michael K Sixt, and Matthias Mehling. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports 6 (2016). https://doi.org/10.1038/srep36440.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1197
Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkacik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology 12, no. 11 (2016). https://doi.org/10.1371/journal.pcbi.1005148.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016:3225–32. AAAI Press, 2016.
View
| Files available
2016 | Journal Article | IST-REx-ID: 1440
Janovjak, Harald L. “Light at the End of the Protein: Crystal Structure of a C-Terminal Light-Sensing Domain.” Structure 24, no. 2 (2016): 213–15. https://doi.org/10.1016/j.str.2016.01.002.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1421
Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, Taylor Johnson, and Pradyot Prakash. “Scalable Static Hybridization Methods for Analysis of Nonlinear Systems,” 155–64. Springer, 2016. https://doi.org/10.1145/2883817.2883837.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1705
Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” International Journal on Software Tools for Technology Transfer 18, no. 4 (2016): 449–67. https://doi.org/10.1007/s10009-015-0393-y.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1130
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016.
View
| Files available
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 7296
Volck, Theo, Wolfgang Sinz, Gregor Gstrein, Christoph Breitfuss, Simon Heindl, Hermann Steffan, Stefan Alexander Freunberger, et al. “Method for Determination of the Internal Short Resistance and Heat Evolution at Different Mechanical Loads of a Lithium Ion Battery Cell Based on Dummy Pouch Cells.” Batteries 2, no. 2 (2016): 8. https://doi.org/10.3390/batteries2020008.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1096
Schwayer, Cornelia, Mateusz K Sikora, Jana Slovakova, Roland Kardos, and Carl-Philipp J Heisenberg. “Actin Rings of Power.” Developmental Cell 37, no. 6 (2016): 493–506. https://doi.org/10.1016/j.devcel.2016.05.024.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1616
Kowalski, Janina, Jian Gan, Peter M Jonas, and Alejandro Pernia-Andrade. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus 26, no. 5 (2016): 668–82. https://doi.org/10.1002/hipo.22550.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1438
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotny, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs,” 20–22:327–42. ACM, 2016. https://doi.org/10.1145/2837614.2837639.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7599
Tang, Yong, Chun-Yan Zhao, Shutang Tan, and Hong-Wei Xue. “Arabidopsis Type II Phosphatidylinositol 4-Kinase PI4Kγ5 Regulates Auxin Biosynthesis and Leaf Margin Development through Interacting with Membrane-Bound Transcription Factor ANAC078.” PLOS Genetics 12, no. 8 (2016): e1006252. https://doi.org/10.1371/journal.pgen.1006252.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7734
Peyrot, Wouter J., Matthew Richard Robinson, Brenda W. J. H. Penninx, and Naomi R. Wray. “Exploring Boundaries for the Genetic Consequences of Assortative Mating for Psychiatric Traits.” JAMA Psychiatry 73, no. 11 (2016): 1189–95. https://doi.org/10.1001/jamapsychiatry.2016.2566.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7760
Goodrich, Carl Peter, Andrea J. Liu, and James P. Sethna. “Scaling Ansatz for the Jamming Transition.” Proceedings of the National Academy of Sciences 113, no. 35 (2016): 9745–50. https://doi.org/10.1073/pnas.1601858113.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 592
Engelsen, Nils, Onur Hosten, Rajiv Krishnakumar, and Mark Kasevich. “Engineering Spin Squeezed States for Quantum-Enhanced Atom Interferometry.” IEEE, 2016.
View
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 101
Albrecht, S M, Andrew P Higginbotham, Thomas Jespersen, Morten Madsen, Ferdinand Kuemmeth, Jesper Nygård, Peter Krogstrup, and Charles Marcus. “Exponential Protection of Zero Modes in Majorana Islands.” Nature 531, no. 7593 (2016): 206–9. https://doi.org/10.1038/nature17162.
View
| DOI
| Download (ext.)
| arXiv