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.
6767 Publications
earlier version | 2013 |
Published |
Conference Paper |
IST-REx-ID: 2940 |
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.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2944
Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology. Wiley-Blackwell, 2013. https://doi.org/10.1111/mec.12165.
View
| Files available
| DOI
| WoS
2013 |
Published |
Conference Paper |
IST-REx-ID: 2948 |
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.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 1374 |
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.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1405 |
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 476 |
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.
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
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
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 500 |
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.
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 501 |
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.
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
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 |
Published |
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
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 507 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 508 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 509 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 511 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 516 |
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.
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
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
| WoS
2013 |
Published |
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
| WoS