• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
Diplomarbeit
2013

Akzeptanz von Location Based Services im Einzelhandel

Koitz, R., 2013

Publikation: StudienabschlussarbeitDiplomarbeitForschung

2009

Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving

Jöbstl, E., 2009

Publikation: StudienabschlussarbeitDiplomarbeitForschung

Open Access
Datei
2007

Medial Axis in the Plane

Aigner, W., 2007

Publikation: StudienabschlussarbeitDiplomarbeitForschung

On Plan e Straight-Line Graphs

Vogtenhuber, B., 2007

Publikation: StudienabschlussarbeitDiplomarbeitForschung

2006

An ultrasonic/radio-frequency beacon-based self-localization method for autonomous mobile robots

Weiglhofer, M., 2006

Publikation: StudienabschlussarbeitDiplomarbeitForschung

2005

Distributed Computing for Problems from Computational Geometry

Kornberger, B., 2005

Publikation: StudienabschlussarbeitDiplomarbeitForschung

2004

Manipulation of Pseudo-Triangular Surfaces

Hackl, T., 2004

Publikation: StudienabschlussarbeitDiplomarbeitForschung

2003

AI-Planning for Robotic Soccer

Fraser, G., 2003

Publikation: StudienabschlussarbeitDiplomarbeitForschung

Design and Implementation of a Cosimulation Environment for Heterogeneous Microelectronic Systems

Pill, I. H., 2003

Publikation: StudienabschlussarbeitDiplomarbeitForschung

1997

A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Aichernig, B., 1997

Publikation: StudienabschlussarbeitDiplomarbeitForschung

1994

Analyse und Algorithmen von fokusierten Assumption Based Truth Maintenance Systemen

Wotawa, F., 1994

Publikation: StudienabschlussarbeitDiplomarbeitForschung

1989

Optimierung relationaler Anfragen am Beispiel der ARTHUR Implementierung

Slany, W., 1989

Publikation: StudienabschlussarbeitDiplomarbeitForschung