A Fast SAT Solver for Isabelle in Standard ML. - Armin Heller (Arch. Formal Proofs, 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)

Three Chapters of Measure Theory in Isabelle/HOL. - Johannes Hölzl; Armin Heller (ITP, 2011)

Solarpotenzialanalyse für Autobahnlärmschutzwände in Nordtirol. - Paul Sophia; Armin Heller (AGIT Journal Angew. Geoinformatik, 2015)

Das Potenzial von Erdbeobachtungsdaten zur Ökosystemüberwachung und -bewertung. - Christina Hirzinger; Melanie Schnelle; Eva Haas; Armin Heller (AGIT Journal Angew. Geoinformatik, 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)

ARCOS - Assisted Rescue Control System. - Marco Gabl; Armin Heller (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)

GNSS und Pléiades-Bilder in der Hochgebirgskartographie. - Martin Ladner; Armin Heller; Ekkehart Grillmayer (AGIT Journal Angew. Geoinformatik, 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)

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)

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)

Der Feuersteinferner - eine GIS-gestützte Gletscherrekonstruktion / The Feuerstein Glacier - A GIS Supported Glacier Reconstruction. - Vivian Plank; Armin Heller (AGIT Journal Angew. Geoinformatik, 2020)

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)

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)