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.
5339 Publications
2014 | Published | Book Chapter | IST-REx-ID: 6178
UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
View
| DOI
| PubMed | Europe PMC
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
2014 | Published | Conference Paper | IST-REx-ID: 1507 | 
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
2014 | Published | Conference Paper | IST-REx-ID: 1516 |
On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
2014 | Published | Journal Article | IST-REx-ID: 1629 |
Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
[Submitted Version]
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 | Published | Book Chapter | IST-REx-ID: 1806
Auxin on the road navigated by cellular PIN polarity
P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
View
| DOI
P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
2014 | Published | Journal Article | IST-REx-ID: 1816 |
Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
[Published Version]
View
| Files available
| DOI
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
2014 | Published | Journal Article | IST-REx-ID: 1821 |
Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).
[Submitted Version]
View
| Files available
| DOI
R. Seiringer, Journal of Mathematical Physics 55 (2014).
2014 | Published | Journal Article | IST-REx-ID: 1822
Introduction
V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
View
| DOI
V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
2014 | Published | Book Chapter | IST-REx-ID: 1829
Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
View
| DOI
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
2014 | Published | Journal Article | IST-REx-ID: 1842 |
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
2014 | Published | Journal Article | IST-REx-ID: 1844 |
Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
[Published Version]
View
| Files available
| DOI
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
2014 | Published | Journal Article | IST-REx-ID: 1852 |
An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
2014 | Published | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View
| DOI
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
2014 | Published | Journal Article | IST-REx-ID: 1854 |
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
[Submitted Version]
View
| Files available
| DOI
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
2014 | Published | Journal Article | IST-REx-ID: 1862 |
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
2014 | Published | Conference Paper | IST-REx-ID: 1869
Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
View
| DOI
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
2014 | Published | Conference Paper | IST-REx-ID: 1870 |
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
2014 | Published | Conference Paper | IST-REx-ID: 1872 |
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
2014 | Published | Conference Paper | IST-REx-ID: 1875 |
Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
[Submitted Version]
View
| Files available
| DOI
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.