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.
503 Publications
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.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” In 2016 IEEE Conference on Control Applications. IEEE, 2016. https://doi.org/10.1109/CCA.2016.7587948.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1136 |
Manteaux, Pierre, Ulysse Vimont, Chris Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1137 |
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1138 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.” In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016. https://doi.org/10.1145/2933575.2933588.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1140 |
Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Veronika Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1139
Düllberg, Christian F, Nicholas Cade, and Thomas Surrey. “Microtubule Aging Probed by Microfluidics Assisted Tubulin Washout.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1091/mbc.E16-07-0548.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1142 |
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1141
Łazarz, Radosław, Michał Idzik, Konrad Gądek, and Ewa P Gajda-Zagorska. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.” Journal of Computational Science. Elsevier, 2016. https://doi.org/10.1016/j.jocs.2016.03.004.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1143 |
Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE. Mathematical Sciences Publishers, 2016. https://doi.org/10.2140/apde.2016.9.459.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1145 |
Nodzyński, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová, Jan Hejátko, and Jiří Friml. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant. Cell Press, 2016. https://doi.org/10.1016/j.molp.2016.08.010.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1147 |
Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matiješčuková, Jiří Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep35955.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1149
Miyaji, Tomoyuki, Pawel Pilarczyk, Marcio Gameiro, Hiroshi Kokubu, and Konstantin Mischaikow. “A Study of Rigorous ODE Integrators for Multi Scale Set Oriented Computations.” Applied Numerical Mathematics. Elsevier, 2016. https://doi.org/10.1016/j.apnum.2016.04.005.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1150
Renkawitz, Jörg, and Michael K Sixt. “A Radical Break Restraining Neutrophil Migration.” Developmental Cell. Cell Press, 2016. https://doi.org/10.1016/j.devcel.2016.08.017.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1151 |
Simonini, Sara, Joyita Deb, Laila Moubayidin, Pauline Stephenson, Manoj Valluru, Alejandra Freire Rios, Karim Sorefan, Dolf Weijers, Jiří Friml, and Lars Östergaard. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.285361.116.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1153 |
Žádníková, Petra, Krzysztof T Wabnik, Anas Abuzeineh, Marçal Gallemí, Dominique Van Der Straeten, Richard Smith, Dirk Inze, Jiří Friml, Przemysław Prusinkiewicz, and Eva Benková. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell. American Society of Plant Biologists, 2016. https://doi.org/10.1105/tpc.15.00569.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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. Nature Publishing Group, 2016. https://doi.org/10.1038/srep36440.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1156
Hibi, Takayugi, and Liam T Solus. “Facets of the R-Stable (n, k)-Hypersimplex.” Annals of Combinatorics. Springer, 2016. https://doi.org/10.1007/s00026-016-0325-x.
View
| DOI
2016 | Journal Article | IST-REx-ID: 11574 |
Santos, Sérgio, David Sobral, and Jorryt J Matthee. “The Lyα Luminosity Function at Z= 5.7–6.6 and the Steep Drop of the Faint End: Implications for Reionization.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw2076.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 11576 |
Sobral, David, Saul A. Kohn, Philip N. Best, Ian Smail, Chris M. Harrison, John Stott, João Calhau, and Jorryt J Matthee. “The Most Luminous H α Emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and Star-Forming Galaxies.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv