Armin Heller

According to our database, Armin Heller authored at least 15 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Die Entwicklung eines GIS-Tools zur Planung von Solaranlagen auf Hausdächern / Developing a GIS-Tool for Planning Solar Installations of Rooftops.

Robert Simetzberger, Armin Heller

AGIT Journal Angew. Geoinformatik, 2023

2021

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.

Marco Gabl, Armin Heller

AGIT Journal Angew. Geoinformatik, 2021

2020

Der Feuersteinferner - eine GIS-gestützte Gletscherrekonstruktion / The Feuerstein Glacier - A GIS Supported Glacier Reconstruction.

Vivian Plank, Armin Heller

AGIT Journal Angew. Geoinformatik, 2020

2019

Möglichkeiten und Grenzen von Low-Cost-RTK-GNSS-Receiver / Possibilities and Limits of Low-cost RTK GNSS Receiver.

Marco Gabl, Armin Heller

AGIT Journal Angew. Geoinformatik, 2019

2018

Kartographische Grundlagendaten aus Pléiades-Aufnahmen mit ArcGIS ProBasic Cartographic Data from Pléiades Images with ArcGIS Pro.

Martin Ladner, Werner Beer, Armin Heller

AGIT Journal Angew. Geoinformatik, 2018

2017

Flight Strategies of Migrating Northern Bald Ibises - Analysis of GPS Data During Human-led Migration Flights.

Christian Sperger, Armin Heller, Bernhard Voelkl, Johannes Fritz

AGIT Journal Angew. Geoinformatik, 2017

GNSS und Pléiades-Bilder in der Hochgebirgskartographie.

Martin Ladner, Armin Heller, Ekkehart Grillmayer

AGIT Journal Angew. Geoinformatik, 2017

Pléiades Tri-Stereo-Bilder im Hochgebirge ‒ eine Parameterstudie mit PCI Geomatics.

Laura Christin Himmelreich, Martin Ladner, Armin Heller

AGIT Journal Angew. Geoinformatik, 2017

ARCOS - Assisted Rescue Control System.

Marco Gabl, Armin Heller

AGIT Journal Angew. Geoinformatik, 2017

2016

Erdbeobachtung zur Unterstützung nachhaltiger Waldbewirtschaftung mit Fokus auf Ökosystem-dienstleistungsbeurteilung.

Clemens Holzer, Dominik Reisinger, Eva Haas, Armin Heller

AGIT Journal Angew. Geoinformatik, 2016

Das Potenzial von Erdbeobachtungsdaten zur Ökosystemüberwachung und -bewertung.

Christina Hirzinger, Melanie Schnelle, Eva Haas, Armin Heller

AGIT Journal Angew. Geoinformatik, 2016

2015

Solarpotenzialanalyse für Autobahnlärmschutzwände in Nordtirol.

Paul Sophia, Armin Heller

AGIT Journal Angew. Geoinformatik, 2015

2011

Three Chapters of Measure Theory in Isabelle/HOL.

Johannes Hölzl, Armin Heller

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2009

A GIS-based Reconstruction of Little Ice Age Glacier Maximum Extents for South Tyrol, Italy.

Christoph Knoll, Hanns Kerschner, Armin Heller, Philipp Rastner

Trans. GIS, 2009

A Fast SAT Solver for Isabelle in Standard ML.

Armin Heller

Arch. Formal Proofs, 2009