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
2016 | Published | Conference Paper | IST-REx-ID: 1134
Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
View
| DOI
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1707
Optimal geospatial allocation of volunteers for crisis management
J. Pielorz, C. Lampert, in:, IEEE, 2016.
View
| DOI
J. Pielorz, C. Lampert, in:, IEEE, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
View
| DOI
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
2016 | Published | Technical Report | IST-REx-ID: 5446 | 
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
2016 | Published | Technical Report | IST-REx-ID: 5447 |
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
2016 | Published | Technical Report | IST-REx-ID: 5451 |
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 | Research Data | IST-REx-ID: 5555 |
Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
[Published Version]
View
| Files available
| DOI
R. Hauschild, (2016).
2016 | Research Data | IST-REx-ID: 5557 |
Synthetic discrete tomography problems
P. Swoboda, (2016).
[Published Version]
View
| Files available
| DOI
P. Swoboda, (2016).
2016 | Published | Book Chapter | IST-REx-ID: 1210
Real time analysis of the apical hook development
Q. Zhu, P. Žádníková, D. Smet, D. Van Der Straeten, E. Benková, in:, Plant Hormones, Humana Press, 2016, pp. 1–8.
View
| DOI
Q. Zhu, P. Žádníková, D. Smet, D. Van Der Straeten, E. Benková, in:, Plant Hormones, Humana Press, 2016, pp. 1–8.
2016 | Published | Conference Paper | IST-REx-ID: 1214
Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, IEEE, 2016.
View
| DOI
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, IEEE, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1216 |
Acceleration feature points of unsteady shear flows
J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyński, Archives of Mechanics 68 (2016) 55–80.
[Published Version]
View
| Download Published Version (ext.)
J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyński, Archives of Mechanics 68 (2016) 55–80.
2016 | Published | Conference Paper | IST-REx-ID: 1220 |
Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
2016 | Published | Conference Paper | IST-REx-ID: 1256 |
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1272 |
Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
[Published Version]
View
| Files available
| DOI
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
2016 | Published | Conference Abstract | IST-REx-ID: 12903 |
High performance computing at IST Austria: Modelling the human hippocampus
A. Schlögl, S. Stadlbauer, in:, AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
A. Schlögl, S. Stadlbauer, in:, AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
2016 | Published | Journal Article | IST-REx-ID: 1522 |
The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
2016 | Published | Thesis | IST-REx-ID: 1397
Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, Institute of Science and Technology Austria, 2016.
View
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, Institute of Science and Technology Austria, 2016.
2016 | Published | Thesis | IST-REx-ID: 1122 |
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
2016 | Published | Thesis | IST-REx-ID: 1123 |
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
2016 | Published | Thesis | IST-REx-ID: 1128 |
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.