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.
1953 Publications
2017 |Published| Conference Paper | IST-REx-ID: 989
Maas, Jan, Martin Rumpf, and Stefan Simon. “Transport Based Image Morphing with Intensity Modulation.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:563–77. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_45.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cherepanov, Igor, and Mikhail Lemeshko. “Fingerprints of Angulon Instabilities in the Spectra of Matrix-Isolated Molecules.” Physical Review Materials. American Physical Society, 2017. https://doi.org/10.1103/PhysRevMaterials.1.035602.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 962
Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_21.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 951 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmidt, Tom, Nicholas H Barton, Gordana Rasic, Andrew Turley, Brian Montgomery, Inaki Iturbe Ormaetxe, Peter Cook, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pbio.2001894.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 751 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.10.001.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 836
Ethier, Marc, Grzegorz Jablonski, and Marian Mrozek. “Finding Eigenvalues of Self-Maps with the Kronecker Canonical Form.” In Special Sessions in Applications of Computer Algebra, 198:119–36. Springer, 2017. https://doi.org/10.1007/978-3-319-56932-1_8.
View
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 942
Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,” F130154:593–604. ACM, 2017. https://doi.org/10.1145/3106237.3106309.
View
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Heiss, Teresa, and Hubert Wagner. “Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images.” edited by Michael Felsberg, Anders Heyden, and Norbert Krüger, 10424:397–409. Springer, 2017. https://doi.org/10.1007/978-3-319-64689-3_32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 799 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kitakura, Saeko, Maciek Adamowski, Yuki Matsuura, Luca Santuari, Hirotaka Kouno, Kohei Arima, Christian Hardtke, Jiří Friml, Tatsuo Kakimoto, and Hirokazu Tanaka. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology. Oxford University Press, 2017. https://doi.org/10.1093/pcp/pcx118.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 800 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Strüber, Michael, Jonas Sauer, Peter M Jonas, and Marlene Bartos. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-00936-3.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 743
Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-017-0307-6.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 727
Mueller, Jan, Gregory Szep, Maria Nemethova, Ingrid de Vries, Arnon Lieber, Christoph Winkler, Karsten Kruse, et al. “Load Adaptation of Lamellipodial Actin Networks.” Cell. Cell Press, 2017. https://doi.org/10.1016/j.cell.2017.07.051.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1146
Sun, Wuping, Ming-Zhu Zhai, Da Li, Yiming Zhou, Nana Chen, Ming Guo, and Shisheng Zhou. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” Clinical Nutrition. Elsevier, 2017. https://doi.org/10.1016/j.clnu.2016.07.016.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 549 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017. https://doi.org/10.4204/EPTCS.259.3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 1194 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Thesis | IST-REx-ID: 839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hahn, David. “Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 614 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fraisse, Christelle, Marion A L Picard, and Beatriz Vicoso. “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-01663-5.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5568 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hahn, David. “Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:73.
[Published Version]
View
| Files available
| DOI
2017 |Published| Book Chapter | IST-REx-ID: 424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 639 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv