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
2015 | Published | Journal Article | IST-REx-ID: 1580 | 
Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 2015;311:430-443. doi:10.1016/j.neuroscience.2015.10.046
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1581
Bollenbach MT, Heisenberg C-PJ. Gradients are shaping up. Cell. 2015;161(3):431-432. doi:10.1016/j.cell.2015.04.009
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1582 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 2015;48(2):120-133. doi:10.1016/j.comgeo.2014.08.006
[Published Version]
View
| Files available
| DOI
2015 | Published | 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 | Published | Journal Article | IST-REx-ID: 1584 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 2015;48(5):429-442. doi:10.1016/j.comgeo.2015.01.004
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1585
Bao Z, Pan G, Zhou W. Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. 2015;61(6):3413-3426. doi:10.1109/TIT.2015.2421894
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1586
Angermayr A, Gorchs A, Hellingwerf K. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 2015;33(6):352-361. doi:10.1016/j.tibtech.2015.03.009
View
| DOI
2015 | Published | 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 | Published | Journal Article | IST-REx-ID: 1588
Altmeyer S, Do Y, Lai Y. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 2015;92(5). doi:10.1103/PhysRevE.92.053018
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1589 |
Altmeyer S, Do Y, Lai Y. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 2015;5. doi:10.1038/srep18589
[Published Version]
View
| Files available
| DOI
2015 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. Controller synthesis for MDPs and frequency LTL\GU. In: Vol 9450. Springer; 2015:162-177. doi:10.1007/978-3-662-48899-7_12
View
| DOI
2015 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 1598 |
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 2015;573(3):71-89. doi:10.1016/j.tcs.2015.01.050
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | 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 | Published | Journal Article | IST-REx-ID: 1602 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 2015;50(1):97-109. doi:10.1145/2676726.2676979
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1603 |
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:10.1007/978-3-319-21690-4_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1604
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 2015;50(1):539-551. doi:10.1145/2676726.2676968
View
| Files available
| DOI