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 | OA
S. Krenn, K. Z. Pietrzak, and A. Wadia, “A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it,” presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan, 2013, vol. 7785, pp. 23–39.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2944
S. Aeschbacher, A. Futschik, and M. Beaumont, “Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. ,” Molecular Ecology, vol. 22, no. 4. Wiley-Blackwell, pp. 987–1002, 2013.
View | Files available | DOI | WoS
 
2013 | Published | Conference Paper | IST-REx-ID: 2948 | OA
T. Tommasi, N. Quadrianto, B. Caputo, and C. Lampert, “Beyond dataset bias: Multi-task unaligned shared knowledge transfer,” vol. 7724. Springer, pp. 1–15, 2013.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2182
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative abstraction refinement,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 115–128.
View | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 476 | OA
D. Dickerson and D. 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.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 499
Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,” Science, vol. 339, no. 6115. American Association for the Advancement of Science, pp. 91–95, 2013.
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 500 | OA
M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 501 | OA
M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal of Mammalogy, vol. 94, no. 6. Oxford University Press, pp. 1331–1345, 2013.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 502
O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,” Journal of Computer Security, vol. 21, no. 5. IOS Press, pp. 627–661, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 505
K. Greimel 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, pp. 381–388, 2013.
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 507 | OA
S. Kim 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, pp. 2970–2985, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 508 | OA
E. Tarazona Santos 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, pp. 2157–2167, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 509 | OA
S. Di Rubbo 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, pp. 2986–2997, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 511 | OA
A. Pěnčík 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, pp. 3858–3870, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 516 | OA
B. Bargmann et al., “A map of cell type‐specific auxin responses,” Molecular Systems Biology, vol. 9, no. 1. Nature Publishing Group, 2013.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 522
E. Fuertbauer et al., “Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells,” Immunology Letters, vol. 154, no. 1–2. Elsevier, pp. 31–41, 2013.
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 527
K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2513–2518, 2013.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed