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.

2715 Publications


2013 | Journal Article | IST-REx-ID: 2286   OA
Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal 32, no. 21 (2013): 2783–84. https://doi.org/10.1038/emboj.2013.225.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2293   OA
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,” 825–32. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.107.
View | DOI | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274   OA
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2806
Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.” Review of Scientific Instruments 84, no. 6 (2013). https://doi.org/10.1063/1.4807704.
View | DOI
 

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 (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi, Einat, Gasper Tkacik, Ronen Segev, and Elad Schneidman. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.” PLoS Computational Biology 9, no. 3 (2013). https://doi.org/10.1371/journal.pcbi.1002922.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2882   OA
Löfke, Christian, Marta Zwiewka, Ingo Heilmann, Marc Van Montagu, Thomas Teichmann, and Jirí Friml. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.” PNAS 110, no. 9 (2013): 3627–32. https://doi.org/10.1073/pnas.1300107110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 2907   OA
Barton, Nicholas H. “Recombination and Sex.” In The Princeton Guide to Evolution, 328–33. Princeton University Press, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2914   OA
Stephens, Greg, Thierry Mora, Gasper Tkacik, and William Bialek. “Statistical Thermodynamics of Natural Images.” Physical Review Letters 110, no. 1 (2013). https://doi.org/10.1103/PhysRevLett.110.018701.
View | Files available | DOI | Download (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 Jirí 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: 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: 2856   OA
Levitz, Joshua, Carlos Pantoja, Benjamin Gaub, Harald L Janovjak, Andreas Reiner, Adam Hoagland, David Schoppik, et al. “Optical Control of Metabotropic Glutamate Receptors.” Nature Neuroscience 16 (2013): 507–16. https://doi.org/10.1038/nn.3346.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, Michel, Daniel Von Wangenheim, Peter Marhavy, Elke Barbez, Ernst Stelzer, Eva Benková, Alexis Maizel, and Jürgen Kleine Vehn. “An Auxin Transport Mechanism Restricts Positive Orthogravitropism in Lateral Roots.” Current Biology 23, no. 9 (2013): 817–22. https://doi.org/10.1016/j.cub.2013.03.064.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, Michael, Gasper Tkacik, Julien Dubuis, Olivier Marre, and Ravá Da Silveira. “A Simple Method for Estimating the Entropy of Neural Activity.” Journal of Statistical Mechanics Theory and Experiment 2013, no. 3 (2013). https://doi.org/10.1088/1742-5468/2013/03/P03015.
View | 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 (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: 2919   OA
Baster, Pawel, Stéphanie Robert, Jürgen Kleine Vehn, Steffen Vanneste, Urszula Kania, Wim Grunewald, Bert De Rybel, Tom Beeckman, and Jirí Friml. “SCF^TIR1 AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.” EMBO Journal 32, no. 2 (2013): 260–74. https://doi.org/10.1038/emboj.2012.310.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the Royal Society of London Series B Biological Sciences 280, no. 1750 (2013). https://doi.org/10.1098/rspb.2012.2058.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 | Report | IST-REx-ID: 5401   OA
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
View | Files available
 

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
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology 23, no. 1 (2013): 76–82. https://doi.org/10.1016/j.cub.2012.11.034.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-130-v1-1.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,” 7935:150–71. Springer, 2013. https://doi.org/10.1007/978-3-642-38856-9_10.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.” In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013. https://doi.org/10.1145/2491956.2462184.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.563.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279
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 (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: 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: 2887   OA
Fang, Suqin, Randy Clark, Ying Zheng, Anjali Iyer Pascuzzi, Joshua Weitz, Leon Kochian, Herbert Edelsbrunner, Hong Liao, and Philip Benfey. “Genotypic Recognition and Spatial Responses by Rice Roots.” PNAS 110, no. 7 (2013): 2670–75. https://doi.org/10.1073/pnas.1222821110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2009   OA
Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality 5, no. 1 (2013): 137–66. https://doi.org/10.29012/jpc.v5i1.629 .
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2270   OA
Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
View | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen 66, no. 3/4 (2013): 559–87.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2244   OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-03841-4_41.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2472   OA
Cazzonelli, Christopher, Marleen Vanstraelen, Sibu Simon, Kuide Yin, Ashley Carron Arthur, Nazia Nisar, Gauri Tarle, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070069.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2516
Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.” IEEE Transactions on Pattern Analysis and Machine Intelligence 36, no. 3 (2013): 453–65. https://doi.org/10.1109/TPAMI.2013.140.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2410   OA
Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements 1, no. 3 (2013). https://doi.org/10.1128/genomeA.00216-13.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2287   OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution 3, no. 3 (2013): 629–39. https://doi.org/10.1002/ece3.465.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2294   OA
Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.” IEEE, 2013. https://doi.org/10.1109/ICCV.2013.139.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718   OA
Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013. https://doi.org/10.1145/2463372.2463568.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720   OA
Long, Hongan, Tiago Paixao, Ricardo Azevedo, and Rebecca Zufall. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics 195, no. 2 (2013): 527–40. https://doi.org/10.1534/genetics.113.153536 .
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782   OA
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics 152, no. 6 (2013): 1003–32. https://doi.org/10.1007/s10955-013-0807-8.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek, Martin, Marek Krcál, Jiří Matoušek, Lukáš Vokřínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.” In 45th Annual ACM Symposium on Theory of Computing, 595–604. ACM, 2013. https://doi.org/10.1145/2488608.2488683.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698   OA
Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society 15, no. 6 (2013): 2093–2113. https://doi.org/10.4171/JEMS/416.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2883   OA
Wang, Bangjun, Aurélien Bailly, Marta Zwiewk, Sina Henrichs, Elisa Azzarello, Stefano Mancuso, Masayoshi Maeshima, Jirí Friml, Alexander Schulz, and Markus Geisler. “Arabidopsis TWISTED DWARF1 Functionally Interacts with Auxin Exporter ABCB1 on the Root Plasma Membrane.” Plant Cell 25, no. 1 (2013): 202–14. https://doi.org/10.1105/tpc.112.105999.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
Barton, Nicholas H. “Does Hybridisation Influence Speciation?  .” Journal of Evolutionary Biology 26, no. 2 (2013): 267–69. https://doi.org/10.1111/jeb.12015.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
Kelleher, Jerome, Nicholas H Barton, and Alison Etheridge. “Coalescent Simulation in Continuous Space.” Bioinformatics 29, no. 7 (2013): 955–56. https://doi.org/10.1093/bioinformatics/btt067.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jirí Friml, Isabel Sá Correia, and Paula Duque. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.” Plant Cell 25, no. 3 (2013): 901–26. https://doi.org/10.1105/tpc.113.110353.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
Tran Viet, Khanh, Caldwell Powell, Veluchamy Barathi, Thomas Klemm, Sebastian Maurer Stroh, Vachiranee Limviphuvadh, Vincent Soler, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” American Journal of Human Genetics 92, no. 5 (2013): 820–26. https://doi.org/10.1016/j.ajhg.2013.04.005.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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: 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: 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: 2857   OA
Szobota, Stephanie, Catherine Mckenzie, and Harald L Janovjak. “Optical Control of Ligand-Gated Ion Channels.” Methods in Molecular Biology 998 (2013): 417–35. https://doi.org/10.1007/978-1-62703-351-0_32.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
Rose, Tobias, Philipp Schönenberger, Karel Jezek, and Thomas Oertner. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.” Neuron 77, no. 6 (2013): 1109–21. https://doi.org/10.1016/j.neuron.2013.01.021.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis, Julien, Gasper Tkacik, 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: 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 (ext.) | PubMed | Europe PMC
 

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: 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 | Technical Report | IST-REx-ID: 5402   OA
Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-123-v1-1.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407   OA
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
View | DOI | Download (ext.) | arXiv
 

2013 | Technical Report | IST-REx-ID: 5399
Reiter, Johannes, Ivana Bozic, Krishnendu Chatterjee, and Martin Nowak. TTP: Tool for Tumor Progression. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-104-v1-1.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013. https://doi.org/10.1145/2429069.2429109.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer 15, no. 5–6 (2013): 585–601. https://doi.org/10.1007/s10009-011-0207-9.
View | Files available | DOI
 

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 (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 (ext.)
 

2013 | Journal Article | IST-REx-ID: 2282   OA
Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology 15 (2013): 1405–14. https://doi.org/10.1038/ncb2869.
View | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_37.
View | DOI | Download (ext.) | arXiv
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View | Files available | Download (ext.)
 

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 | Conference Paper | IST-REx-ID: 2237   OA
Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_13.
View | Files available | DOI
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria, 2013.
View
 

2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, Vojtěch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_17.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften 100, no. 12 (2013): 1125–36. https://doi.org/10.1007/s00114-013-1115-5.
View | DOI
 

2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013. https://doi.org/10.1007/978-3-642-40708-6.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2290   OA
Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jirí Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS 110, no. 40 (2013): 16259–64. https://doi.org/10.1073/pnas.1309057110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2264   OA
Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development 140, no. 3 (2013): 552–61. https://doi.org/10.1242/dev.085621 .
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology 8, no. 6 (2013): 557–68. https://doi.org/10.1007/s11515-013-1279-6.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2276   OA
Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,” 2320–27. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.288.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2466   OA
Ando, Ryoichi, Nils Thuerey, and Christopher J Wojtan. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2461982.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473   OA
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology 87, no. 8 (2013): 75–89. https://doi.org/10.1016/j.tpb.2012.12.001.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
Paixao, Tiago, and Nicholas H Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 845–52. ACM, 2013. https://doi.org/10.1145/2463372.2463470.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2808   OA
Landberg, Katarina, Eric Pederson, Tom Viaene, Behruz Bozorg, Jirí Friml, Henrik Jönsson, Mattias Thelander, and Eva Sundberg. “The Moss Physcomitrella Patens Reproductive Organ Development Is Highly Organized, Affected by the Two SHI/STY Genes and by the Level of Active Auxin in the SHI/STY Expression Domain.” Plant Physiology 162, no. 3 (2013): 1406–19. https://doi.org/10.1104/pp.113.214023.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822   OA
Topp, Christopher, Anjali Iyer Pascuzzi, Jill Anderson, Cheng Lee, Paul Zurek, Olga Symonova, Ying Zheng, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” PNAS 110, no. 18 (2013): E1695–1704. https://doi.org/10.1073/pnas.1304354110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827   OA
Du, Yunlong, Ricardo Tejos, Martina Beck, Ellie Himschoot, Hongjiang Li, Silke Robatzek, Steffen Vanneste, and Jirí Friml. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” PNAS 110, no. 19 (2013): 7946–51. https://doi.org/10.1073/pnas.1220205110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 (ext.) | arXiv
 

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: 2810   OA
De Vos, Marjon, Frank Poelwijk, Nico Battich, Joseph Ndika, and Sander Tans. “Environmental Dependence of Genetic Constraint.” PLoS Genetics 9, no. 6 (2013). https://doi.org/10.1371/journal.pgen.1003580.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2846   OA
El Masri, Leila, Rebecca Schulte, Nadine Timmermeyer, Stefanie Thanisch, Lena Crummenerl, Gunther Jansen, Nico Michiels, and Hinrich Schulenburg. “Sex Differences in Host Defence Interfere with Parasite-Mediated Selection for Outcrossing during Host-Parasite Coevolution.” Ecology Letters 16, no. 4 (2013): 461–68. https://doi.org/10.1111/ele.12068.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860   OA
Dupret, David, Joseph O’Neill, and Jozsef L Csicsvari. “Dynamic Reconfiguration of Hippocampal Interneuron Circuits during Spatial Learning.” Neuron 78, no. 1 (2013): 166–80. https://doi.org/10.1016/j.neuron.2013.01.033.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909   OA
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment 2013, no. 1 (2013). https://doi.org/10.1088/1742-5468/2013/01/P01002 .
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences 280, no. 1759 (2013). https://doi.org/10.1098/rspb.2012.3035.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.” Formal Methods in System Design 42, no. 2 (2013): 142–74. https://doi.org/10.1007/s10703-012-0170-4.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry 49, no. 4 (2013): 797–822. https://doi.org/10.1007/s00454-013-9517-x.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.” Frontiers in Behavioral Neuroscience 7, no. DEC (2013). https://doi.org/10.3389/fnbeh.2013.00217.
View | Files available | DOI
 

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 (ext.) | PubMed | Europe PMC
 

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: 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 | 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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed