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 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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