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.




5046 Publications

2015 | Journal Article | IST-REx-ID: 1579 | OA
C. Brooks, A. Martin del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” Transactions of the American Mathematical Society, vol. 367, no. 6. American Mathematical Society, pp. 4183–4206, 2015.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1578
T. Cao, H. Edelsbrunner, and T. Tan, “Triangulations from topologically correct digital Voronoi diagrams,” Computational Geometry, vol. 48, no. 7. Elsevier, pp. 507–519, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1581
M. T. Bollenbach and C.-P. J. Heisenberg, “Gradients are shaping up,” Cell, vol. 161, no. 3. Cell Press, pp. 431–432, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1589 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system,” Scientific Reports, vol. 5. Nature Publishing Group, 2015.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1584 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Reprint of: Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 5. Elsevier, pp. 429–442, 2015.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1582 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 2. Elsevier, pp. 120–133, 2015.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1583 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” Information Processing Letters, vol. 115, no. 2. Elsevier, pp. 243–247, 2015.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1587 | OA
P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6. American Physical Society, 2015.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1588
S. Altmeyer, Y. Do, and Y. Lai, “Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows,” Physical Review E, vol. 92, no. 5. American Physical Society, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1586
A. Angermayr, A. Gorchs, and K. Hellingwerf, “Metabolic engineering of cyanobacteria for the synthesis of commodity products,” Trends in Biotechnology, vol. 33, no. 6. Elsevier, pp. 352–361, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1585
Z. Bao, G. Pan, and W. Zhou, “Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices,” IEEE Transactions on Information Theory, vol. 61, no. 6. IEEE, pp. 3413–3426, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1593 | OA
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4. Frontiers Research Foundation, 2015.
[Published Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1595 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
[Submitted Version] View | Files available | DOI
 
2015 | Book Chapter | IST-REx-ID: 1590 | OA
O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 335–347.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 
2015 | Book Chapter | IST-REx-ID: 1596 | OA
R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 373–379.
[Submitted Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
[Submitted Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1605 | OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
[Submitted Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1609 | OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” in 42nd International Colloquium, Kyoto, Japan, 2015, vol. 9135, pp. 108–120.
[Preprint] View | DOI | Download Preprint (ext.)
 

Search

Filter Publications