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.
5148 Publications
2014 |Published| Conference Paper | IST-REx-ID: 2053 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
2014 |Published| Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
View
| DOI
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
2014 |Published| Conference Paper | IST-REx-ID: 2046 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Policy-based signatures
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
2014 |Published| Journal Article | IST-REx-ID: 2050 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
2014 |Published| Journal Article | IST-REx-ID: 2059 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
[Published Version]
View
| Files available
| DOI
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
2014 |Published| Journal Article | IST-REx-ID: 2062 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
[Submitted Version]
View
| Files available
| DOI
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2058 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Blending liquids
K. Raveendran, C. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics, ACM, 2014.
[Submitted Version]
View
| Files available
| DOI
K. Raveendran, C. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics, ACM, 2014.
2014 |Published| Conference Paper | IST-REx-ID: 2057 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Majority vote of diverse classifiers for late fusion
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.
2014 |Published| Journal Article | IST-REx-ID: 2056 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
2014 |Published| Journal Article | IST-REx-ID: 2061
Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
View
| DOI
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
2014 |Published| Journal Article | IST-REx-ID: 2064 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.
2014 |Published| Conference Paper | IST-REx-ID: 2153 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
2014 |Published| Journal Article | IST-REx-ID: 2154 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On Gromov's method of selecting heavily covered points
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
2014 |Published| Conference Paper | IST-REx-ID: 2156 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
2014 |Published| Conference Paper | IST-REx-ID: 2155 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
2014 |Published| Journal Article | IST-REx-ID: 2158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
New paradigms in the establishment and maintenance of gradients during directed cell migration
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
2014 |Published| Journal Article | IST-REx-ID: 2164
Epilepsy-induced motility of differentiated neurons
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
View
| DOI
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
2014 |Published| Journal Article | IST-REx-ID: 2168 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
[Published Version]
View
| Files available
| DOI
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
2014 |Published| Journal Article | IST-REx-ID: 2169 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
2014 |Published| Conference Paper | IST-REx-ID: 2171 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.