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.

3263 Publications


2016 | Research Data | IST-REx-ID: 5554 | OA
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1124 | OA
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” IST Austria, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Error-robust modes of the retinal population code,” PLoS Computational Biology, vol. 12, no. 11. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Research Data Reference | IST-REx-ID: 9720
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees.” Dryad, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
V. Kolmogorov, J. Thapper, and S. Živný, “The power of linear programming for general-valued CSPs,” SIAM Journal on Computing, vol. 44, no. 1. SIAM, pp. 1–36, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1686
E. Kiermaier and M. K. Sixt, “Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection,” Science, vol. 349, no. 6252. American Association for the Advancement of Science, pp. 1055–1056, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
M. Sarris and M. K. Sixt, “Navigating in tissue mazes: Chemoattractant interpretation in complex environments,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 93–102, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, and M. Tancer, “Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex,” Discrete & Computational Geometry, vol. 54, no. 3. Springer, pp. 610–636, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
M. Svoreňová et al., “Temporal logic motion planning using POMDPs with parity objectives: Case study paper,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 233–238.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, and A. Podelski, “Eliminating spurious transitions in reachability with support functions,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
P. Amaro et al., “Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3,” Physical Review A, vol. 92, no. 2. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
K. Chatterjee and V. Prabhu, “Quantitative temporal simulation and refinement distances for timed systems,” IEEE Transactions on Automatic Control, vol. 60, no. 9. IEEE, pp. 2291–2306, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
J. Kaczmarczyk, T. Schickling, and J. Bünemann, “Evaluation techniques for Gutzwiller wave functions in finite dimensions,” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9. Wiley, pp. 2059–2071, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
M. Wysokiński, J. Kaczmarczyk, and J. Spałek, “Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states,” Physical Review B, vol. 92, no. 12. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkačik, and M. Berry, “High accuracy decoding of dynamical motion from a large retinal population,” PLoS Computational Biology, vol. 11, no. 7. Public Library of Science, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4. Elsevier, pp. 177–196, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
H. Uecker, D. Setter, and J. Hermisson, “Adaptive gene introgression after secondary contact,” Journal of Mathematical Biology, vol. 70, no. 7. Springer, pp. 1523–1580, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
E. Van Loon, M. Katsnelson, and M. Lemeshko, “Ultralong-range order in the Fermi-Hubbard model with long-range interactions,” Physical Review B, vol. 92, no. 8. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
G. Tkačik et al., “Thermodynamics and signatures of criticality in a network of neurons,” PNAS, vol. 112, no. 37. National Academy of Sciences, pp. 11508–11513, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1703
L. Broadhurst, G. Fifield, B. Vanzella, and M. Pickup, “An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas,” Australian Journal of Botany, vol. 63, no. 5. CSIRO, pp. 455–466, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
A. Deuchert, C. Hainzl, and R. Seiringer, “Note on a family of monotone quantum relative entropies,” Letters in Mathematical Physics, vol. 105, no. 10. Springer, pp. 1449–1466, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
A. Pentina and S. Ben David, “Multi-task and lifelong learning of kernels,” presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada, 2015, vol. 9355, pp. 194–208.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
A. Akopyan and A. Plakhov, “Minimal resistance of curves under the single impact assumption,” Society for Industrial and Applied Mathematics, vol. 47, no. 4. SIAM, pp. 2754–2769, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
A. Ratheesh, V. Belyaeva, and D. E. Siekhaus, “Drosophila immune cell migration and adhesion during embryonic development and larval immune responses,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 71–79, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in Real-Time Systems Symposium, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
É. Colin De Verdière, A. Hubard, and A. N. de Mesmay, “Discrete systolic inequalities and decompositions of triangulated surfaces,” Discrete & Computational Geometry, vol. 53, no. 3. Springer, pp. 587–620, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12. Elsevier, pp. 3–16, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Qualitative analysis of POMDPs with temporal logic specifications for robotics applications,” presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States, 2015, pp. 325–330.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1734
O. Klehm et al., “Recent advances in facial appearance capture,” Computer Graphics Forum, vol. 34, no. 2. Wiley-Blackwell, pp. 709–733, 2015.
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
R. Ando, N. Thürey, and C. J. Wojtan, “A dimension-reduced pressure solver for liquid simulations,” Computer Graphics Forum, vol. 34, no. 2. Wiley, pp. 473–480, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1792
F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Transition to turbulence in Taylor-Couette ferrofluidic flow,” Scientific Reports, vol. 5. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1805
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” Computational Geometry: Theory and Applications, vol. 48, no. 8. Elsevier, pp. 606–621, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807 | OA
M. Goldman and J. Royo-Letelier, “Sharp interface limit for two components Bose-Einstein condensates,” ESAIM - Control, Optimisation and Calculus of Variations, vol. 21, no. 3. EDP Sciences, pp. 603–624, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
A. Gupta and T. A. Henzinger, “Guest editors’ introduction to special issue on computational methods in systems biology,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2. ACM, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
M. T. Bollenbach, “Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution,” Current Opinion in Microbiology, vol. 27. Elsevier, pp. 1–9, 2015.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications