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.




6456 Publications

2013 | Published | 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 | WoS
 
2013 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | 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 | WoS
 
2013 | Published | 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 | WoS
 
earlier version | 2013 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2013 | Published | 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 | Files available | DOI | WoS
 
2013 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View | DOI
 
2013 | Published | 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.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2013 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.
View
 
2013 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | 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 | WoS
 
2013 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed