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.
367 Publications
2017 |Published| Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View
| DOI
| WoS
2017 |Published| Book Chapter | IST-REx-ID: 424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:10.1007/978-3-319-44479-6_17.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:10.1007/s00453-015-9997-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cheung, Yun Kuen, et al. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ICALP.2016.131.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goranci, Gramoz, et al. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” 24th Annual European Symposium on Algorithms, vol. 57, 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ESA.2016.46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11835 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H., and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” 24th Annual European Symposium on Algorithms, vol. 57, 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ESA.2016.48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1212 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:10.1016/j.cub.2016.08.067.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1222 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1331 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zwack, Paul, et al. “Cytokinin Response Factor 6 Represses Cytokinin-Associated Genes during Oxidative Stress.” Plant Physiology, vol. 172, no. 2, American Society of Plant Biologists, 2016, pp. 1249–58, doi:10.1104/pp.16.00415.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1522 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal, vol. 16, no. 1, Independent University of Moscow, 2016, pp. 1–25, doi:10.17323/1609-4514-2016-16-1-1-25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” Discrete Geometry for Computer Imagery, vol. 9647, Springer Nature, 2016, pp. 256–67, doi:10.1007/978-3-319-32360-2_20.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. M., et al. “Lithium Insertion Properties of Mesoporous Nanocrystalline TiO2 and TiO2–V2O5 Microspheres Prepared by Non-Hydrolytic Sol–Gel.” Journal of Sol-Gel Science and Technology, vol. 79, no. 2, Springer Nature, 2016, pp. 270–78, doi:10.1007/s10971-016-4037-9.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 8452
Rodrigues, Christopher D. A., et al. “A Ring-Shaped Conduit Connects the Mother Cell and Forespore during Sporulation in Bacillus Subtilis.” Proceedings of the National Academy of Sciences, vol. 113, no. 41, National Academy of Sciences, 2016, pp. 11585–90, doi:10.1073/pnas.1609604113.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12625 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kraaijenbrink, Philip, et al. “Seasonal Surface Velocities of a Himalayan Glacier Derived by Automated Correlation of Unmanned Aerial Vehicle Imagery.” Annals of Glaciology, vol. 57, no. 71, International Glaciological Society, 2016, pp. 103–13, doi:10.3189/2016aog71a072.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 12615
Ayala, A., et al. “Modelling the Hydrological Response of Debris-Free and Debris-Covered Glaciers to Present Climatic Conditions in the Semiarid Andes of Central Chile.” Hydrological Processes, vol. 30, no. 22, Wiley, 2016, pp. 4036–58, doi:10.1002/hyp.10971.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 12617 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ragettli, Silvan, et al. “Heterogeneous Glacier Thinning Patterns over the Last 40 Years in Langtang Himal, Nepal.” The Cryosphere, vol. 10, no. 5, Copernicus Publications, 2016, pp. 2075–97, doi:10.5194/tc-10-2075-2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1616 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kowalski, Janina, et al. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus, vol. 26, no. 5, Wiley, 2016, pp. 668–82, doi:10.1002/hipo.22550.
[Published Version]
View
| Files available
| 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 | Research Data | IST-REx-ID: 5557 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | Research Data | IST-REx-ID: 5551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ellis, Thomas. Data on Pollinator Observations and Offpsring Phenotypes. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:35.
[Published Version]
View
| Files available
| DOI