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.
5179 Publications
2015 |Published| Journal Article | IST-REx-ID: 1593 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Žá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).
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1595 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411, 99–110.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Book Chapter | IST-REx-ID: 1590 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015.Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 335–347.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Book Chapter | IST-REx-ID: 1596 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek R, Radoičić R. 2015.Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 373–379.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1601 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1605 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1615 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hammer M, Krueger Burg D, Tuffy L, Cooper B, Taschenberger H, Goswami S, Ehrenreich H, Jonas PM, Varoqueaux F, Rhee J, Brose N. 2015. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 13(3), 516–523.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1614 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Strüber M, Jonas PM, Bartos M. 2015. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 112(4), 1220–1225.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1611 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Whitfield J, Zhang W, Herde M, Clifton B, Radziejewski J, Janovjak HL, Henneberger C, Jackson C. 2015. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 24(9), 1412–1422.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1624 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. 2015. Cellular cooperation with shift updating and repulsion. Scientific Reports. 5, 17147.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1623 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hammar P, Angermayr A, Sjostrom S, Van Der Meer J, Hellingwerf K, Hudson E, Joensson H. 2015. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 8(1), 193.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1628 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. 2015. Microstructures to control elasticity in 3D printing. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 136.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1634 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Da F, Batty C, Wojtan C, Grinspun E. 2015. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 149.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1636 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V, Rolinek M, Takhanov R. 2015. Effectiveness of structural restrictions for hybrid CSPs. 26th International Symposium. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 9472, 566–577.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv