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.

5703 Publications


2016 | Journal Article | IST-REx-ID: 1154   OA
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   OA
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   OA
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   OA
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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed