Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2782 Publications

2013 | Journal Article | IST-REx-ID: 2828 | OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM 60, no. 2 (2013). https://doi.org/10.1145/2450142.2450146.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2829 | OA
Shi, Liang, Marc Avila, and Björn Hof. “Scale Invariance at the Onset of Turbulence in Couette Flow.” Physical Review Letters 110, no. 20 (2013). https://doi.org/10.1103/PhysRevLett.110.204502.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2830
Moussion, Christine, and Michael K Sixt. “A Conduit to Amplify Innate Immunity.” Immunity 38, no. 5 (2013): 853–54. https://doi.org/10.1016/j.immuni.2013.05.005.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2831 | OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design 42, no. 3 (2013): 301–27. https://doi.org/10.1007/s10703-012-0180-2.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2832 | OA
Tanaka, Hirokazu, Saeko Kitakura, Hana Rakusová, Tomohiro Uemura, Mugurel Feraru, Riet De Rycke, Stéphanie Robert, Tatsuo Kakimoto, and Jiří Friml. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.” PLoS Genetics 9, no. 5 (2013). https://doi.org/10.1371/journal.pgen.1003540.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2833
Heisenberg, Carl-Philipp J, and Yohanns Bellaïche. “Forces in Tissue Morphogenesis and Patterning.” Cell 153, no. 5 (2013): 948–62. https://doi.org/10.1016/j.cell.2013.05.008.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2834 | OA
Avila, Marc, Fernando Mellibovsky, Nicolas Roland, and Björn Hof. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” Physical Review Letters 110, no. 22 (2013). https://doi.org/10.1103/PhysRevLett.110.224502.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu, Hong, Michael Karampelias, Stéphanie Robert, Wendy Peer, Ranjan Swarup, Songqing Ye, Lei Ge, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” Plant Physiology 162, no. 2 (2013): 965–76. https://doi.org/10.1104/pp.113.217018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2836 | OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing 26, no. 4 (2013): 825–59. https://doi.org/10.1007/s00165-013-0283-6.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2837 | OA
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “The Local Semicircle Law for a General Class of Random Matrices.” Electronic Journal of Probability 18, no. 59 (2013): 1–58. https://doi.org/10.1214/EJP.v18-2473.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2838 | OA
Arquè Fuste, Gloria, Anna Casanovas, and Mara Dierssen. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.” PLoS One 8, no. 1 (2013). https://doi.org/10.1371/journal.pone.0054285.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2839 | OA
Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid De Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” Science 339, no. 6117 (2013): 328–32. https://doi.org/10.1126/science.1228456.
View | DOI | Download Published Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, Tiffany, Jeremy Camon, Alice Alvernhe, Coralie Elduayen, Francesca Sargolini, and Étienne Save. “Distinct Roles of Medial and Lateral Entorhinal Cortex in Spatial Cognition.” Cerebral Cortex 23, no. 2 (2013): 451–59. https://doi.org/10.1093/cercor/bhs033.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2841
Morita, Hitoshi, and Carl-Philipp J Heisenberg. “Holding on and Letting Go: Cadherin Turnover in Cell Intercalation.” Developmental Cell 24, no. 6 (2013): 567–69. https://doi.org/10.1016/j.devcel.2013.03.007.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology 87, no. 1 (2013): 105–19. https://doi.org/10.1016/j.tpb.2013.03.001.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife 2 (2013). https://doi.org/10.7554/eLife.00747.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2817 | OA
Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.” Journal of Theoretical Biology 334 (2013): 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2818 | OA
Rajan, Kanaka, Olivier Marre, and Gasper Tkacik. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.” Neural Computation 25, no. 7 (2013): 1661–92. https://doi.org/10.1162/NECO_a_00463.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 1:273–82. Springer, 2013. https://doi.org/10.1145/2461328.2461370.
View | DOI | Download Preprint (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” In Proceedings of the 29th Annual Symposium on Computational Geometry, 117–25. ACM, 2013. https://doi.org/10.1145/2462356.2462373.
View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2813 | OA
Samanta, Devranjan, Yves Dubief, Markus Holzner, Christof Schäfer, Alexander Morozov, Christian Wagner, and Björn Hof. “Elasto-Inertial Turbulence.” PNAS 110, no. 26 (2013): 10557–62. https://doi.org/10.1073/pnas.1219666110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2814 | OA
Chatterjee, Krishnendu, Luca Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.” International Journal of Foundations of Computer Science 24, no. 2 (2013): 165–85. https://doi.org/10.1142/S0129054113400066.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2940 | OA
Krenn, Stephan, Krzysztof Z Pietrzak, and Akshay Wadia. “A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It.” edited by Amit Sahai, 7785:23–39. Springer, 2013. https://doi.org/10.1007/978-3-642-36594-2_2.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology 22, no. 4 (2013): 987–1002. https://doi.org/10.1111/mec.12165.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi, Tatiana, Novi Quadrianto, Barbara Caputo, and Christoph Lampert. “Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-37331-2_1.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, Julien, Gašper Tkačik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.” PNAS 110, no. 41 (2013): 16301–8. https://doi.org/10.1073/pnas.1315642110.
View | Files available | DOI | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications 46, no. 4 (2013): 435–47. https://doi.org/10.1016/j.comgeo.2012.02.010.
View | Files available | DOI
 
2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View | Files available | Download None (ext.)
 
2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.” Science 339, no. 6115 (2013): 91–95. https://doi.org/10.1126/science.1229858.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology 13, no. 1 (2013). https://doi.org/10.1186/1471-2148-13-222.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A New Species of Tapir from the Amazon.” Journal of Mammalogy 94, no. 6 (2013): 1331–45. https://doi.org/10.1644/12-MAMM-A-169.1.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.” Journal of Computer Security 21, no. 5 (2013): 627–61. https://doi.org/10.3233/JCS-130477.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 505
Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel, Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry 15, no. 2 (2013): 381–88. https://doi.org/10.1039/c2gc36666e.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jirí Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell 25, no. 8 (2013): 2970–85. https://doi.org/10.1105/tpc.113.114264.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution 30, no. 9 (2013): 2157–67. https://doi.org/10.1093/molbev/mst119.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, Simone, Niloufer Irani, Soo Kim, Zheng Xu, Astrid Gadeyne, Wim Dejonghe, Isabelle Vanhoutte, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell 25, no. 8 (2013): 2986–97. https://doi.org/10.1105/tpc.113.114058.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, Aleš, Biljana Simonovik, Sara Petersson, Eva Henyková, Sibu Simon, Kathleen Greenham, Yi Zhang, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.” Plant Cell 25, no. 10 (2013): 3858–70. https://doi.org/10.1105/tpc.113.114421.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, Bastiaan, Steffen Vanneste, Gabriel Krouk, Tal Nawy, Idan Efroni, Eilon Shani, Goh Choe, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology 9, no. 1 (2013). https://doi.org/10.1038/msb.2013.40.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters 154, no. 1–2 (2013): 31–41. https://doi.org/10.1016/j.imlet.2013.07.007.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jirí Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology 23, no. 24 (2013): 2513–18. https://doi.org/10.1016/j.cub.2013.10.038.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 528
Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jirí Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology 23, no. 24 (2013): 2506–12. https://doi.org/10.1016/j.cub.2013.09.039.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download Preprint (ext.)
 
2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science 4 (2013). https://doi.org/10.3389/fpls.2013.00451.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, Krzysztof T Wabnik, and Eva Benková. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science 4 (2013). https://doi.org/10.3389/fpls.2013.00537.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory 2, no. 3 (2012): 321–28. https://doi.org/10.4171/JST/31.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications 5, no. 8 (2012): 913–24. https://doi.org/10.1111/j.1752-4571.2012.00284.x.
View | Files available | DOI
 

Search

Filter Publications