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.

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

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 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development 28, no. 4 (2013): 331–44. https://doi.org/10.1007/s00450-013-0251-7.
View | Files available | 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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,” 115–29. IEEE, 2013. https://doi.org/10.1109/CSF.2013.15.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, eds. Mathematical Foundations of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40313-2.
View | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics 8, no. 2 (2013): 185–232. https://doi.org/10.1007/s11537-013-1264-5.
View | DOI | Download Preprint (ext.) | arXiv
 

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 | 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 | 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: 2277 | OA
Simmons, Kristina, Jason Prentice, Gašper Tkačik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology 9, no. 12 (2013). https://doi.org/10.1371/journal.pcbi.1003344.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejčí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science 126, no. 21 (2013): 4873–84. https://doi.org/10.1242/jcs.125617.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review 55, no. 4 (2013): 671–706. https://doi.org/10.1137/120872309.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-109-v1-1.
View | Files available | DOI
 

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 | 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: 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 Submitted Version (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 Preprint (ext.) | arXiv
 

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

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, Vladimir. “The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization,” 7965:625–36. Springer, 2013. https://doi.org/10.1007/978-3-642-39206-1_53.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto, Novi, Viktoriia Sharmanska, David Knowles, and Zoubin Ghahramani. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” In Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, 527–36. AUAI Press, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2810 | OA
Vos, Marjon de, 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: 2811 | OA
Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.” Physical Review E 87, no. 6 (2013). https://doi.org/10.1103/PhysRevE.87.063012.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences 79, no. 5 (2013): 640–57. https://doi.org/10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
Hippenmeyer, Simon, Randy Johnson, and Liqun Luo. “Mosaic Analysis with Double Markers Reveals Cell Type Specific Paternal Growth Dominance.” Cell Reports 3, no. 3 (2013): 960–67. https://doi.org/10.1016/j.celrep.2013.02.002.
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 Submitted Version (ext.) | PubMed | Europe PMC
 

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 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” In 17th IAPR International Conference on Discrete Geometry for Computer Imagery, 7749:XV–XIX. Springer, 2013. https://doi.org/10.1007/978-3-642-37067-0.
View | Files available | DOI
 

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: 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: 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 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkacik, Gasper, Olivier Marre, Thierry Mora, Dario Amodei, Michael Berry, and William Bialek. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.” Journal of Statistical Mechanics Theory and Experiment 2013, no. 3 (2013): P03011. https://doi.org/10.1088/1742-5468/2013/03/P03011.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 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: 2861
Botella Soler, Vicente, José Oteo, Javier Ros, and Paul Glendinning. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.” Journal of Physics A: Mathematical and Theoretical 46, no. 12 (2013). https://doi.org/10.1088/1751-8113/46/12/125101.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
Tay, Hwee, Sabrina Schulze, Julien Compagnon, Fiona Foley, Carl-Philipp J Heisenberg, H Joseph Yost, Salim Abdelilah Seyfried, and Jeffrey Amack. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.” Development 140, no. 7 (2013): 1550–59. https://doi.org/10.1242/dev.087130.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863 | OA
Granot Atedgi, Einat, Gašper Tkačik, 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: 2880 | OA
Marhavy, Peter, Marleen Vanstraelen, Bert De Rybel, Ding Zhaojun, Malcolm Bennett, Tom Beeckman, and Eva Benková. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.” EMBO Journal 32, no. 1 (2013): 149–58. https://doi.org/10.1038/emboj.2012.303.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

2013 | Journal Article | IST-REx-ID: 2884
Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Cell Adhesion Mechanics of Zebrafish Gastrulation.” Medecine Sciences 29, no. 2 (2013): 147–50. https://doi.org/10.1051/medsci/2013292011.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik, Martin, and Vojtěch Řehák. “Controllable-Choice Message Sequence Graphs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36046-6_12.
View | DOI | Download Submitted Version (ext.)
 

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

2013 | Conference Paper | IST-REx-ID: 2901 | OA
Chen, Chao, Vladimir Kolmogorov, Zhu Yan, Dimitris Metaxas, and Christoph Lampert. “Computing the M Most Probable Modes of a Graphical Model,” 31:161–69. JMLR, 2013.
View | Download None (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906 | OA
Kerber, Michael, and Herbert Edelsbrunner. “3D Kinetic Alpha Complexes and Their Implementation.” In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, 70–77. Society of Industrial and Applied Mathematics, 2013. https://doi.org/10.1137/1.9781611972931.6.
View | Files available | DOI
 

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: 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: 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: 2913 | OA
Tkacik, Gasper, Einat Granot Atedgi, Ronen Segev, and Elad Schneidman. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.” Physical Review Letters 110, no. 5 (2013). https://doi.org/10.1103/PhysRevLett.110.058104.
View | DOI | Download Preprint (ext.)
 

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 | Journal Article | IST-REx-ID: 2918
Castanon, Irinka, Laurence Abrami, Laurent Holtzer, Carl-Philipp J Heisenberg, Françoise Van Der Goot, and Marcos González Gaitán. “Anthrax Toxin Receptor 2a Controls Mitotic Spindle Positioning.” Nature Cell Biology 15, no. 1 (2013): 28–39. https://doi.org/10.1038/ncb2632.
View | 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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2920 | OA
Compagnon, Julien, and Carl-Philipp J Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.” EMBO Journal 32, no. 1 (2013): 1–3. https://doi.org/10.1038/emboj.2012.325.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications 6, no. 1 (2013): 34–45. https://doi.org/10.1111/eva.12020.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
Bendich, Paul, Herbert Edelsbrunner, Dmitriy Morozov, and Amit Patel. “Homology and Robustness of Level and Interlevel Sets.” Homology, Homotopy and Applications 15, no. 1 (2013): 51–72. https://doi.org/10.4310/HHA.2013.v15.n1.a3.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 8245 | OA
Petricevic, Branka, Johannes Laengle, Josef Singer, Monika Sachet, Judit Singer, Guenther Steger, Rupert Bartsch, Erika Jensen-Jarolim, and Michael Bergmann. “Trastuzumab Mediates Antibody-Dependent Cell-Mediated Cytotoxicity and Phagocytosis to the Same Extent in Both Adjuvant and Metastatic HER2/Neu Breast Cancer Patients.” Journal of Translational Medicine 11 (2013). https://doi.org/10.1186/1479-5876-11-307.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
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 | 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 | 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 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One 8, no. 12 (2013). https://doi.org/10.1371/journal.pone.0080814.
View | Files available | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, Pawel Baster, Jirí Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior 8, no. 10 (2013). https://doi.org/10.4161/psb.25688.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2449
Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jirí Friml. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” Molecular Plant 6, no. 6 (2013): 1849–62. https://doi.org/10.1093/mp/sst044.
View | DOI
 

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: 2467 | OA
Bernstein, Gilbert, and Christopher J Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2462027.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, Morten, and Christopher J Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2461991.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology 23, no. 14 (2013): R626–33. https://doi.org/10.1016/j.cub.2013.06.019.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Čovanová, Milada, Michael Sauer, Jan Rychtář, Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070050.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, Inmaculada, Antonio Ariza, Keith Wilson, Michael Skjøt, Jesper Vind, Leonardo De Maria, Lars Skov, and Jose Sánchez Ruiz. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070013.
View | Files available | DOI
 

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: 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 | 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 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
View | Files available | 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: 2412 | OA
Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology 13, no. 1 (2013): 54–54. https://doi.org/10.1186/1471-2148-13-54.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” In Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson. Wiley-VCH, 2013. https://doi.org/10.1002/9783527671632.ch08.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jirí Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist 200, no. 4 (2013): 1034–48. https://doi.org/10.1111/nph.12437.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_36.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B 88, no. 6 (2013). https://doi.org/10.1103/PhysRevB.88.064401.
View | DOI | Download Preprint (ext.) | arXiv
 

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

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 | Journal Article | IST-REx-ID: 2304
Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics 43 (2013): 43–50. https://doi.org/10.1016/j.endm.2013.07.008.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.1007/978-3-642-40184-8_18.
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 Submitted Version (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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup, Melinda, Susie Wilson, David Freudenberger, Nick Nicholls, Lori Gould, Sarah Hnatiuk, and Jeni Delandre. “Post-Fire Recovery of Revegetated Woodland Communities in South-Eastern Australia.” Austral Ecology 38, no. 3 (2013): 300–312. https://doi.org/10.1111/j.1442-9993.2012.02404.x.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications