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.

3984 Publications


2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni, Loris, Roopsha Samanta, and Rishabh Singh. “QLOSE: Program Repair with Quantitative Objectives,” 9780:383–401. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6_21.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,” 9780:230–48. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6_13.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
De Martino, Daniele, Fabrizio Capuani, and Andrea De Martino. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1478-3975/13/3/036005.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus.” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. “Algorithms for Partially Observable Markov Decision Processes.” IST Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis, Thomas. “The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-016-9794-2.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
Abbott, Richard, Nicholas H Barton, and Jeffrey Good. “Genomics of Hybridization and Its Evolutionary Consequences.” Molecular Ecology. Wiley-Blackwell, 2016. https://doi.org/10.1111/mec.13685.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410 | OA
Ugalde, José, Cecilia Rodríguez Furlán, Riet De Rycke, Lorena Norambuena, Jiří Friml, Gabriel León, and Ricardo Tejos. “Phosphatidylinositol 4-Phosphate 5-Kinases 1 and 2 Are Involved in the Regulation of Vacuole Morphology during Arabidopsis Thaliana Pollen Development.” Plant Science. Elsevier, 2016. https://doi.org/10.1016/j.plantsci.2016.05.014.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics. Springer, 2016. https://doi.org/10.1007/s11856-016-1294-9.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
Goldade, Ryan, Christopher Batty, and Christopher J Wojtan. “A Practical Method for High-Resolution Embedded Liquid Surfaces.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12826.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke, Stefan. “Generalized Diffusion Curves: An Improved Vector Representation for Smooth-Shaded Images.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12812.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1414
Miguel Villalba, Eder, David Miraut, and Miguel Otaduy. “Modeling and Estimation of Energy-Based Hyperelastic Objects.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12840.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
Ferstl, Florian, Ryoichi Ando, Christopher J Wojtan, Rüdiger Westermann, and Nils Thuerey. “Narrow Band FLIP for Liquid Simulations.” Computer Graphics Forum. Wiley-Blackwell, 2016. https://doi.org/10.1111/cgf.12825.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
Van Loon, Erik, Mikhail Katsnelson, Lauriane Chomaz, and Mikhail Lemeshko. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2016. https://doi.org/10.1103/PhysRevB.93.195145.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
Simon, Sibu, Petr Skůpa, Tom Viaene, Marta Zwiewka, Ricardo Tejos, Petr Klíma, Mária Čarná, et al. “PIN6 Auxin Transporter at Endoplasmic Reticulum and Plasma Membrane Mediates Auxin Homeostasis and Organogenesis in Arabidopsis.” New Phytologist. Wiley-Blackwell, 2016. https://doi.org/10.1111/nph.14019.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1419
Tomski, Andrzej, and Jan Kaczmarczyk. “Gutzwiller Wave Function for Finite Systems: Superconductivity in the Hubbard Model.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2016. https://doi.org/10.1088/0953-8984/28/17/175701.
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: 1422 | OA
Frank, Rupert, Christian Hainzl, Benjamin Schlein, and Robert Seiringer. “Incompatibility of Time-Dependent Bogoliubov–de-Gennes and Ginzburg–Landau Equations.” Letters in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s11005-016-0847-5.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
Baek, Seung, Hyeongchai Jeong, Christian Hilbe, and Martin Nowak. “Comparing Reactive and Memory-One Strategies of Direct Reciprocity.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep25676.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
Chakra, Maria, Christian Hilbe, and Arne Traulsen. “Coevolutionary Interactions between Farmers and Mafia Induce Host Acceptance of Avian Brood Parasites.” Royal Society Open Science. Royal Society, The, 2016. https://doi.org/10.1098/rsos.160036.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator, Mato, Claudia Igler, Anaisa Moreno, Calin C Guet, and Jonathan P Bollback. “Epistatic Interactions in the Arabinose Cis-Regulatory Element.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1093/molbev/msv269.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential.” In Journal of Physics: Conference Series, Vol. 691. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1742-6596/691/1/012016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
Husko, Chad, Matthias Wulf, Simon Lefrançois, Sylvain Combrié, Gaëlle Lehoucq, Alfredo De Rossi, Benjamin Eggleton, and Laurens Kuipers. “Free-Carrier-Induced Soliton Fission Unveiled by in Situ Measurements in Nanophotonic Waveguides.” Nature Communications. Nature Publishing Group, 2016. https://doi.org/10.1038/ncomms11332.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
Tartally, András, Andreas Kelager, Matthias Fürst, and David Nash. “Host Plant Use Drives Genetic Differentiation in Syntopic Populations of Maculinea Alcon.” PeerJ. PeerJ, 2016. https://doi.org/10.7717/peerj.1865.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, Rajiv Kumar, Sooyun Kim, José Guzmán, and Peter M Jonas. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications. Nature Publishing Group, 2016. https://doi.org/10.1038/ncomms11552.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Stability of the Free Additive Convolution.” Journal of Functional Analysis. Academic Press, 2016. https://doi.org/10.1016/j.jfa.2016.04.006.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
Guzmán, José, and Zoltan Gerevich. “P2Y Receptors in Synaptic Transmission and Plasticity: Therapeutic Potential in Cognitive Dysfunction.” Neural Plasticity. Hindawi Publishing Corporation, 2016. https://doi.org/10.1155/2016/1207393.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach, Volker, Sébastien Breteaux, Sören P Petrat, Peter Pickl, and Tim Tzaneteas. “Kinetic Energy Estimates for the Accuracy of the Time-Dependent Hartree-Fock Approximation with Coulomb Interaction.” Journal de Mathématiques Pures et Appliquées. Elsevier, 2016. https://doi.org/10.1016/j.matpur.2015.09.003.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, 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 Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms,” 20–22:400–415. ACM, 2016. https://doi.org/10.1145/2837614.2837650.
View | DOI | Download Preprint (ext.)
 

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. Cell Press, 2016. https://doi.org/10.1016/j.str.2016.01.002.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, Eva, Álvaro Inglés Prieto, Alexandra-Madelaine Tichy, Catherine Mckenzie, and Harald L Janovjak. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.” Angewandte Chemie - International Edition. Wiley, 2016. https://doi.org/10.1002/anie.201601736.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno, Maria, Thomas Auzinger, and Hannes Werthner. “On the Uncertainty of Interdisciplinarity Measurements Due to Incomplete Bibliographic Data.” Scientometrics. Springer, 2016. https://doi.org/10.1007/s11192-016-1842-4.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete Interacting Systems.” The Annals of Applied Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/15-AAP1133.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima, Junko, Eri Furuya, Makoto Nagano, Chisa Kanno, Yuta Sakamoto, Masashi Ebihara, Daria E Siekhaus, and Jiro Toshima. “Yeast Eps15-like Endocytic Protein Pan1p Regulates the Interaction between Endocytic Vesicles, Endosomes and the Actin Cytoskeleton.” ELife. eLife Sciences Publications, 2016. https://doi.org/10.7554/eLife.10276.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima, Junko, Chika Horikomi, Asuka Okada, Makiko Hatori, Makoto Nagano, Atsushi Masuda, Wataru Yamamoto, Daria E Siekhaus, and Jiro Toshima. “Srv2/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of Cell Science. Company of Biologists, 2016. https://doi.org/10.1242/jcs.176651.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1367-2630/18/3/035002.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, Stephan, Krzysztof Z Pietrzak, Akshay Wadia, and Daniel Wichs. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity. Springer, 2016. https://doi.org/10.1007/s00037-015-0120-9.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, Mateusz, Bernd Sturmfels, Caroline Uhler, and Piotr Zwiernik. “Exponential Varieties.” Proceedings of the London Mathematical Society. Oxford University Press, 2016. https://doi.org/10.1112/plms/pdv066.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, Milad, Saiko Yoshida, Dolf Weijers, and Christian Fleck. “Centering the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.” PLoS One. Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0147830.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, Xu, Shuang Wu, Zengyu Liu, and Jiří Friml. “Environmental and Endogenous Control of Cortical Microtubule Orientation.” Trends in Cell Biology. Cell Press, 2016. https://doi.org/10.1016/j.tcb.2016.02.003.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.” Physical Biology. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1478-3975/13/1/016003.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional of Superconductivity and Its Mathematical Properties.” Journal of Mathematical Physics. American Institute of Physics, 2016. https://doi.org/10.1063/1.4941723.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, Natalia, Athena Akrami, Yangfang Zuo, Federico Stella, and Mathew Diamond. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination.” PLoS Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.1002384.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, Paul, Cristina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” PLoS Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.1002382.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Spectral Statistics of Gaussian Matrices with Correlated Entries.” Journal of Statistical Physics. Springer, 2016. https://doi.org/10.1007/s10955-016-1479-y.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, Erica, Alvaro Teijeira, Kari Vaahtomeri, Ann Willrodt, Joël Bloch, Maximilian Nitschké, Laura Santambrogio, Dontscho Kerjaschki, Michael K Sixt, and Cornelia Halin. “Intralymphatic CCL21 Promotes Tissue Egress of Dendritic Cells through Afferent Lymphatic Vessels.” Cell Reports. Cell Press, 2016. https://doi.org/10.1016/j.celrep.2016.01.048.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “The Mean-Field Approximation and the Non-Linear Schrödinger Functional for Trapped Bose Gases.” Transactions of the American Mathematical Society. American Mathematical Society, 2016. https://doi.org/10.1090/tran/6537.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, Peter, Juan C Montesinos López, Anas Abuzeineh, Daniël Van Damme, Joop Vermeer, Jérôme Duclercq, Hana Rakusova, et al. “Targeted Cell Elimination Reveals an Auxin-Guided Biphasic Mode of Lateral Root Initiation.” Genes and Development. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.276964.115.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, Sören P, and Peter Pickl. “A New Method and a New Scaling for Deriving Fermionic Mean-Field Dynamics.” Mathematical Physics, Analysis and Geometry. Springer, 2016. https://doi.org/10.1007/s11040-016-9204-2.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Lemoult, Grégoire M, Liang Shi, Kerstin Avila, Shreyas V Jalikop, Marc Avila, and Björn Hof. “Directed Percolation Phase Transition to Sustained Turbulence in Couette Flow.” Nature Physics. Nature Publishing Group, 2016. https://doi.org/10.1038/nphys3675.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, Pedro, Filippo Fratini, Laleh Safari, Jorge Machado, Mauro Guerra, Paul Indelicato, and José Santos. “Relativistic Evaluation of the Two-Photon Decay of the Metastable 1s22s2p3P0 State in Berylliumlike Ions with an Effective-Potential Model.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2016. https://doi.org/10.1103/PhysRevA.93.032502.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1521
Berrisford, John, Rozbeh Baradaran, and Leonid A Sazanov. “Structure of Bacterial Respiratory Complex I.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 2016. https://doi.org/10.1016/j.bbabio.2016.01.012.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal. Independent University of Moscow, 2016. https://doi.org/10.17323/1609-4514-2016-16-1-1-25.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, Anna, and Uli Wagner. “On Topological Minors in Random Simplicial Complexes.” Proceedings of the American Mathematical Society. American Mathematical Society, 2016. https://doi.org/10.1090/proc/12824.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, Andreea, Calin C Guet, and Tatjana Petrov. “Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set,” 9271:173–91. Springer, 2016. https://doi.org/10.1007/978-3-319-26916-0_10.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,” 9583:250–67. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_12.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence. Elsevier, 2016. https://doi.org/10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, Lekshmi Dharmarajan, Moritz Lang, and Jörg Stelling. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology. American Chemical Society, 2016. https://doi.org/10.1021/acssynbio.6b00013.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
Monk, Travis, Cristina Savin, and Jörg Lücke. “Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics,” 29:4285–93. Neural Information Processing Systems, 2016.
View | Download None (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9862
Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Simulation Study to Test the Robustness of ABC in Face of Recent Times of Divergence.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.2000234.s016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9863
Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Accessions of Surveyed Individuals, Geographic Locations and Summary Statistics.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.2000234.s017.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, Marcin P, Zdzisław Burda, and Bartłomiej Wacław. “ZIP-Archived Directory Containing All Data and Computer Programs.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pcbi.1005218.s009.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Experimental Game Instructions.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163867.s008.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, Christian, Kristin Hagel, and Manfred Milinski. “Experimental Data.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163867.s009.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Error Bound on an Estimator of Position.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163628.s001.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Computation of Positional Information in an Ising Model.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163628.s002.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Computation of Positional Information in a Discrete Morphogen Field.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163628.s003.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality.” Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1005974.s015.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, Konrad, Martin Chmelik, Simon Martin, and Nicholas H Barton. “Efficient Strategies for Calculating Blockwise Likelihoods under the Coalescent.” Genetics. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.183814.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1331 | OA
Zwack, Paul, Inge De Clercq, Timothy Howton, H Tucker Hallmark, Andrej Hurny, Erika Keshishian, Alyssa Parish, et al. “Cytokinin Response Factor 6 Represses Cytokinin-Associated Genes during Oxidative Stress.” Plant Physiology. American Society of Plant Biologists, 2016. https://doi.org/10.1104/pp.16.00415.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker, Shaun, Hiroshi Kokubu, Konstantin Mischaikow, and Pawel Pilarczyk. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society. American Mathematical Society, 2016. https://doi.org/10.1090/proc/12812.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1420 | OA
Bodova, Katarina, Gašper Tkačik, and Nicholas H Barton. “A General Approximation for the Dynamics of Quantitative Traits.” Genetics. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.184127.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2016. https://doi.org/10.1098/rspb.2016.0811.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, Dino, Myrsini Natsopoulou, Vincent Doublet, Matthias Fürst, Silvio Weging, Mark Brown, Andreas Gogol Döring, and Robert Paxton. “Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Dryad, 2016. https://doi.org/10.5061/dryad.cq7t1.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gašper Tkačik, and Michael Berry. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology. Public Library of Science, 2016. https://doi.org/10.1371/journal.pcbi.1005148.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Research Data Reference | IST-REx-ID: 9720 | OA
Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Dryad, 2016. https://doi.org/10.5061/dryad.4b565.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Barton, Nicholas H. “Data from: How Does Epistasis Influence the Response to Selection?” Dryad, 2016. https://doi.org/10.5061/dryad.s5s7r.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
Martin, Olivier, and Marcin P Zagórski. “Network Architectures and Operating Principles. Reply to Comments on "Drivers of Structural Features in Gene Regulatory Networks: From Biophysical Constraints to Biological Function"” Physics of Life Reviews. Elsevier, 2016. https://doi.org/10.1016/j.plrev.2016.06.006.
View | DOI | Download Preprint (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9864 | OA
Fernandes Redondo, Rodrigo A, Harold de Vladar, Tomasz Włodarski, and Jonathan P Bollback. “Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family.” The Royal Society, 2016. https://doi.org/10.6084/m9.figshare.4315652.v1.
View | Files available | DOI | Download Published Version (ext.)
 

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₃ WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, Alexander F, Alexander Eichner, Jan Müller, Anne REVERSAT, Markus Brown, Jan Schwarz, Jack Merrin, et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology. Nature Publishing Group, 2016. https://doi.org/10.1038/ncb3426.
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: 1100 | OA
Sako, Keisuke, Saurabh Pradhan, Vanessa Barone, Álvaro Inglés Prieto, Patrick Mueller, Verena Ruprecht, Daniel Capek, Sanjeev Galande, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports. Cell Press, 2016. https://doi.org/10.1016/j.celrep.2016.06.036.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, Philipp S Schmalhorst, Anke Kruger, Christina Muller, Falk Buettner, and Françoise Routier. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology. Oxford University Press, 2015. https://doi.org/10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2015. https://doi.org/10.5802/jep.18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 477
Holst, Katrin, Daria Guseva, Susann Schindler, Michael K Sixt, Armin Braun, Himpriya Chopra, Oliver Pabst, and Evgeni Ponimaskin. “The Serotonin Receptor 5-HT7R Regulates the Morphology and Migratory Properties of Dendritic Cells.” Journal of Cell Science. Company of Biologists, 2015. https://doi.org/10.1242/jcs.167999.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation. Elsevier, 2015. https://doi.org/10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation. Elsevier, 2015. https://doi.org/10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 532
Li, Wenyang, Mengdi Ma, Ying Feng, Hongjiang Li, Yichuan Wang, Yutong Ma, Mingzhe Li, Fengying An, and Hongwei Guo. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell. Cell Press, 2015. https://doi.org/10.1016/j.cell.2015.09.037.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications