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.
3935 Publications
2015 | Journal Article | IST-REx-ID: 1589 | 
Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View
| Files available
| DOI
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
2015 | Book Chapter | IST-REx-ID: 1590 |
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
View
| DOI
| Download Preprint (ext.)
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
2015 | Journal Article | IST-REx-ID: 1591 |
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
2015 | Journal Article | IST-REx-ID: 1593 |
Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
View
| Files available
| DOI
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View
| DOI
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
2015 | Conference Paper | IST-REx-ID: 1595 |
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
View
| Files available
| DOI
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
2015 | Book Chapter | IST-REx-ID: 1596 |
Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.
View
| Files available
| DOI
R. Fulek, R. Radoičić, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.
2015 | Journal Article | IST-REx-ID: 1598 |
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
2015 | Conference Paper | IST-REx-ID: 1601 |
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
2015 | Journal Article | IST-REx-ID: 1602 |
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.