Please note that IST 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.

6065 Publications


2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. 2015. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 311, 430–443.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
Bollenbach MT, Heisenberg C-PJ. 2015. Gradients are shaping up. Cell. 161(3), 431–432.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 115(2), 243–247.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1584 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(5), 429–442.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1585
Bao Z, Pan G, Zhou W. 2015. Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. 61(6), 3413–3426.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
Angermayr A, Gorchs A, Hellingwerf K. 2015. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 33(6), 352–361.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1588
Altmeyer S, Do Y, Lai Y. 2015. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 92(5), 053018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer S, Do Y, Lai Y. 2015. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 5.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015. Representing directed trees as straight skeletons. Graph Drawing and Network Visualization. GD: International Symposium on Graph DrawingLecture Notes in Computer Science, LNCS, vol. 9411. 335–347.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski M, Friml J. 2015. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 27(1), 20–32.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. 2015. Controller synthesis for MDPs and frequency LTL\GU. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 9450. 162–177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411. 99–110.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek R, Radoičić R. 2015. Vertical visibility among parallel polygons in three dimensions. 9411, 373–379.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee K, Joglekar M, Shah N. 2015. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 573(3), 71–89.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak T, Blahoudek F, Duret Lutz A, Klein J, Kretinsky J, Mueller D, Parker D, Strejček J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206. 479–486.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. 2015. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 50(1), 97–109.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206. 158–177.
View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications