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

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




3161 Publications

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. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0054285.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2839 | OA
Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid de Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” Science. American Association for the Advancement of Science, 2013. https://doi.org/10.1126/science.1228456.
View | DOI | Download Published Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, Tiffany, Jeremy Camon, Alice Alvernhe, Coralie Elduayen, Francesca Sargolini, and Étienne Save. “Distinct Roles of Medial and Lateral Entorhinal Cortex in Spatial Cognition.” Cerebral Cortex. Oxford University Press, 2013. https://doi.org/10.1093/cercor/bhs033.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2841
Morita, Hitoshi, and Carl-Philipp J Heisenberg. “Holding on and Letting Go: Cadherin Turnover in Cell Intercalation.” Developmental Cell. Cell Press, 2013. https://doi.org/10.1016/j.devcel.2013.03.007.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology. Elsevier, 2013. https://doi.org/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.” 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 Marhavý, 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. Cell Press, 2013. 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. Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.01.021.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkačik, Gašper, 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. IOP Publishing Ltd., 2013. 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, Gašper Tkačik, 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. IOP Publishing Ltd., 2013. https://doi.org/10.1088/1742-5468/2013/03/P03015.
View | DOI
 
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. Elsevier, 2013. 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. Cell Press, 2013. 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. Nature Publishing Group, 2013. 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. Springer, 2013. https://doi.org/10.1007/978-1-62703-351-0_32.
View | Files available | DOI
 
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. Wiley-Blackwell, 2013. 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. International Press, 2013. https://doi.org/10.4310/HHA.2013.v15.n1.a3.
View | DOI | Download Preprint (ext.) | arXiv
 
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. Elsevier, 2013. 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. IOP Publishing Ltd., 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. Company of Biologists, 2013. 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. Public Library of Science, 2013. https://doi.org/10.1371/journal.pcbi.1002922.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2880 | OA
Marhavý, 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. Wiley-Blackwell, 2013. 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 Jiří Friml. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.” PNAS. National Academy of Sciences, 2013. 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, Jiří Friml, Alexander Schulz, and Markus Geisler. “Arabidopsis TWISTED DWARF1 Functionally Interacts with Auxin Exporter ABCB1 on the Root Plasma Membrane.” Plant Cell. American Society of Plant Biologists, 2013. 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. Éditions Médicales et Scientifiques, 2013. https://doi.org/10.1051/medsci/2013292011.
View | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, Antonin, Thomas A Henzinger, Jaroslav Nesetril, Tomas Vojnar, and David Antos, eds. Mathematical and Engineering Methods in Computer Science. Vol. 7721. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/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.” 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. National Academy of Sciences, 2013. 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 | 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: 2908 | OA
Barton, Nicholas H. “Does Hybridisation Influence Speciation?  .” Journal of Evolutionary Biology. Wiley-Blackwell, 2013. 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. IOP Publishing Ltd., 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. Oxford University Press, 2013. https://doi.org/10.1093/bioinformatics/btt067.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2913 | OA
Tkačik, Gašper, Einat Granot Atedgi, Ronen Segev, and Elad Schneidman. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.058104.
View | DOI | Download Preprint (ext.)
 
2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens, Greg, Thierry Mora, Gašper Tkačik, and William Bialek. “Statistical Thermodynamics of Natural Images.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.018701.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
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. Nature Publishing Group, 2013. 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 Jiří Friml. “SCF^TIR1 AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.” EMBO Journal. Wiley-Blackwell, 2013. 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. Wiley-Blackwell, 2013. https://doi.org/10.1038/emboj.2012.325.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications. Elsevier, 2013. https://doi.org/10.1016/j.comgeo.2012.02.010.
View | Files available | DOI
 
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 | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi, Tatiana, Novi Quadrianto, Barbara Caputo, and Christoph Lampert. “Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-37331-2_1.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00451.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, Krzysztof T Wabnik, and Eva Benková. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00537.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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 . Carnegie Mellon University, 2013. https://doi.org/10.29012/jpc.v5i1.629.
View | DOI | Download Published Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/12-AOS1080.
View | DOI | Download Published Version (ext.) | arXiv
 
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 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,” 37–46. IEEE, 2013. https://doi.org/10.1109/ISVD.2013.11.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.
View | Download Submitted Version (ext.)
 
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 | 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: 2258 | OA
Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_31.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_4.
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. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fnbeh.2013.00217.
View | Files available | DOI
 
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. American Association for the Advancement of Science, 2013. https://doi.org/10.1126/science.1229858.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-222.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A New Species of Tapir from the Amazon.” Journal of Mammalogy. Oxford University Press, 2013. https://doi.org/10.1644/12-MAMM-A-169.1.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.” Journal of Computer Security. IOS Press, 2013. https://doi.org/10.3233/JCS-130477.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 505
Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel, Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36666e.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jiří Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114264.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution. Oxford University Press, 2013. https://doi.org/10.1093/molbev/mst119.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, Simone, Niloufer Irani, Soo Kim, Zheng Xu, Astrid Gadeyne, Wim Dejonghe, Isabelle Vanhoutte, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114058.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, Aleš, Biljana Simonovik, Sara Petersson, Eva Henyková, Sibu Simon, Kathleen Greenham, Yi Zhang, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.” Plant Cell. American Society of Plant Biologists, 2013. https://doi.org/10.1105/tpc.113.114421.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, Bastiaan, Steffen Vanneste, Gabriel Krouk, Tal Nawy, Idan Efroni, Eilon Shani, Goh Choe, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology. Nature Publishing Group, 2013. https://doi.org/10.1038/msb.2013.40.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters. Elsevier, 2013. https://doi.org/10.1016/j.imlet.2013.07.007.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jiří Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.10.038.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 528
Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jiří Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.09.039.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5399 | OA
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 | 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 | 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 | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-127-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-128-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5406 | OA
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 | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-144-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 
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 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 
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 Preprint (ext.) | arXiv
 
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 | 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 | 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. Royal Society, The, 2013. https://doi.org/10.1098/rspb.2012.2058.
View | DOI | Download Submitted Version (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. Springer, 2013. https://doi.org/10.1007/s10703-012-0170-4.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, Julien, Gašper Tkačik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.” PNAS. National Academy of Sciences, 2013. https://doi.org/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.” In Encyclopedia of Systems Biology, edited by Werner Dubitzky, Olaf Wolkenhauer, Kwang Cho, and Hiroki Yokota, 3:1069–1069. Springer, 2013. https://doi.org/10.1007/978-1-4419-9863-7_604.
View | DOI
 
2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” IST Austria, 2013.
View | Files available | Download Published Version (ext.)
 
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 | 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 | 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. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.
View | Files available | DOI
 
2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.s001.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology. BioMed Central, 2013. https://doi.org/10.1186/1471-2148-13-225.
View | Files available | DOI
 
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. Public Library of Science, 2013. https://doi.org/10.1371/journal.pcbi.1003344.
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. Royal Society, The, 2013. https://doi.org/10.1098/rspb.2012.3035.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Research Data Reference | IST-REx-ID: 9751
Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Dryad, 2013. https://doi.org/10.5061/dryad.b1q2n.
View | Files available | DOI
 

Search

Filter Publications