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.

2751 Publications


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: 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 | 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: 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. Springer Nature, 2013. https://doi.org/10.1186/1479-5876-11-307.
View | Files available | DOI | PubMed | Europe PMC
 

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: 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: 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 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013.
View | Files available
 

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: 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: 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 | 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 | 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. 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 | 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, 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: 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 | 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: 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 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” IST Austria, 2013.
View | Files available | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications