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.

7213 Publications


2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982397.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Mitchell, Joshua, Jason Whitfield, William Zhang, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.” ACS SENSORS. ACS, 2016. https://doi.org/10.1021/acssensors.6b00576.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.” In Proceedings of the British Machine Vision Conference 2016, 2016–September:92.1-92.12. BMVA Press, 2016. https://doi.org/10.5244/C.30.92.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.” IEEE, 2016. https://doi.org/10.1109/MEMCOD.2016.7797741.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin, Cristina, and Gašper Tkačik. “Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods,” 29:3610–18. Neural Information Processing Systems, 2016.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 11069 | OA
Hatch, Emily M., and Martin W HETZER. “Nuclear Envelope Rupture Is Induced by Actin-Based Nucleus Confinement.” Journal of Cell Biology. Rockefeller University Press, 2016. https://doi.org/10.1083/jcb.201603053.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11070 | OA
Ibarra, Arkaitz, Chris Benner, Swati Tyagi, Jonah Cool, and Martin W HETZER. “Nucleoporin-Mediated Regulation of Cell Identity Genes.” Genes & Development. Cold Spring Harbor Laboratory, 2016. https://doi.org/10.1101/gad.287417.116.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11071 | OA
Franks, Tobias M., Chris Benner, Iñigo Narvaiza, Maria C.N. Marchetto, Janet M. Young, Harmit S. Malik, Fred H. Gage, and Martin W HETZER. “Evolution of a Transcriptional Regulator from a Transmembrane Nucleoporin.” Genes & Development. Cold Spring Harbor Laboratory, 2016. https://doi.org/10.1101/gad.280941.116.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11072 | OA
Ven, Robert A.H. van de, Jolien S. de Groot, Danielle Park, Robert van Domselaar, Danielle de Jong, Karoly Szuhai, Elsken van der Wall, et al. “P120-Catenin Prevents Multinucleation through Control of MKLP1-Dependent RhoA Activity during Cytokinesis.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms13874.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO Inf 3 Inf WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, Hande. “Selective Barriers to Horizontal Gene Transfer.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, Isaac. “Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124 | OA
Morri, Maurizio. “Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, Anastasia. “Theoretical Foundations of Multi-Task Lifelong Learning.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_776.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” IST Austria, 2016. https://doi.org/10.15479/at:ista:1130.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” IST Austria, 2016.
View | Files available
 

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: 1135 | OA
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: 1136 | OA
Manteaux, Pierre, Ulysse Vimont, Christopher J 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.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
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.
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 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, Krishnendu, Wolfgang Dvoák, Monika 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.
View | DOI | Download Preprint (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: 1142 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
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.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
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.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
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.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems. Elsevier, 2016. https://doi.org/10.1016/j.biosystems.2016.07.005.
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 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žá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.
View | DOI | Download Submitted Version (ext.)
 

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. Nature Publishing Group, 2016. https://doi.org/10.1038/srep36440.
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: 1157 | OA
Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/16-AAP1193.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.2000234.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity II,” 9801:468–81. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs,” 9801:94–106. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_8.
View | Files available | DOI | Download Preprint (ext.)
 

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: 1167 | OA
Zagórski, Marcin P, Zdzisław Burda, and Bartłomiej Wacław. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pcbi.1005218.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1170
Lang, Moritz, and Jörg Stelling. “Modular Parameter Identification of Biomolecular Networks.” SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics , 2016. https://doi.org/10.1137/15M103306X.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1171
Tkačik, Gašper. “Understanding Regulatory Networks Requires More than Computing a Multitude of Graph Statistics: Comment on "Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function" by O. C. Martin et Al.” Physics of Life Reviews. Elsevier, 2016. https://doi.org/10.1016/j.plrev.2016.06.005.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, Himani, Mustansir Barma, and Madan Rao. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep38840.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam, Phan, Marcin M Napiórkowski, and Jan Solovej. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis. Academic Press, 2016. https://doi.org/10.1016/j.jfa.2015.12.007.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi, Qin, Macarena Toll Riera, Karl Heilbron, Gail Preston, and R Craig Maclean. “The Genomic Basis of Adaptation to the Fitness Cost of Rifampicin Resistance in Pseudomonas Aeruginosa.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2016. https://doi.org/10.1098/rspb.2015.2452.
View | Files available | DOI
 

Search

Filter Publications