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.
6159 Publications
2017 | Published | Journal Article | IST-REx-ID: 676 | 
Krens, Gabriel, et al. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development, vol. 144, no. 10, Company of Biologists, 2017, pp. 1798–806, doi:10.1242/dev.144964.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 661 |
Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:10.1038/ncb3492.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 949 |
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 639 |
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 679 |
Ebner, Florian, et al. “The RNA-Binding Protein Tristetraprolin Schedules Apoptosis of Pathogen-Engaged Neutrophils during Bacterial Infection.” The Journal of Clinical Investigation, vol. 127, no. 6, American Society for Clinical Investigation, 2017, pp. 2051–65, doi:10.1172/JCI80631.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2016 | Published | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1707
Pielorz, Jasmin, and Christoph Lampert. Optimal Geospatial Allocation of Volunteers for Crisis Management. 7402041, IEEE, 2016, doi:10.1109/ICT-DM.2015.7402041.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator. Optica Publishing Group, 2016, doi:10.1364/NP.2016.NTh3A.6.
View
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5555 |
Hauschild, Robert. Fiji Script to Determine Average Speed and Direction of Migration of Cells. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:44.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda, Paul. Synthetic Discrete Tomography Problems. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:46.
[Published Version]
View
| Files available
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 1210
Zhu, Qiang, et al. “Real Time Analysis of the Apical Hook Development.” Plant Hormones, vol. 1497, Humana Press, 2016, pp. 1–8, doi:10.1007/978-1-4939-6469-7_1.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1214
Martius, Georg S., et al. Compliant Control for Soft Robots: Emergent Behavior of a Tendon Driven Anthropomorphic Arm. Vol. 2016–November, 7759138, IEEE, 2016, doi:10.1109/IROS.2016.7759138.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1216 |
Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1220 |
Mikić, Gregor, et al. Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency. AIAA, 2016, pp. 1–19, doi:10.2514/6.2016-3764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1256 |
Jiang, Yu, et al. From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design. 7461337, IEEE, 2016, doi:10.1109/RTAS.2016.7461337.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1272 |
Held, Martin, et al. “Generalized Offsetting of Planar Structures Using Skeletons.” Computer-Aided Design and Applications, vol. 13, no. 5, Taylor and Francis, 2016, pp. 712–21, doi:10.1080/16864360.2016.1150718.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Abstract | IST-REx-ID: 12903 |
Schlögl, Alois, and Stephan Stadlbauer. “High Performance Computing at IST Austria: Modelling the Human Hippocampus.” AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)