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
Anthrax toxin receptor 2a controls mitotic spindle positioning
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 2919 | OA
SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism
P. Baster, S. Robert, J. Kleine Vehn, S. Vanneste, U. Kania, W. Grunewald, B. De Rybel, T. Beeckman, J. Friml, EMBO Journal 32 (2013) 260–274.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2920 | OA
Neurulation coordinating cell polarisation and lumen formation
J. Compagnon, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 1–3.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 2926
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 2939
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
View | Files available | DOI | WoS
 
earlier version | 2013 | Published | Conference Paper | IST-REx-ID: 2940 | OA
A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it
S. Krenn, K.Z. Pietrzak, A. Wadia, in:, A. Sahai (Ed.), Springer, 2013, pp. 23–39.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2944
Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.
View | Files available | DOI | WoS
 
2013 | Published | Conference Paper | IST-REx-ID: 2948 | OA
Beyond dataset bias: Multi-task unaligned shared knowledge transfer
T. Tommasi, N. Quadrianto, B. Caputo, C. Lampert, 7724 (2013) 1–15.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2182
Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
View | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2013 | Published | Conference Paper | IST-REx-ID: 1385 | OA
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
Analysis of dynamic message passing programs
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 | Thesis | PhD | IST-REx-ID: 1406
Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, 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
Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
M. Pickup, D. Field, D. Rowell, A. Young, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2013 | Published | Journal Article | IST-REx-ID: 476 | OA
Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions
D. Dickerson, D. Bilkey, Frontiers in Behavioral Neuroscience 7 (2013).
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 499
Dynamic persistence of antibiotic-stressed mycobacteria
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 500 | OA
Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary Biology 13 (2013).
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed