Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4181 Publications
2015 | Journal Article | IST-REx-ID: 1583 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 2015;115(2):243-247. doi:10.1016/j.ipl.2014.09.021
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1587 |
Amaro P, Fratini F, Safari L, et al. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 2015;92(6). doi:10.1103/PhysRevA.92.062506
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1593 |
Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 2015;6(4). doi:10.3389/fpls.2015.00218
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1595 |
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. In: Vol 9411. Springer; 2015:99-110. doi:10.1007/978-3-319-27261-0_9
[Submitted Version]
View
| Files available
| DOI
2015 | Book Chapter | IST-REx-ID: 1590 |
Aichholzer O, Biedl T, Hackl T, et al. Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. Vol 9411. Springer Nature; 2015:335-347. doi:10.1007/978-3-319-27261-0_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Book Chapter | IST-REx-ID: 1596 |
Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. Vol 9411. Springer Nature; 2015:373-379. doi:10.1007/978-3-319-27261-0_31
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1601 |
Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:10.1007/978-3-319-21690-4_31
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1605 |
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:10.1007/978-3-319-26287-1_2
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1609 |
Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:108-120. doi:10.1007/978-3-662-47666-6_9
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1615 |
Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011
[Published Version]
View
| Files available
| DOI