Armin Heller

15 papers B 1Journal 14
YearRankTypeTitle / Venue / Authors
2023 J jnl
Die Entwicklung eines GIS-Tools zur Planung von Solaranlagen auf Hausdächern / Developing a GIS-Tool for Planning Solar Installations of Rooftops.
AGIT Journal Angew. Geoinformatik
Robert Simetzberger, Armin Heller
2021 J jnl
SmartRTK: Präzise Positionsdaten und mobile Geodatenerfassung mit Low-Cost-GNSS - eine Prototypenentwicklung für hochalpine Einsätze / SmartRTK: Precise Positioning and Geospatial Data Acquisition with Low Cost GNSS - A Prototype Development for High Alpine Operations.
AGIT Journal Angew. Geoinformatik
Marco Gabl, Armin Heller
2020 J jnl
Der Feuersteinferner - eine GIS-gestützte Gletscherrekonstruktion / The Feuerstein Glacier - A GIS Supported Glacier Reconstruction.
AGIT Journal Angew. Geoinformatik
Vivian Plank, Armin Heller
2019 J jnl
Möglichkeiten und Grenzen von Low-Cost-RTK-GNSS-Receiver / Possibilities and Limits of Low-cost RTK GNSS Receiver.
AGIT Journal Angew. Geoinformatik
Marco Gabl, Armin Heller
2018 J jnl
Kartographische Grundlagendaten aus Pléiades-Aufnahmen mit ArcGIS ProBasic Cartographic Data from Pléiades Images with ArcGIS Pro.
AGIT Journal Angew. Geoinformatik
Martin Ladner, Werner Beer, Armin Heller
2017 J jnl
ARCOS - Assisted Rescue Control System.
AGIT Journal Angew. Geoinformatik
Marco Gabl, Armin Heller
2017 J jnl
Flight Strategies of Migrating Northern Bald Ibises - Analysis of GPS Data During Human-led Migration Flights.
AGIT Journal Angew. Geoinformatik
Christian Sperger, Armin Heller, Bernhard Voelkl, Johannes Fritz
2017 J jnl
GNSS und Pléiades-Bilder in der Hochgebirgskartographie.
AGIT Journal Angew. Geoinformatik
Martin Ladner, Armin Heller, Ekkehart Grillmayer
2017 J jnl
Pléiades Tri-Stereo-Bilder im Hochgebirge ‒ eine Parameterstudie mit PCI Geomatics.
AGIT Journal Angew. Geoinformatik
Laura Christin Himmelreich, Martin Ladner, Armin Heller
2016 J jnl
Das Potenzial von Erdbeobachtungsdaten zur Ökosystemüberwachung und -bewertung.
AGIT Journal Angew. Geoinformatik
Christina Hirzinger, Melanie Schnelle, Eva Haas, Armin Heller
2016 J jnl
Erdbeobachtung zur Unterstützung nachhaltiger Waldbewirtschaftung mit Fokus auf Ökosystem-dienstleistungsbeurteilung.
AGIT Journal Angew. Geoinformatik
Clemens Holzer, Dominik Reisinger, Eva Haas, Armin Heller
2015 J jnl
Solarpotenzialanalyse für Autobahnlärmschutzwände in Nordtirol.
AGIT Journal Angew. Geoinformatik
Paul Sophia, Armin Heller
2011 B conf
Three Chapters of Measure Theory in Isabelle/HOL.
ITP
Johannes Hölzl, Armin Heller
2009 J jnl
A Fast SAT Solver for Isabelle in Standard ML.
Arch. Formal Proofs
Armin Heller
2009 J jnl
A GIS-based Reconstruction of Little Ice Age Glacier Maximum Extents for South Tyrol, Italy.
Trans. GIS
Christoph Knoll, Hanns Kerschner, Armin Heller, Philipp Rastner