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.

2802 Publications


2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:10.1016/j.ic.2013.04.003.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2826 | OA
Tran Viet, Khanh, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” American Journal of Human Genetics, vol. 92, no. 5, Cell Press, 2013, pp. 820–26, doi:10.1016/j.ajhg.2013.04.005.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827 | OA
Du, Yunlong, et al. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” PNAS, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7946–51, doi:10.1073/pnas.1220205110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2828 | OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM, vol. 60, no. 2, 10, ACM, 2013, doi:10.1145/2450142.2450146.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2829 | OA
Shi, Liang, et al. “Scale Invariance at the Onset of Turbulence in Couette Flow.” Physical Review Letters, vol. 110, no. 20, 204502, American Physical Society, 2013, doi: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, vol. 38, no. 5, Cell Press, 2013, pp. 853–54, doi:10.1016/j.immuni.2013.05.005.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2831 | OA
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2832 | OA
Tanaka, Hirokazu, et al. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.” PLoS Genetics, vol. 9, no. 5, e1003540, Public Library of Science, 2013, doi: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, vol. 153, no. 5, Cell Press, 2013, pp. 948–62, doi:10.1016/j.cell.2013.05.008.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2834 | OA
Avila, Marc, et al. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” Physical Review Letters, vol. 110, no. 22, 224502, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.224502.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu, Hong, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” Plant Physiology, vol. 162, no. 2, American Society of Plant Biologists, 2013, pp. 965–76, doi: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, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2837 | OA
Erdös, László, et al. “The Local Semicircle Law for a General Class of Random Matrices.” Electronic Journal of Probability, vol. 18, no. 59, Institute of Mathematical Statistics, 2013, pp. 1–58, doi:10.1214/EJP.v18-2473.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2838 | OA
Arquè Fuste, Gloria, et al. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.” PLoS One, vol. 8, no. 1, e54285, Public Library of Science, 2013, doi:10.1371/journal.pone.0054285.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839 | OA
Weber, Michele, et al. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” Science, vol. 339, no. 6117, American Association for the Advancement of Science, 2013, pp. 328–32, doi:10.1126/science.1228456.
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, Tiffany, et al. “Distinct Roles of Medial and Lateral Entorhinal Cortex in Spatial Cognition.” Cerebral Cortex, vol. 23, no. 2, Oxford University Press, 2013, pp. 451–59, doi: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, vol. 24, no. 6, Cell Press, 2013, pp. 567–69, doi:10.1016/j.devcel.2013.03.007.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton, Nicholas H., et al. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology, vol. 87, no. 1, Elsevier, 2013, pp. 105–19, doi:10.1016/j.tpb.2013.03.001.
View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, Michel, et al. “An Auxin Transport Mechanism Restricts Positive Orthogravitropism in Lateral Roots.” Current Biology, vol. 23, no. 9, Cell Press, 2013, pp. 817–22, doi:10.1016/j.cub.2013.03.064.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
Rose, Tobias, et al. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.” Neuron, vol. 77, no. 6, Elsevier, 2013, pp. 1109–21, doi:10.1016/j.neuron.2013.01.021.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
El Masri, Leila, et al. “Sex Differences in Host Defence Interfere with Parasite-Mediated Selection for Outcrossing during Host-Parasite Coevolution.” Ecology Letters, vol. 16, no. 4, Wiley-Blackwell, 2013, pp. 461–68, doi:10.1111/ele.12068.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi: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, et al. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, IOP Publishing Ltd., 2013, p. P03011, doi:10.1088/1742-5468/2013/03/P03011.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, Michael, et al. “A Simple Method for Estimating the Entropy of Neural Activity.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, P03015, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/03/P03015.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, Dominik, et al. “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, vol. 280, no. 1759, Royal Society, The, 2013, doi:10.1098/rspb.2012.3035.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
Hippenmeyer, Simon, et al. “Mosaic Analysis with Double Markers Reveals Cell Type Specific Paternal Growth Dominance.” Cell Reports, vol. 3, no. 3, Cell Press, 2013, pp. 960–67, doi:10.1016/j.celrep.2013.02.002.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856 | OA
Levitz, Joshua, et al. “Optical Control of Metabotropic Glutamate Receptors.” Nature Neuroscience, vol. 16, Nature Publishing Group, 2013, pp. 507–16, doi:10.1038/nn.3346.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2857 | OA
Szobota, Stephanie, et al. “Optical Control of Ligand-Gated Ion Channels.” Methods in Molecular Biology, vol. 998, Springer, 2013, pp. 417–35, doi:10.1007/978-1-62703-351-0_32.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
Bendich, Paul, et al. “Homology and Robustness of Level and Interlevel Sets.” Homology, Homotopy and Applications, vol. 15, no. 1, International Press, 2013, pp. 51–72, doi:10.4310/HHA.2013.v15.n1.a3.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2860 | OA
Dupret, David, et al. “Dynamic Reconfiguration of Hippocampal Interneuron Circuits during Spatial Learning.” Neuron, vol. 78, no. 1, Elsevier, 2013, pp. 166–80, doi:10.1016/j.neuron.2013.01.033.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler, Vicente, et al. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.” Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 12, 125101, IOP Publishing Ltd., 2013, doi:10.1088/1751-8113/46/12/125101.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
Tay, Hwee, et al. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.” Development, vol. 140, no. 7, Company of Biologists, 2013, pp. 1550–59, doi:10.1242/dev.087130.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863 | OA
Granot Atedgi, Einat, et al. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.” PLoS Computational Biology, vol. 9, no. 3, e1002922, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1002922.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2880 | OA
Marhavy, Peter, et al. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.” EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 149–58, doi: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, et al. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.” PNAS, vol. 110, no. 9, National Academy of Sciences, 2013, pp. 3627–32, doi:10.1073/pnas.1300107110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2883 | OA
Wang, Bangjun, et al. “Arabidopsis TWISTED DWARF1 Functionally Interacts with Auxin Exporter ABCB1 on the Root Plasma Membrane.” Plant Cell, vol. 25, no. 1, American Society of Plant Biologists, 2013, pp. 202–14, doi: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, et al. “Cell Adhesion Mechanics of Zebrafish Gastrulation.” Medecine Sciences, vol. 29, no. 2, Éditions Médicales et Scientifiques, 2013, pp. 147–50, doi:10.1051/medsci/2013292011.
View | DOI
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, Antonin, et al., editors. Mathematical and Engineering Methods in Computer Science. Vol. 7721, Springer, 2013, pp. 1–228, doi:10.1007/978-3-642-36046-6.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik, Martin, and Vojtěch Řehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.
View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2887 | OA
Fang, Suqin, et al. “Genotypic Recognition and Spatial Responses by Rice Roots.” PNAS, vol. 110, no. 7, National Academy of Sciences, 2013, pp. 2670–75, doi:10.1073/pnas.1222821110.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450 | OA
Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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, vol. 7, no. DEC, Frontiers Research Foundation, 2013, doi:10.3389/fnbeh.2013.00217.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Yurichi, et al. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.” Science, vol. 339, no. 6115, American Association for the Advancement of Science, 2013, pp. 91–95, doi:10.1126/science.1229858.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology, vol. 13, no. 1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, et al. “Short Blind Signatures.” Journal of Computer Security, vol. 21, no. 5, IOS Press, 2013, pp. 627–61, doi:10.3233/JCS-130477.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 505
Greimel, Katrin, et al. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry, vol. 15, no. 2, Royal Society of Chemistry, 2013, pp. 381–88, doi:10.1039/c2gc36666e.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi: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, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution, vol. 30, no. 9, Oxford University Press, 2013, pp. 2157–67, doi:10.1093/molbev/mst119.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, Simone, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2986–97, doi: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š, 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, vol. 25, no. 10, American Society of Plant Biologists, 2013, pp. 3858–70, doi:10.1105/tpc.113.114421.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, Bastiaan, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology, vol. 9, no. 1, 688, Nature Publishing Group, 2013, doi:10.1038/msb.2013.40 .
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters, vol. 154, no. 1–2, Elsevier, 2013, pp. 31–41, doi:10.1016/j.imlet.2013.07.007.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T., et al. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2513–18, doi:10.1016/j.cub.2013.10.038.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 528
Robert, Hélène, et al. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2506–12, doi:10.1016/j.cub.2013.09.039.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-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 | Technical Report | IST-REx-ID: 5402 | OA
Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
View | Files available | 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, doi:10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-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 | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2901 | OA
Chen, Chao, et al. Computing the M Most Probable Modes of a Graphical Model. Vol. 31, JMLR, 2013, pp. 161–69.
View | Download None (ext.)
 

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

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

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

2013 | Journal Article | IST-REx-ID: 2909 | OA
Barton, Nicholas H., et al. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/01/P01002 .
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910 | OA
Kelleher, Jerome, et al. “Coalescent Simulation in Continuous Space.” Bioinformatics, vol. 29, no. 7, Oxford University Press, 2013, pp. 955–56, doi:10.1093/bioinformatics/btt067.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2913 | OA
Tkacik, Gasper, et al. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.” Physical Review Letters, vol. 110, no. 5, 058104, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.058104.
View | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.” Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2918
Castanon, Irinka, et al. “Anthrax Toxin Receptor 2a Controls Mitotic Spindle Positioning.” Nature Cell Biology, vol. 15, no. 1, Nature Publishing Group, 2013, pp. 28–39, doi:10.1038/ncb2632.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2919 | OA
Baster, Pawel, et al. “SCF^TIR1 AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.” EMBO Journal, vol. 32, no. 2, Wiley-Blackwell, 2013, pp. 260–74, doi: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, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 1–3, doi:10.1038/emboj.2012.325.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications, vol. 46, no. 4, Elsevier, 2013, pp. 435–47, doi:10.1016/j.comgeo.2012.02.010.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2940 | OA
Krenn, Stephan, et al. A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It. Edited by Amit Sahai, vol. 7785, Springer, 2013, pp. 23–39, doi:10.1007/978-3-642-36594-2_2.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, Simon, et al. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology, vol. 22, no. 4, Wiley-Blackwell, 2013, pp. 987–1002, doi:10.1111/mec.12165.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi, Tatiana, et al. Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer. Vol. 7724, Springer, 2013, pp. 1–15, doi:10.1007/978-3-642-37331-2_1.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” Encyclopedia of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013, pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.
View | 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, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
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 | 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
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications