• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Diploma Thesis
2013

Akzeptanz von Location Based Services im Einzelhandel

Koitz, R., 2013

Research output: ThesisDiploma ThesisResearch

2009

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

Jöbstl, E., 2009

Research output: ThesisDiploma ThesisResearch

Open Access
File
2007

Medial Axis in the Plane

Aigner, W., 2007

Research output: ThesisDiploma ThesisResearch

On Plan e Straight-Line Graphs

Vogtenhuber, B., 2007

Research output: ThesisDiploma ThesisResearch

2006

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

Weiglhofer, M., 2006

Research output: ThesisDiploma ThesisResearch

2005

Distributed Computing for Problems from Computational Geometry

Kornberger, B., 2005

Research output: ThesisDiploma ThesisResearch

2004

Manipulation of Pseudo-Triangular Surfaces

Hackl, T., 2004

Research output: ThesisDiploma ThesisResearch

2003

AI-Planning for Robotic Soccer

Fraser, G., 2003

Research output: ThesisDiploma ThesisResearch

1997

A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Aichernig, B., 1997

Research output: ThesisDiploma ThesisResearch

1994
1989

Optimierung relationaler Anfragen am Beispiel der ARTHUR Implementierung

Slany, W., 1989

Research output: ThesisDiploma ThesisResearch