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.
1957 Publications
2017 |Published| Conference Paper | IST-REx-ID: 1011 | 
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
2017 |Published| Conference Paper | IST-REx-ID: 1002 |
Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 1001 |
CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 1003 |
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
2017 |Published| Conference Paper | IST-REx-ID: 989
Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
View
| DOI
| WoS
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
2017 |Published| Journal Article | IST-REx-ID: 994 |
Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
2017 |Published| Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View
| DOI
| WoS
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
2017 |Published| Journal Article | IST-REx-ID: 951 |
Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
2017 |Published| Journal Article | IST-REx-ID: 751 |
A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
2017 |Published| Conference Paper | IST-REx-ID: 836
Finding eigenvalues of self-maps with the Kronecker canonical form
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
View
| DOI
| WoS
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
2017 |Published| Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View
| DOI
| WoS
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
2017 |Published| Conference Paper | IST-REx-ID: 833 |
Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
2017 |Published| Journal Article | IST-REx-ID: 799 |
BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).
2017 |Published| Journal Article | IST-REx-ID: 800 |
Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
2017 |Published| Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View
| DOI
| WoS
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
2017 |Published| Journal Article | IST-REx-ID: 727
Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
View
| DOI
| WoS
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
2017 |Published| Journal Article | IST-REx-ID: 1146
Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
View
| DOI
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
2017 |Published| Conference Paper | IST-REx-ID: 549 |
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
2017 |Published| Conference Paper | IST-REx-ID: 1194 |
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 |Published| Thesis | IST-REx-ID: 839 |
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, Institute of Science and Technology Austria, 2017.