TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list
of the Faculty of Informatics
Doctor's Theses

693 records (1993 - 2022)

The complete list of publications of the Faculty of Informatics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.


Doctor's Theses (authored and supervised)


Author: Michael Quell, E360
Other persons involved: Josef Weinbub, E360; Eduard Gröller, E193-02; Mark Sussman, FSU

M. Quell:
"Parallel Velocity Extension and Load-Balanced Re-Distancing on Hierarchical Grids for High Performance Process TCAD";
Supervisor, Reviewer: J. Weinbub, E. Gröller, M. Sussman; Institut für Mikroelektronik, 2022; oral examination: 2022-01-13.

More information

Author: Felix Winter, E192-02
Other persons involved: Nysret Musliu, E192-02; Andrea Schaerf; Guido Tack

F. Winter:
"Automated Scheduling for Automotive Supplier Paint Shops and Teeth Manufacturing";
Supervisor, Reviewer: N. Musliu, A. Schaerf, G. Tack; Institute of Logic and Computation, 2021; oral examination: 2021-12-16.

Author: Andreas Humenberger, E192-04
Other persons involved: Erika Abraham; James Worrell, U. Oxford

A. Humenberger:
"Algebra-based loop reasoning - invariant generation and synthesis for numeric loops";
Supervisor, Reviewer: E. Abraham, J. Worrell; Institute of Logic and Computation, FORSYTE division, 2021; oral examination: 2021-02-08.

More information

Author: Markus Schütz, E193-02
Other persons involved: Michael Wimmer, E193-02; Mario Botsch

M. Schütz:
"Interactive Exploration of Point Clouds";
Supervisor, Reviewer: M. Wimmer, M. Botsch; Visual Computing and Human-Centered Technology, 2021; oral examination: 2021-03-08.

More information

Author: David Kouril, E193-02
Other persons involved: Ivan Viola, E193-02; Eduard Gröller, E193-02

D. Kouril:
"Interactive Visualization of Dense and Multi-Scale Data for Science Outreach";
Supervisor, Reviewer: I. Viola, E. Gröller; Visual Computing and Human-Centered Technology, 2021; oral examination: 2021-04-07.

More information

Author: Matthias Horn, E192-01
Other persons involved: Günther Raidl, E192-01; Christian Blum; Luca Di Gaspero

M. Horn:
"Advances in Search Techniques for Combinatorial Optimization: New Anytime A* Search and Decision Diagram Based Approaches";
Supervisor, Reviewer: G. Raidl, C. Blum, L. Di Gaspero; Institute of Logic and Computation, 2021; oral examination: 2021-09-09.

More information

Author: Johannes Maschler, E192-01
Other persons involved: Günther Raidl, E192-01; Luca Di Gaspero; Nysret Musliu, E192-02

J. Maschler:
"Patient scheduling in particle therapy";
Supervisor, Reviewer: G. Raidl, L. Di Gaspero, N. Musliu; Institute of Logic and Computation, 2019; oral examination: 2019-03-20.

More information

Author: Marko Djukanovic, E192-01
Other persons involved: Günther Raidl, E192-01; Christian Blum

M. Djukanovic:
"Exact and Heuristic Approaches for Solving String Problems from Bioinformatics";
Supervisor, Reviewer: G. Raidl, C. Blum; Institute of Logic and Computation, 2021; oral examination: 2021-05-05.

More information

Author: Christian Kloimüllner, E191-01
Other persons involved: Günther Raidl, E192-01; Kenneth Sörensen; Nysret Musliu, E192-02

C. Kloimüllner:
"Algorithmic approaches for Optimization problems in bike sharing and security control";
Supervisor, Reviewer: G. Raidl, K. Sörensen, N. Musliu; Institute of Logic and Computation, 2019; oral examination: 2019-01-31.

More information

Author: Aleksandr Amirkhanov, E193-02
Other persons involved: Eduard Gröller, E193-02; Gabriel Mistelbauer, OVGU Magdeburg; Christoph Heinzl

A. Amirkhanov:
"Visual Analysis of Defects";
Supervisor, Reviewer: E. Gröller, G. Mistelbauer, Ch. Heinzl; Visual Computing and Human-Centered Technology, 2021; oral examination: 2021-10-18.

More information

Author: Roxane Licandro, E193-01
Other persons involved: Martin Kampel, E193-01; Georg Langs, E193-01; Henning Müller; Jorge Cardoso

R. Licandro:
"Spatio Temporal Modelling of Dynamic Developmental Patterns";
Supervisor, Reviewer: M. Kampel, G. Langs, H. Müller, J. Cardoso; Institut für Visual Computing and Human-Centered Technology, 2021; oral examination: 2021-03-17.

Author: Martin Fittner, E384
Other persons involved: Dietmar Dietrich, E384; Thilo Sauter, E384-01; Wolfgang Kastner, E191-03

M. Fittner:
"Lernfunktionalität integriert in das Funktionsmodell SiMA - Simulation of the Mental Apparatus & Applications";
Supervisor, Reviewer: D. Dietrich, T. Sauter, W. Kastner; E384, 2021; oral examination: 2021-09-30.

Author: Sarita Paudel
Other persons involved: Tanja Zseby, E389-01; Paul Smith, AIT; Kieran McLaughlin; Wolfgang Kastner, E191-03

S. Paudel:
"Detecting false data injection attacks against smart grid wide area monitoring systems";
Supervisor, Reviewer: T. Zseby, P. Smith, K. McLaughlin, W. Kastner; E389, 2021; oral examination: 2021-09-24.

Author: Fabian Hollaus, E193-01
Other persons involved: Robert Sablatnig, E193-01; Andreas Maier; Ioannis Pratikakis

F. Hollaus:
"Restoration of Multispectral Images of Ancient Documents";
Supervisor, Reviewer: R. Sablatnig, A. Maier, I. Pratikakis; Institute of Visual Computing & Human-Centered Technology, 2021; oral examination: 2021-10-21.

Author: Tim Lyon
Other persons involved: Agata Ciabattoni, E192-05; Revantha Ramanayake

T. Lyon:
"Refining Labelled Systems for Modal and Constructive Logics with Applications";
Supervisor, Reviewer: A. Ciabattoni, R. Ramanayake; Logic and Computation, 2021; oral examination: 2021-07-29.

Author: Dawid Wolosiuk, E259-03
Other persons involved: Ardeshir Mahdavi, E259-03; Wolfgang Kastner, E191-03; Christian Kühn, E253-01

D. Wolosiuk:
"Heterogeneous building related data streams for performance assessment applications";
Supervisor, Reviewer: A. Mahdavi, W. Kastner, C. Kühn; Institute for Architectural Science, Department of Building Physics and Building Ecology, 2021; oral examination: 2021-11-17.

More information

Author: Markus Hecher, E192-02
Other persons involved: Stefan Woltran, E192-02; Torsten Schaub

M. Hecher:
"Advanced Tools and Methods for Treewidth-Based Problem Solving";
Supervisor, Reviewer: S. Woltran, T. Schaub; 192-02, 2021; oral examination: 2021-07-29.

Author: Gernot Steindl, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Alexander Fay, CDL; Martin Wollschlaeger

G. Steindl:
"Digital Twinning for Industrial Energy Systems Utilizing Semantic Web Technologies";
Supervisor, Reviewer: W. Kastner, A. Fay, M. Wollschlaeger; Computer Engineering, 2021; oral examination: 2021-10-29.

Author: Ilya Grishchenko, E192-06
Other persons involved: Matteo Maffei, E192-06; Georg Weissenbacher, E192-04; Andrei Sabelfeld, CHALMERS; Karthikeyan Bhargavan, INRIA Paris

I. Grishchenko:
"Static Analysis of Low-Level Code";
Supervisor, Reviewer: M. Maffei, G. Weissenbacher, A. Sabelfeld, K. Bhargavan; Institut of Logic and Computation, Security and Privacy, 2021; oral examination: 2021-01-25.

More information

Author: Niklas Grimm, E192-06
Other persons involved: Matteo Maffei, E192-06; Frank Piessens, DistriNet; Gilles Barthe, IMDEA Software

N. Grimm:
"Static and Dynamic Enforcement of Security via Relational Reasoning";
Supervisor, Reviewer: M. Maffei, F. Piessens, G. Barthe; Institut of Logic and Computation, Security and Privacy, 2021; oral examination: 2021-03-15.

More information

Author: Clara Schneidewind, E192-06
Other persons involved: Matteo Maffei, E192-06; Arthur Gervais, Imperial; Bernhard Scholz, University of Sydney

C. Schneidewind:
"Foundations for the Security Analysis of Distributed Blockchain Applications";
Supervisor, Reviewer: M. Maffei, A. Gervais, B. Scholz; Institut of Logic and Computation, Security and Privacy, 2021; oral examination: 2021-05-28.

More information

Author: Cosmin Avasalcai, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann; George Pallis, Univ. of Cyprus

C. Avasalcai:
"Quality of Service aware Resource Management for Edge Systems";
Supervisor, Reviewer: S. Dustdar, F. Leymann, G. Pallis; Institute of Information Systems Engineering, Distributed Systems Group, 2021; oral examination: 2021-09-24.

More information

Author: Maximilian Bachl, E389-01
Other persons involved: Tanja Zseby, E389-01; Michael Welzl; Andreas Rauber, E194-01

M. Bachl:
"Machine Learning Methods for Communication Networks - Characterization and Analysis of Selected Use Cases";
Supervisor, Reviewer: T. Zseby, M. Welzl, A. Rauber; E389, 2021; oral examination: 2021-06-25.

Author: Thomas Trautner, E311-01-3
Other persons involved: Burkhard Kittl, E311-01-3; Wolfgang Kastner, E191-03; Fritz Bleicher, E311-01

T. Trautner:
"Agile Automatisierung von Fertigungszellen - Semiotische Interoperabilität zustandsbehafteter, deterministischer Anlagenkomponenten";
Supervisor, Reviewer: B. Kittl, W. Kastner, F. Bleicher; E 311-01, 2021; oral examination: 2021-04-25.

Author: Thomas Rausch, E194-02
Other persons involved: Schahram Dustdar, E194-02; Weisong Shi, Wayne State Univ.; Ming Zhao, Arizona State Univ.

T. Rausch:
"A Distributed Compute Fabric for Edge Intelligence";
Supervisor, Reviewer: S. Dustdar, W. Shi, M. Zhao; Institute of Information Systems Engineering, Distributed Systems Group, 2021; oral examination: 2021-05-21.

More information

Author: Roland Graf
Other persons involved: Christine Hohenbüchler, E264-01; Christa Sommerer, UfG; Peter Purgathofer, E193-05

R. Graf:
"From Pink to Pong";
Supervisor, Reviewer: C Hohenbüchler, C. Sommerer, P. Purgathofer; Institut Kunst und Gestaltung, 2020; oral examination: 2020-01-15.

More information

Author: Rudolf Schraml
Other persons involved: Andreas Uhl, Uni Salzburg; Margrit Gelautz, E193-01

R. Schraml:
"Physical Object Identification and Authentication Applications";
Supervisor, Reviewer: A. Uhl, M. Gelautz; Department of Computer Sciences, University of Salzburg, 2021; oral examination: 2021-03-11.

More information

Author: Naemi Luckner, E193-05
Other persons involved: Geraldine Fitzpatrick, E193-05; Peter Purgathofer, E193-05; Jochen Koubek; Martin Ebner

N. Luckner:
"Enabling Peer Review in Large University Courses";
Supervisor, Reviewer: G. Fitzpatrick, P. Purgathofer, J. Koubek, M. Ebner; Visual Computing and Human-Centered Technology, 2020; oral examination: 2020-01-24.

More information

Author: Wolfgang Spreicer, E193
Other persons involved: Hilda Tellioglu, E193-04; K. Miesenberger, Uni-Linz; Christian Huemer, E194-03

W. Spreicer:
"Designing Tangible Interaction for Accessible Communication Technologies for Elderly People";
Supervisor, Reviewer: H. Tellioglu, K. Miesenberger, C. Huemer; Institute of Visual Computing & Human-Centered Technology, Multidisciplinary Design & User Research, 2019; oral examination: 2019-06-17.

More information

Author: Susanne Hensely-Schinkinger, E193-04
Other persons involved: Hilda Tellioglu, E193-04; Claudia Müller; Jürgen Osterbrink

S. Hensely-Schinkinger:
"Unterstützung für pflegende Angehörige - Von Problemen bis zu "Meeting Points" als Lösungsoptionen";
Supervisor, Reviewer: H. Tellioglu, C. Müller, J. Osterbrink; Institute of Visual Computing & Human-Centered Technology, Multidisciplinary Design & User Research, 2020; oral examination: 2020-05-29.

More information

Author: João Palotti, E194-01
Other persons involved: Allan Hanbury, E194-04; Guido Zuccon

J. Palotti:
"Understandability and expertise in consumer health search : retrieving topically relevant and understandable health information on the Web";
Supervisor, Reviewer: A. Hanbury, G. Zuccon; Institut für Information Systems Engineering, 2019.

Author: Doron Goldfarb, E194-04
Other persons involved: Wolfdieter Merkl, E194-04; Vivien Petras; Andreas Rauber, E194-01

D. Goldfarb:
"Uncovering and Comparing Large-Scale Art History Narratives in Biographical Datasets";
Supervisor, Reviewer: W. Merkl, V. Petras, A. Rauber; Institut für Information Systems Engineering, 2020.

Author: Carine Pierrette Mukamakuza, E194-04
Other persons involved: Hannes Werthner, E194-04; Markus Zanker; Alessandro Provetti

C. Mukamakuza:
"Analyzing social influence in recommender systems";
Supervisor, Reviewer: H. Werthner, M. Zanker, A. Provetti; Institut für Information Systems Engineering, 2020.

Author: Amra Delic, E194-04
Other persons involved: Hannes Werthner, E194-04; Marco de Gemmis; Paolo Cremonesi

A. Delic:
"Group recommendations - what counts?";
Supervisor, Reviewer: H. Werthner, M. de Gemmis, P. Cremonesi; Institute of Information Systems Engineering, 2020.

Author: Bernhard Gleiss, E192-04
Other persons involved: Laura Kovacs, E192-04; Stephan Schulz

B. Gleiss:
"Automated Software Verification using Superposition-based Theorem Proving";
Supervisor, Reviewer: L. Kovacs, S. Schulz; Institut for Logic and Computation, E192.04, 2020; oral examination: 2020-12-07.

Author: Markus Bögl, E193-07
Other persons involved: Silvia Miksch, E193-07; Peter Filzmoser, E105-06; Cagatay Turkay; Ross Maciejewski, Arizona

M. Bögl:
"Visual Analysis of Periodic Time Series Data - Supporting Model Selection, Prediction, Imputation, and Outlier Detection Using Visual Analytics";
Supervisor, Reviewer: S. Miksch, P. Filzmoser, C. Turkay, R. Maciejewski; Technische Universität Wien | Fakultät für Informatik | Institut für Visual Computing and Human-Centered Technology | E193, 2020; oral examination: 2020-11-27.

More information

Author: Tobias Kaminski, E192-03
Other persons involved: Thomas Eiter, E192-03; Nysret Musliu, E192-02

T. Kaminski:
"Integrated HEX-Algorithms and Applications in Machine Learning";
Supervisor, Reviewer: T. Eiter, N. Musliu; Institut für Logic and Computation, 2020; oral examination: 2020-12-01.

More information

Author: Jan Maly, E192-02
Other persons involved: Stefan Woltran, E192-02; Martin Lackner, E192-02

J. Maly:
". Ranking Sets of Objects. How to Deal with Impossibility Results";
Supervisor, Reviewer: S. Woltran, M. Lackner; Institut für Logic and Computation, 2020; oral examination: 2020-09-24.

Author: Adrian Haret, E192-02
Other persons involved: Stefan Woltran, E192-02; Thomas Eiter, E192-03

A. Haret:
"Choosing What to Believe -- Belief Change Through the Lens of Rational Choice";
Supervisor, Reviewer: S. Woltran, T. Eiter; Institut für Logic and Computation, 2020; oral examination: 2020-07-06.

More information

Author: Günter Schneckenreither, E194-01
Other persons involved: Felix Breitenecker, E101-03; Christian Kühn, TU Münschen; Peter Klimek, Med Uni Wien

G. Schneckenreither:
"Fractional Diffusion by Random Walks on Hierarchical and Fractal Topological Structures";
Supervisor, Reviewer: F. Breitenecker, C. Kühn, P. Klimek; Institut für Analysis und Scientific Computing, 2020; oral examination: 2020-03-11.

More information

Authors: Bernhard Heinzl, E101-03; Bernhard Heinzl, E191-03
Other persons involved: Felix Breitenecker, E101-03; Wolfgang Kastner, E191-03; Thorsten Pawletta

B. Heinzl:
"Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning";
Supervisor, Reviewer: F. Breitenecker, W. Kastner, T. Pawletta; Institut für Analysis und Scientific Computing, 2020; oral examination: 2020-06-16.

More information

Author: Bernhard Heinzl, E101-03
Other persons involved: Felix Breitenecker, E101-03; Thorsten Pawletta, Univ. Wismar/Rostock; Wolfgang Kastner, E191-03

B. Heinzl:
"Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning";
Supervisor, Reviewer: F. Breitenecker, T. Pawletta, W. Kastner; 101, 2002; oral examination: 2020-06-16.

More information

Author: Setareh Zafari, E330-01
Other persons involved: Sabine Theresia Köszegi, E330-01; Geraldine Fitzpatrick, E193-05; Martina Mara, JKU Linz

S. Zafari:
"Agency in socio-technical systems";
Supervisor, Reviewer: S. Köszegi, G. Fitzpatrick, M. Mara; Managementwissenschaft, 2020; oral examination: 2020-09-24.

More information

Author: Philipp Waibel, E194-02
Other persons involved: Stefan Schulte, E194-02; Josef Spillner, ZHAW; Ingo Weber

P. Waibel:
"Cloud-Based Elasticity for Business Processes and Data Storage";
Supervisor, Reviewer: S. Schulte, J. Spillner, I. Weber; Institute of Information Systems Engineering, Distributed Systems Group, 2020; oral examination: 2020-12-11.

More information

Author: Solmaz Mansour-Duschet, E311-01-3
Other persons involved: Burkhard Kittl, E311-01-3; Wolfgang Kastner, E191-03; Alfred Taudes

S. Mansour-Duschet:
"A Multiagent Design Methodology for the Manufacturing Execution System Domain";
Supervisor, Reviewer: B. Kittl, W. Kastner, A. Taudes; E 311-01, 2020; oral examination: 2020-12-11.

Author: Arvin Rasoulzadeh, E104-03
Other persons involved: Georg Nawratil, E104-03; Hannes Kaufmann, E193-02

A. Rasoulzadeh:
"Design and Path Optimization of Linear Pentapods Based on the Geometry of Their Singularity Varieties";
Supervisor, Reviewer: G. Nawratil, H. Kaufmann; Diskrete Mathematik und Geometrie, 2020; oral examination: 2020-09-17.

Author: Benedikt Klocker, E192-01
Other persons involved: Günther Raidl, E192-01; Herbert Fleischner, E192-01

B. Klocker:
"Combinatorial Optimization Approaches for Graph Construction Problems";
Supervisor, Reviewer: G. Raidl, H. Fleischner; Institute of Logic and Computation, 2020; oral examination: 2020-03-25.

More information

Author: Davide Ceneda, E193-07
Other persons involved: Silvia Miksch, E193-07; Christian Tominski, Rostock; Christopher Collins; Tim Dwyer

D. Ceneda:
"Guidance-Enriched Visual Analytics";
Supervisor, Reviewer: S. Miksch, C. Tominski, C. Collins, T. Dwyer; Institute of Visual Computing & Human-Centered Technology, 2020; oral examination: 2020-10-23.

More information

Author: Michael Borkowski, E194-02
Other persons involved: Stefan Schulte, E194-02; Valeria Cardellini, U. Rome Tor Vergata; Stefan Tai

M. Borkowski:
"Predictive Approaches for Resource Provisioning in Distributed Systems";
Supervisor, Reviewer: S. Schulte, V. Cardellini, S. Tai; Institute of Information Systems Engineering, Distributed Systems Group, 2020; oral examination: 2020-09-03.

More information

Author: Fabian Klute, E192-01
Other persons involved: Martin Nöllenburg, E192-01; Fabrizio Frati; Stephen G. Kobourov

F. Klute:
"Avoiding Crossings in Non-Planar Graph Layouts";
Supervisor, Reviewer: M. Nöllenburg, F. Frati, S.G. Kobourov; Institut für Logic and Computation, 2020; oral examination: 2020-03-13.

Author: Patrick Neubauer, E194-03 [Vienna Universit ...]
Other persons involved: Manuel Wimmer, E194-03; Davide Di Ruscio; Werner Retschitzegger, JKU Linz

P. Neubauer:
"A Framework for Modernizing Domain-Specific Languages From XML Schema to Consistency-Achieving Editors with Reusable Notations";
Supervisor, Reviewer: M. Wimmer, D. Di Ruscio, W. Retschitzegger; Institut für Information Systems Engineering, 2020; oral examination: 2020-07-08.

More information

Author: Bernhard Wally, E194-03
Other persons involved: Christian Huemer, E194-03; Manuel Wimmer, E194-03

B. Wally:
"Smart Manufacturing Systems: Model-Driven Integration of ERP and MOM";
Supervisor, Reviewer: C. Huemer, M. Wimmer; Institut für Information Systems Engineering, 2020; oral examination: 2020-06-17.

More information

Author: Daniel Cornel
Other persons involved: Eduard Gröller, E193-02; Jürgen Waser

D. Cornel:
"Interactive Visualization ofSimulation Data for GeospatialDecision Support";
Supervisor, Reviewer: E. Gröller, J. Waser; Visual Computing and Human-Centered Technology, 2020; oral examination: 2020-02-12.

More information

Author: Robert Bill, E194-03
Other persons involved: Gerti Kappel, E194-03; Manuel Wimmer, E194-03; Martin Gogolla; Antonio Vallecillo

R. Bill:
"Model Integration by Hybrid Model Virtualization";
Supervisor, Reviewer: G. Kappel, M. Wimmer, M. Gogolla, A. Vallecillo; Institut für Information Systems Engineering, 2020; oral examination: 2020-02-24.

More information

Author: Xuezhi Zeng
Other persons involved: N. N.; Ivona Brandic, E194-04

X. Zeng:
"Management of Service Level Agreements in Cloud-hosted Big Data Analytics Applications for QoS Guarantee: A Layer-based Study";
Supervisor, Reviewer: N. N., I. Brandic; Faculty of Engineering and Computer Science Australian National University, 2019; oral examination: 2019-01.

Author: Gustavo Rostirolla
Other persons involved: N. N.; Ivona Brandic, E194-04

G. Rostirolla:
"Scheduling in Cloud Data Center Powered by Renewable Energy Only With Mixed Phases-Based Workload";
Supervisor, Reviewer: N. N., I. Brandic; University of Toulouse Paul Sabatier, 2019; oral examination: 2019-11-25.

Author: Daniel Auferbauer, E193-04
Other persons involved: Hilda Tellioglu, E193-04; Andrea Tapia; Marcos R. S. Borges

D. Auferbauer:
"New Media Technologies in Crisis and Disaster Management";
Supervisor, Reviewer: H. Tellioglu, A. Tapia, M. Borges; Institut für Visual Computing & Human-Centered Technology, 2019; oral examination: 2019-11-11.

More information

Author: Labinot Bajraktari, E192-03
Other persons involved: M.Magdalena Ortiz de la Fuente, E192-03; Domenico Lembo; Sebastian Rudolph

L. Bajraktari:
"Querying Rich Ontologies by Exploiting the Structure of Data";
Supervisor, Reviewer: M. Ortiz de la Fuente, D. Lembo, S. Rudolph; Logic and Computation (E192), 2019; oral examination: 2020-01-09.

Author: Zeynep Gözen Saribatur, E192-03
Other persons involved: Thomas Eiter, E192-03; Georg Weissenbacher, E192-04

Z. G. Saribatur:
"Abstraction for Reasoning about Agent Behavior with Answer Set Programming";
Supervisor, Reviewer: T. Eiter, G. Weissenbacher; Institut für Logic and Computation, 2019; oral examination: 2019-12-17.

Author: Andreas Steininger, E354-02
Other persons involved: Rupert Patzelt, E354; Hermann Kopetz, E191-01

A. Steininger:
"A Measuring Methodology for Fault-Injection Experiments in Computing Systems";
Supervisor, Reviewer: R. Patzelt, H. Kopetz; 354-02, 1994.

Author: Martin Perner, E191-02
Other persons involved: Ulrich Schmid, E191-02; Axel Jantsch, E384-02; Milos Krstic, Universität Pots ...

M. Perner:
"Fault-Tolerant Clock Distribution in Grid-Like Networks";
Supervisor, Reviewer: U. Schmid, A. Jantsch, M. Krstic; Institut für Computer Engineering (E191-02), 2019; oral examination: 2019-10-16.

More information

Author: Francesco Genco
Other persons involved: Agata Ciabattoni, E192-05; Ezio Bartocci, E191-01

F. Genco:
"Intermediate logics and concurrent lambda-calculi: a proof theoretic approach";
Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08.

Author: Károly Zsolnai, E193-02
Other persons involved: Michael Wimmer, E193-02; Torsten Möller; Derek Nowrouzezahrai

K. Zsolnai:
"Photorealistic Material Learningand Synthesis";
Supervisor, Reviewer: M. Wimmer, T. Möller, D. Nowrouzezahrai; Visual Computing and Human-Centered Technology, 2019.

More information

Author: Tobias Klein, E193-02
Other persons involved: Eduard Gröller, E193-02; Thomas Ertl, Uni-Stuttgart; Timo Ropinski

T. Klein:
"Instant Construction of Atomistic Models for Visualization in Integrative Cell Biology";
Supervisor, Reviewer: E. Gröller, T. Ertl, T. Ropinski; Visual Computing and Human-Centered Technology, 2019; oral examination: 2019-11-29.

More information

Author: Johannes Weissenböck
Other persons involved: Eduard Gröller, E193-02; Christoph Heinzl

J. Weissenböck:
"Visual Analysis of Methods for Processing 3D X-ray Computed Tomography Data of Advanced Composites";
Supervisor, Reviewer: E. Gröller, Ch. Heinzl; Visual Computing and Human-Centered Technology, 2019; oral examination: 2019-12-05.

More information

Author: Kyrill Winkler, E191-02
Other persons involved: Ulrich Schmid, E191-02; Sergio Rajsbaum, UNAM; Stefan Schmid, Universität Wien

K. Winkler:
"Characterization of Consensus Solvability under Message Adversaries";
Supervisor, Reviewer: U. Schmid, S. Rajsbaum, S. Schmid; Institut für Computer Engineering, 2019; oral examination: 2019-10-23.

Author: Martin Diller, E192-02
Other persons involved: Stefan Woltran, E192-02; Uwe Egly, E192-03

M. Diller:
"Realising argumentation using answer set programming and quantified boolean formulas";
Supervisor, Reviewer: S. Woltran, U. Egly; Institute of Logic and Computations, 2019; oral examination: 2019-04-30.

More information

Author: Haichao Miao, E193-02
Other persons involved: Ivan Viola, E193-02; Tobias Isenberg; Helwig Hauser; Ingrid Hotz

H. Miao:
"Geometric Abstraction for Effective Visualization and Modeling";
Supervisor, Reviewer: I. Viola, T. Isenberg, H. Hauser, I. Hotz; Institute of Visual Computing and Human-Centered Technology, 2019; oral examination: 2019-08-19.

More information

Author: Stefan Feldmann, TU München
Other persons involved: Birgit Vogel-Heuser, TU München; Gerti Kappel, E194-03; Christian Diedrich

S. Feldmann:
"Diagnosis and Handling of Inconsistencies in Heterogeneous Models of Automated Production Systems";
Supervisor, Reviewer: B. Vogel-Heuser, G. Kappel, C. Diedrich; Institute of Information Systems Engineering, Business Informatics Group, 2019; oral examination: 2019-09-20.

More information

Author: Shqiponja Ahmetaj, E192-02
Other persons involved: Reinhard Pichler, E192-02; Mantas Simkus, E192-02

S. Ahmetaj:
"Rewriting Approaches for Ontology-Mediated Query Answering";
Supervisor, Reviewer: R. Pichler, M. Simkus; Institut für Logic and Computation, 2019; oral examination: 2019-07-09.

More information

Author: Alexander Pacha, E194-01
Other persons involved: Horst Eidenberger, E194-01; Ichiro Fujinaga, McGill University; Oge Marques, FAU

A. Pacha:
"Self-Learning Optical Music Recognition";
Supervisor, Reviewer: H. Eidenberger, I. Fujinaga, O. Marques; Institute of Information Systems Engineering, 2019; oral examination: 2019-07-04.

More information

Author: Roman Prutkin
Other persons involved: Dorothea Wagner; Martin Nöllenburg, E192-01; Michael Kaufmann

R. Prutkin:
"Graph Embeddings Motivated by Greedy Routing";
Supervisor, Reviewer: D. Wagner, M. Nöllenburg, M Kaufmann; Institut für Theoretische Informatik, KIT, 2017; oral examination: 2017-11-29.

More information

Author: Benjamin Niedermann
Other persons involved: Martin Nöllenburg, E192-01; Jan-Henrik Haunert

B. Niedermann:
"Automatic Label Placement in Maps and Figures: Models, Algorithms and Experiments";
Supervisor, Reviewer: M. Nöllenburg, J. Haunert; Institut für Theoretische Informatik, KIT, 2017; oral examination: 2017-02-02.

Author: Robert Annessi, E389-01
Other persons involved: Tanja Zseby, E389-01; Adrian Perrig; Edgar Weippl, E194-01

R. Annessi:
"Securing Group Communication in Critical Infrastructures";
Supervisor, Reviewer: T. Zseby, A. Perrig, E. Weippl; E389, 2019; oral examination: 2019-03-28.

Author: Iana Podkosova, E193-06
Other persons involved: Hannes Kaufmann, E193-02; Gregory Welch, University of Ce ...; Alan Chalmers, University of Wa ...

I. Podkosova:
"Walkable Multi-User VR: Effects of Physical and Virtual Colocation";
Supervisor, Reviewer: H. Kaufmann, G. Welch, A. Chalmers; 193, 2019; oral examination: 2019-02-08.

More information

Author: Sayed Saeid Masoumzadeh
Other persons involved: Helmut Hlavacs, Uni Wien; Ivona Brandic, E194-04

S. Masoumzadeh:
"Autonomic Management of Virtual Machines in Cloud Data Centers Using Machine Learning";
Supervisor, Reviewer: H. Hlavacs, I. Brandic; Universität Wien, Fakultät für Informatik, 2018.

Author: Hamid Reza Faragardi
Other persons involved: Thomas Nolte; Kristian Sandström; Björn Lisper; Alessandro Papadopoulos; Ivona Brandic, E194-04

H. Faragardi:
"Optimizing Timing-Critical Cloud Resources in a Smart Factory";
Supervisor, Reviewer: T. Nolte, K. Sandström, B. Lisper, A. Papadopoulos, I. Brandic; Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems, 2018; oral examination: 2018-03-08.

More information

Author: Thomas Renner
Other persons involved: Odej Kao, TU Berlin; Ivona Brandic, E194-04

T. Renner:
"Data and Container Placement in Scalable Data Analytics Platforms";
Supervisor, Reviewer: O. Kao, I. Brandic; TU Berlin, Department of Telecommunication Systems, 2018; oral examination: 2018-10-30.

More information

Author: Mareike Höger
Other persons involved: Odej Kao, TU Berlin; Ivona Brandic, E194-04

M. Höger:
"Fault Tolerance in Parallel Data Processing Systems";
Supervisor, Reviewer: O. Kao, I. Brandic; TU Berlin, Department of Telecommunication Systems, 2018; oral examination: 2018-10-30.

Author: Michael Lettmann, E192-05
Other persons involved: Alexander Leitsch, E192-05; Matthias Baaz, E104-02

M. Lettmann:
"Algorithmic Introduction of ∏2-Cut";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Logic and Computation, 2018; oral examination: 2018-10-30.

Author: Martin Riener
Other persons involved: Alexander Leitsch, E192-05; Christoph Benzmüller

M. Riener:
"Applications of Higher-Order Cut-Elimination";
Supervisor, Reviewer: A. Leitsch, C. Benzmüller; Institut für Computersprachen, 2018.

Author: Jean Hallewell Haslwanter, E193-05
Other persons involved: Geraldine Fitzpatrick, E193-05; Asa Cajander; Klaus Miesenberger

J. Hallewell Haslwanter:
"User-Centered Development of sensor-based Systems for Older People";
Supervisor, Reviewer: G. Fitzpatrick, A. Cajander, K. Miesenberger; 187-2, 2017; oral examination: 2017-11-07.

More information

Author: Petr Slovak, E193-05
Other persons involved: Geraldine Fitzpatrick, E193-05; Judy Robertson, School of Mathem ...; Sean Munson

P. Slovak:
"Supporting the development of social-emotional competencies through technology";
Supervisor, Reviewer: G. Fitzpatrick, J. Robertson, S. Munson; 187-2, 2017; oral examination: 2017-03-27.

More information

Author: Richard Vogl, E194-01
Other persons involved: Gerhard Widmer; Peter Knees, E194-01; Matthew Davies, INESC

R. Vogl:
"Deep Learning Methods for Drum Transcription and Drum Pattern Generation";
Supervisor, Reviewer: G. Widmer, P. Knees, M. Davies; Johannes Kepler University Linz, 2018.

More information

Author: Miroslav Sili, AIT Austrian Inst
Other persons involved: Hilda Tellioglu, E193-04; Myriam Lewkowicz; Johannes Oberzaucher

S. Sili:
"UX in the AAL Field of Practice. Interaction Design Framework Targeting Long-Standing User Engagement with Interactive Systems";
Supervisor, Reviewer: H. Tellioglu, M. Lewkowicz, J. Oberzaucher; Visual Computing & Human-Centered Technology, Multidisciplinary Design & User Research, 2018; oral examination: 2019-02-14.

More information

Author: Ahmed Ismail, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Paul Pop; Dirk Timmermann

A. Ismail:
"Service oriented manufacturing infrastructure";
Supervisor, Reviewer: W. Kastner, P. Pop, D. Timmermann; Institute of Computer Engineering, 2018; oral examination: 2018-03-09.

Author: Claudia Zanabria
Other persons involved: Thomas Strasser, E325-04; Wolfgang Kastner, E191-03; Alois Zoitl

C. Zanabria:
"Adaptable Engineering Support Framework for Multi-Functional Battery Energy Storage Systems";
Supervisor, Reviewer: T. Strasser, W. Kastner, A. Zoitl; Institut für Mechanik und Mechatronik, 2018; oral examination: 2018-12-13.

More information

Author: Ewa Piatkowska, E193-01
Other persons involved: Margrit Gelautz, E193-01; Josef Scharinger, JKU Linz; Pavel Zemčík

E. Piatkowska:
"Asynchronous Stereo Vision Event-driven Stereo Matching and Tracking for Dynamic Vision Sensors";
Supervisor, Reviewer: M. Gelautz, J. Scharinger, P. Zemčík; Fakultät für Informatik der Technischen Universität Wien, 2018; oral examination: 2018-12-17.

More information

Author: Michael Schwärzler
Other persons involved: Michael Wimmer, E193-02; Hannes Kaufmann, E193-02; Elmar Eisemann

M. Schwärzler:
"Advances in the Multimodal 3D Reconstruction and Modeling of Buildings";
Supervisor, Reviewer: M. Wimmer, H. Kaufmann, E. Eisemann; E193-02, 2018; oral examination: 2018-10-23.

More information

Author: Martina Lindorfer, E191-03, E192-06
Other persons involved: Edgar Weippl, E194-01; Thorsten Holz, RUB; Engin Kirda, Northeastern Univ.

M. Lindorfer:
"Malware Through the Looking Glass: Malware Analysis in an Evolving Threat Landscape";
Supervisor, Reviewer: E. Weippl, T. Holz, E. Kirda; Institut für Rechnergestützte Automation, 2016; oral examination: 2016-02-02.

More information

Author: Manfred Schwarz, E191-02
Other persons involved: Ulrich Schmid, E191-02; Emmanuel Godard, Aix-Marseille U.

M. Schwarz:
"Agreement Algorithms in Directed Dynamic Networks";
Supervisor, Reviewer: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15.

Author: Michael Birsak, E193-02
Other persons involved: Michael Wimmer, E193-02; Robert Sablatnig, E193-01; Peter Wonka

M. Birsak:
"Discrete Optimization on Graphs and Grids for the Creation of Navigational and Artistic Imagery";
Supervisor, Reviewer: M. Wimmer, R. Sablatnig, P. Wonka; 193-02, 2018; oral examination: 2018-10-17.

More information

Author: Thomas Mühlbacher, E193-02
Other persons involved: Eduard Gröller, E193-02; Helwig Hauser, E193-02; Cagatay Turkay; Harald Piringer, E193-02

T. Mühlbacher:
"Human-Oriented Statistical Modeling: Making Algorithms Accessible through Interactive Visualization";
Supervisor, Reviewer: E. Gröller, H. Hauser, C. Turkay, H Piringer; 193-02, 2018; oral examination: 2018-11-09.

More information

Author: Daniel Schachinger, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Jörn Plönnigs; Alexander Fay, CDL

D. Schachinger:
"Building Energy Management Optimization ​ based on a Semantic Abstraction Layer​";
Supervisor, Reviewer: W. Kastner, J. Plönnigs, A. Fay; Computer Engineering, 2018; oral examination: 2018-10-15.

Author: Mirela Riveni, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Harald Gall, UZH; Mehmet S. Aktas, Yildiz Techn. Univ.

M. Riveni:
"Provisioning and Management Techniques for Elastic Collectives in Human Computation";
Supervisor, Reviewer: S. Dustdar, H. Truong, H. Gall, M. Aktas; Institute of Information Systems Engineering, Distributed Systems Group, 2018; oral examination: 2018-09-28.

More information

Author: Paul Manstetten, E360
Other persons involved: Siegfried Selberherr, E360; Josef Weinbub, E360; Michael Wimmer, E193-02; Harald Köstler

P. Manstetten:
"Efficient Flux Calculations for Topography Simulation";
Supervisor, Reviewer: S. Selberherr, J. Weinbub, M. Wimmer, H. Köstler; Institut für Mikroelektronik, 2018; oral examination: 2018-06-28.

More information

Author: Christoph Hochreiner, E194-02
Other persons involved: Schahram Dustdar, E194-02; Stefan Schulte, E194-02; Harald Gall, E194-02; Gerti Kappel, E194-03

C. Hochreiner:
"An Elastic Data Stream Processing Ecosystem for Distributed Environments (Honored by the city of Vienna with an award for outstanding phd theses in the year 2018 at the TU Wien)";
Supervisor, Reviewer: S. Dustdar, S. Schulte, H. Gall, G. Kappel; Institute of Information Systems Engineering, Distributed Systems Group, 2018; oral examination: 2018-03-01.

More information

Author: Stefan Mijatov, E194-03
Other persons involved: Gerti Kappel, E194-03; Ruth Breu; Franz Wotawa

S. Mijatov:
"A Framework for Testing fUML Models";
Supervisor, Reviewer: G. Kappel, R. Breu, F. Wotawa; Institut für Information Systems Engineering, 2018; oral examination: 2018-04-09.

Author: Philipp Kalb
Other persons involved: Gerti Kappel, E194-03; Ruth Breu

P. Kalb:
"Continuous Software Quality Management for Evolutionary Systems";
Supervisor, Reviewer: G. Kappel, R. Breu; Institut für Softwaretechnik und Interaktive Systeme, 2016; oral examination: 2016-11-30.

More information

Author: Erwan Bousse, E194-03
Other persons involved: Gerti Kappel, E194-03; Franck Barbier; Julien Deantoni, Un. Côte d´Azur, I3S; Francois Taiani; Benoit Baudry; Benoit Combemale, Inria, Rennes Cedex

E. Bousse:
"Execution Trace Management to Support Dynamic V&V for Executable DSMLs";
Supervisor, Reviewer: G. Kappel, F. Barbier, J. Deantoni, F. Taiani, B. Baudry, B. Combemale; Institut für Softwaretechnik und Interaktive Systeme, 2015; oral examination: 2015-12-03.

More information

Author: Stefan Radomski
Other persons involved: Gerti Kappel, E194-03; Max Mühlhäuser

S. Radomski:
"Formal Veri cation of Multimodal Dialogs in Pervasive Environments";
Supervisor, Reviewer: G. Kappel, M. Mühlhäuser; Institut für Softwaretechnik und Interaktive Systeme, 2015; oral examination: 2015-11-24.

More information

Author: Sebastian Gabmeyer, E194-03
Other persons involved: Gerti Kappel, E194-03; Martina Seidl, E194-03

S. Gabmeyer:
"New Model Checking Techniques for Software Systems Modeled with Graphs and Graph Transformations";
Supervisor, Reviewer: G. Kappel, M. Seidl; Institut für Softwaretechnik und Interaktive Systeme, 2015; oral examination: 2015-08-10.

More information

Author: Irum Rauf
Other persons involved: Ivan Porres; Gerti Kappel, E194-03; Cesare Pautasso, Uni of Lugano

I. Rauf:
"Design and Validation of Stateful Composite RESTful Web Services TUCS Dissertations No 177";
Supervisor, Reviewer: I. Porres, G. Kappel, C. Pautasso; Institut für Softwaretechnik und Interaktive Systeme, 2014; oral examination: 2014-03-07.

More information

Author: Martin Simon Wieber
Other persons involved: Andy Schürr; Gerti Kappel, E194-03

M. Wieber:
"Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme";
Supervisor, Reviewer: A. Schürr, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2015; oral examination: 2015-06-17.

More information

Author: Bojan Bozic
Other persons involved: W. Winiwarter; Gerti Kappel, E194-03

B. Bozic:
"A Multi-Domain Framework for Community Building Based on Data Tagging";
Supervisor, Reviewer: W. Winiwarter, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2014; oral examination: 2014-06-17.

More information

Author: Hajer Saada
Other persons involved: Marianne Huchard; Benoit Baudry; Gerti Kappel, E194-03

H. Saada:
"Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery)";
Supervisor, Reviewer: M. Huchard, B. Baudry, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2013; oral examination: 2013-12-04.

More information

Author: Javier Troya, US
Other persons involved: Antonio Vallecillo Moreno; Gerti Kappel, E194-03

J. Troya:
"On the Model-Driven Performance and Reliability Analysis of Dynamic Systems";
Supervisor, Reviewer: A. Vallecillo Moreno, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2013; oral examination: 2013-02-12.

Author: Jurriaan Souer
Other persons involved: Sjaak Brinkkemper, Utrecht University; R. W. Helms; Gerti Kappel, E194-03

J. Souer:
"Development of Content Management System-based Web Applications";
Supervisor, Reviewer: S. Brinkkemper, R. Helms, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2012; oral examination: 2012-02-28.

Author: Zvezdan Protić
Other persons involved: Mark Van den Brand; Tom Verhoeff; Gerti Kappel, E194-03

Z. Protić:
"Con guration management for models: Generic methods for model comparison and model co-evolution";
Supervisor, Reviewer: M. Van den Brand, T. Verhoeff, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2011; oral examination: 2010-07-01.

More information

Author: Angelika Kusel
Other persons involved: Werner Retschitzegger, JKU Linz; Gerti Kappel, E194-03; Wieland Schwinger, JKU Linz

A. Kusel:
"Reusability in Model Transformations - Resolving Recurring Heterogeneities by Composite Mapping Operators";
Supervisor, Reviewer: W. Retschitzegger, G. Kappel, W. Schwinger; Institut für Softwaretechnik und Interaktive Systeme, 2012; oral examination: 2012-09-30.

More information

Author: Tobias Walter
Other persons involved: Gerti Kappel, E194-03; Jürgen Ebert; Steffen Staab

T. Walter:
"Bridging Technological Spaces: Towards the Combination of Model-Driven Engineering and Ontology Technologies";
Supervisor, Reviewer: G. Kappel, J. Ebert, S. Staab; Universität Koblenz-Landau, Deutschland, 2011.

More information

Author: Maider Azanza Sesé
Other persons involved: Gerti Kappel, E194-03; Oscar Díaz García

M. Azanza Sesé:
"Model Driven Product Line Engineering: Core Asset and Process Implications";
Supervisor, Reviewer: G. Kappel, O. Díaz García; University of the Basque Country, Spanien, 2010.

More information

Author: Simon Maurer, U. Hertfordshire
Other persons involved: Jens Knoop, E194-05; D. Bruce Christianson, U. Hertfordshire

S. Maurer:
"Analysis and Coordination of Mixed-Criticality Cyber-Physical Systems";
Supervisor, Reviewer: J. Knoop, D.B. Christianson; University of Hertfordshire, 2018; oral examination: 2018-01-11.

Author: Nataliia Rümmele, E194-04
Other persons involved: Hannes Werthner, E194-04; Alessandro Provetti; Wilfried Grossmann, UniWien

N. Rümmele:
"Temporal link prediction using graph pattern matching";
Supervisor, Reviewer: H. Werthner, A. Provetti, W. Grossmann; Institut für Softwaretechnik und Interaktive Systeme, 2015.

Author: Eduard Gringinger
Other persons involved: Wolfdieter Merkl, E194-04; Gerald Futschek, E194-01; Markus Stumptner, E192

E. Gringinger:
"Ontology-based software development : semantically enhanced information management and software component reuse in the air traffic management industry";
Supervisor, Reviewer: W. Merkl, G. Futschek, M. Stumptner; Institut für Softwaretechnik und Interaktive Systeme, 2017.

Author: Maria del Carmen Calatrava Moreno, E194-04
Other persons involved: Hannes Werthner, E194-04; Mary Ann Danowitz, NC State University; Paolo Giorgini; Dirk van Damme

M. Calatrava Moreno:
"Doctoral interdisciplinarity : a multi-method analysis based on bibliometrics and empirical approaches";
Supervisor, Reviewer: H. Werthner, M. Danowitz, P. Giorgini, D. van Damme; Institut für Softwaretechnik und Interaktive Systeme, 2017.

Author: Christoph Grün, E194-04
Other persons involved: Hannes Werthner, E194-04; Markus Zanker; Matthias Fuchs

C. Grün:
"Ontology-based matchmaking to provide personalized offers";
Supervisor, Reviewer: H. Werthner, M. Zanker, M. Fuchs; Institut für Softwaretechnik und Interaktive Systeme, 2016.

Author: Andreas Fernbach, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Ardeshir Mahdavi, E259-03; Martin Wollschläger, TU Dresden

A. Fernbach:
"Semantic Evolution in Automation Systems Integration";
Supervisor, Reviewer: W. Kastner, A. Mahdavi, M. Wollschläger; Fakultät für Informatik - Automation Systems Group, 2018; oral examination: 2018-06-27.

More information

Author: Ehtesham-Ul-Haq Dar, E194-04 [Ph.D. Student]
Other persons involved: Jürgen Dorn, E194-04; Christian Stary; Lule Ahmedi, Univ. of Prishtina

E Dar:
"Enhanced Methods of Job Offers mining from the World Wide Web";
Supervisor, Reviewer: J. Dorn, Ch. Stary, L. Ahmedi; Institut für Information Systems Engineering, 2018.

Author: Filip Pröstl Andrén, AIT Austrian Ins ...
Other persons involved: Wolfgang Kastner, E191-03; Thomas Strasser, E325-04

F. Pröstl Andrén:
"Model-Driven Engineering for Smart Grid Automation";
Supervisor, Reviewer: W. Kastner, T. Strasser; Institut für Computer Engineering, 2018; oral examination: 2018-03-14.

More information

Author: Gudrun Salamon, E194-04
Other persons involved: Paul Rössler, Uni Regensburg; Peter Ernst, Universität Wien

G. Salamon:
"Der Wortschatz der Wahrnehmung. Lexikologische Erhebung und semantisch-kategoriale Analyse";
Supervisor, Reviewer: P. Rössler, P. Ernst; Institut für Germanistik, Universität Wien, 2017; oral examination: 2017-10-20.

More information

Author: Gudrun Salamon, E194-04
Other persons involved: Wolfdieter Merkl, E194-04; Bettina Berendt; Gerald Futschek, E194-01

G. Salamon:
"Testing Perceptual Preference. Development and Evaluation of Computer Based Methods for Testing Perceptual Preference";
Supervisor, Reviewer: W. Merkl, B. Berendt, G. Futschek; 188, 2017; oral examination: 2017-11-29.

More information

Author: Martin-Stefan Barisits
Other persons involved: Eva Kühn, E194-05; Erich Schikuta; Sandford Bessler, FTW

M. Barisits:
"Hybrid simulation models for data-intensive systems";
Supervisor, Reviewer: E. Kühn, E. Schikuta, S. Bessler; E185-1, 2017; oral examination: 2017-04-21.

Author: Tara Akhavan, E193-01
Other persons involved: Hannes Kaufmann, E193-02; Alan Chalmers; Kadi Bouatouch

T. Akhavan:
"Applications of High Dynamic Range Imaging";
Supervisor, Reviewer: H. Kaufmann, A. Chalmers, K. Bouatouch; Institut für Softwaretechnik und Interaktive Systeme, 2017; oral examination: 2017-05-18.

More information

Author: Markus Raab, E194-05
Other persons involved: Franz Puntigam, E194-05; Uwe Aßmann, TU Dresden; Yuanyuan Zhou, UC San Diego

M. Raab:
"Context-aware Configuration";
Supervisor, Reviewer: F. Puntigam, U. Aßmann, Y. Zhou; Institut für Computersprachen - Programmiersprachen und Übersetzer, 2017; oral examination: 2017-11-23.

More information

Author: Radu Mariescu-Istodor, 186/3
Other persons involved: Pasi Fränti; Jon Krumm; Hassan Karimi; Walter Kropatsch, E193-03 [193-03]

R. Mariescu-Istodor:
"Efficient Management And Search Of Gps Routes";
Supervisor, Reviewer: P. Fränti, J. Krumm, H. Karimi, W. Kropatsch; University of Eastern Finland/aculty of Science and Forestry for public examination in Louhela auditorium in Science Park, 2017.

More information

Author: Geetha Ramachandran, E389-02
Other persons involved: Markus Rupp, E389-02; Walter Kropatsch, E193-03 [193-03]

G. Ramachandran:
"Elements of an Image Processing System: Navigating through Representation, Shape Matching and View Synthesis";
Supervisor, Reviewer: M. Rupp, W. Kropatsch; E389, 2017; oral examination: 2017-12-15.

Author: Michael Abseher, E192-02
Other persons involved: Stefan Woltran, E192-02; Luca Di Gaspero; Rolf Niedermeier

M. Abseher:
"Tailored Tree Decompositions for Efficient Problem Solving";
Supervisor, Reviewer: S. Woltran, L. Di Gaspero, R. Niedermeier; Institut fuer Informationssysteme, 2017; oral examination: 2017-04-28.

More information

Author: Neda Ghiassi, E259-03
Other persons involved: Ardeshir Mahdavi, E259-03; Helmut Rechberger, E226-02; D. Saelens; Jessen Page, hevs; Schahram Dustdar, E194-02

N. Ghiassi:
"An Hourglass Approach to Urban Energy Computing";
Supervisor, Reviewer: A. Mahdavi, H. Rechberger, D. Saelens, J. Page, S. Dustdar; Institut für Architekturwissenschaften, Abteilung Bauphysik und Bauökologie, 2017; oral examination: 2017-12-15.

More information

Author: Christof Spanring, E192-02
Other persons involved: Paul E. Dunne; Davide Grossi; Stefan Woltran, E192-02; Frank Wolter; Pietro Baroni

C. Spanring:
"Set- and Graph-theoretic Investigations in Abstract Argumentation";
Supervisor, Reviewer: P. Dunne, D. Grossi, S. Woltran, F. Wolter, P. Baroni; Institut fuer Informationssysteme, 2017; oral examination: 2017-09-13.

More information

Author: Günther Charwat, E192-02
Other persons involved: Luca Pulina; Martina Seidl; Stefan Woltran, E192-02

G. Charwat:
"BDD-based Dynamic Programming on Tree Decompositions - Towards an Alternative Approach for Efficient (QBF) Solving";
Supervisor, Reviewer: L. Pulina, M. Seidl, S. Woltran; Institut fuer Informationssysteme, 2017; oral examination: 2017-09-22.

More information

Author: Bernhard Bliem, E192
Other persons involved: Stefan Woltran, E192-02; Francesco Scarcello; Gerhard Woeginger

B. Bliem:
"Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs";
Supervisor, Reviewer: S. Woltran, F. Scarcello, G. Woeginger; Institut für Informationssysteme, 2017; oral examination: 2017-10-20.

More information

Author: Varadan Savulimedu Veeravalli, E191-02
Other persons involved: Cecilia Metra, Universität Bologna; Milos Krstic, Universität Pots ...

V. S. Veeravalli:
"Design of Custom ASIC for Radiation Experiments to Study Single Event Effects";
Supervisor, Reviewer: C. Metra, M. Krstic; Technische Informatik, 2017; oral examination: 2017-11-24.

More information

Author: Francisco Nunes, E193-05
Other persons involved: Geraldine Fitzpatrick, E193-05; Anne Moen, University of Oslo; Madeline Balaam, Newcastle University

F. Nunes:
"The Everyday Life with Parkinson's and Self-care Technologies";
Supervisor, Reviewer: G. Fitzpatrick, A. Moen, M. Balaam; Institut für Gestaltungs- und Wirkungsforschung, 2017; oral examination: 2017-07-28.

More information

Author: Sylwia Polberg, E192-02
Other persons involved: Stefan Woltran, E192-02; Leon van der Torre; Sanjay Modgil

S. Polberg:
"Developing the Abstract Dialectical Framework";
Supervisor, Reviewer: S. Woltran, L. van der Torre, S. Modgil; Institut fuer Informationssysteme, 2017; oral examination: 2017-08-16.

Author: Thomas Linsbichler, E192-02
Other persons involved: Stefan Woltran, E192-02; Wolfgang Dvorak, E192-02

T. Linsbichler:
"Advances in Abstract Argumentation - Expressiveness and Dynamics";
Supervisor, Reviewer: S. Woltran, W. Dvorak; Institut fuer Informationssysteme, 2017; oral examination: 2017-06-30.

More information

Author: Nicholas Waldin, E193-02
Other persons involved: Ivan Viola, E193-02; Petra Isenberg; Karol Myszkowski

N. Waldin:
"Using and Adapting to Limits of Human Perception in Visualization";
Supervisor, Reviewer: I. Viola, P. Isenberg, K. Myszkowski; Institut für Computergraphik und Algorithmen, 2017; oral examination: 2017-11-06.

More information

Author: Johannes Sorger, E193-02
Other persons involved: Ivan Viola, E193-02; Eduard Gröller, E193-02; Torsten Möller; Barbora Kozlikova

J. Sorger:
"Integration Strategies in the Visualization of Multifaceted Spatial Data";
Supervisor, Reviewer: I. Viola, E. Gröller, T. Möller, B. Kozlikova; Institut für Computergraphik und Algorithmen, 2017; oral examination: 2017-11-22.

More information

Author: Reinhold Preiner, E193-02
Other persons involved: Michael Wimmer, E193-02; Marc Alexa; Robert Sablatnig, E193-01

R. Preiner:
"Dynamic and Probabilistic Point-Cloud Processing";
Supervisor, Reviewer: M. Wimmer, M. Alexa, R. Sablatnig; Institut für Computergraphik und Algorithmen, 2017; oral examination: 2017-10-13.

More information

Author: Johanna Ullrich
Other persons involved: Edgar Weippl, E194-01; Tanja Zseby, E389-01; Davide Balzarotti; Günther Pernul, Uni-Regensburg

J. Ullrich:
"Geheime Kommunikation im Internet";
Supervisor, Reviewer: E. Weippl, T. Zseby, D. Balzarotti, G. Pernul; Institute of Software Technology and Interactive Systems, 2016; oral examination: 2016-10-28.

More information

Author: Paolo Federico, E193-07
Other persons involved: Silvia Miksch, E193-07; Margit Pohl, E193-05; Thomas Ertl, Uni-Stuttgart

P. Federico:
"Visual Analytics of Dynamic Networks";
Supervisor, Reviewer: S. Miksch, M. Pohl, T. Ertl; Institute of Software Technology and Interactive Systems, 2017; oral examination: 2017-05-31.

More information

Author: Heidelinde Hobel, E120-02
Other persons involved: Andrew U. Frank, E120-02; A Min Tjoa, E194-01

H. Hobel:
"Spatial Search & Computation in Urban Areas";
Supervisor, Reviewer: A. Frank, A. Tjoa; Department für Geodäsie und Geoinformation, FG Geoinformation, 2016; oral examination: 2016-09-08.

More information

Author: Peter Wetz, E194-01
Other persons involved: A Min Tjoa, E194-01; Andrew U. Frank, E120-02

P. Wetz:
"Semantic Stream Processing of Environmental Data";
Supervisor, Reviewer: A. Tjoa, A. Frank; Fakultät für Informatik, 2016; oral examination: 2016-09-08.

More information

Author: Johannes M. Schleicher, E194-02
Other persons involved: Schahram Dustdar, E194-02; Andreas Voigt, E280-04; Uwe Zdun, Uni Wien

J. Schleicher:
"Engineering and Management of heterogenous Smart City Application Ecosystems";
Supervisor, Reviewer: S. Dustdar, A. Voigt, U. Zdun; Institute of Information Systems, Distributed Systems Group, 2017; oral examination: 2017-02-27.

More information

Author: Johannes Harms
Other persons involved: Thomas Grechenig, E194-03; M. Tscheligi

J. Harms:
"Past, Present, and Future of Form-based User Interfaces - Innovative Design for Evolving the Form User Interface Metaphor";
Supervisor, Reviewer: T. Grechenig, M. Tscheligi; 183-1, 2016.

More information

Author: Michael Schafferer, E194-03
Other persons involved: Thomas Grechenig, E194-03; M. Tscheligi

M. Schafferer:
"Planung, Konzeption und Engineering einer inhalts-blinden privacy-sensitiven Durchlaufstelle als legistisch-technisch optimierte Kommunikationslösung der Problematik Vorratsdatenspeicherung";
Supervisor, Reviewer: T. Grechenig, M. Tscheligi; 183-1, 2016.

More information

Author: René Baranyi, E194-03
Other persons involved: Thomas Grechenig, E194-03; Nuno Rodrigues

R. Baranyi:
"Analysis, Design, Architecture and Prototypical Implementation of Serious Games for a Rehabilitation Eco-System";
Supervisor, Reviewer: T. Grechenig, N. Rodrigues; 183-1, 2016.

More information

Author: Raoul Vallon
Other persons involved: Thomas Grechenig, E194-03; Rafael Prikladnicki, CDL

R. Vallon:
"Towards a Light-weight Distributed Software Development Process: Empirically Driven Design of the Agile Distributed Adaptable Process Toolkit (ADAPT)";
Supervisor, Reviewer: T. Grechenig, R. Prikladnicki; 183-1, 2016.

More information

Author: Andreas Mauczka, E194-03
Other persons involved: Thomas Grechenig, E194-03; Rudolf Freund, E192-05

A. Mauczka:
"Design and Evaluation of a Natural Language Processing Based Methodology for Classification and Profiling of Artifacts in Software Evolution";
Supervisor, Reviewer: T. Grechenig, R. Freund; 183-1, 2016.

More information

Author: Moritz Sinn, E192-04
Other persons involved: Florian Zuleger, E192-04; Tomás Vojnar

M. Sinn:
"Automated Complexity Analysis for Imperative Programs";
Supervisor, Reviewer: F. Zuleger, T. Vojnar; Institut für Informationssysteme, 2016.

Author: Mitra Tabaei Befrouei, E192-04
Other persons involved: Georg Weissenbacher, E192-04; Thomas Eiter, E192-03; Rupak Majumdar, MPI-SWS, Germany

M. Tabaei Befrouei:
"Effective Error Explanation Techniques for Concurrent Software";
Supervisor, Reviewer: G. Weissenbacher, T. Eiter, R. Majumdar; Informationssysteme, 2016; oral examination: 2016-12-06.

More information

Author: Oliver Hödl, E193-05
Other persons involved: Geraldine Fitzpatrick, E193-05; Simon Holland, OU; Helmut Hlavacs, Uni Wien; Andrew McPherson, QMUL

O. Hödl:
"The Design of Technology-Mediated Audience Participation in Live Music";
Supervisor, Reviewer: G. Fitzpatrick, S. Holland, H. Hlavacs, A. McPherson; Institut für Gestaltungs- und Wirkungsforschung, 2016; oral examination: 2016-06-06.

More information

Author: Johannes Heurix, E194-01
Other persons involved: A Min Tjoa, E194-01; Gerald Quirchmayr

J. Heurix:
"A framework for the application of pseudonymization for primary and secondary use of health data";
Supervisor, Reviewer: A. Tjoa, G. Quirchmayr; Institut für Softwaretechnik und interaktive Systeme, 2016; oral examination: 2016-05-30.

More information

Author: Domagoj Drenjanac, FTW
Other persons involved: Eva Kühn, E194-05; Hans-Peter Schwefel

D. Drenjanac:
"Space-based Task Allocation in Robotic Fleets with Adaptive Autonomy";
Supervisor, Reviewer: E. Kühn, H. Schwefel; E185/1, 2016; oral examination: 2016-10-21.

Author: Roman Ganhör, E193-04
Other persons involved: Hilda Tellioglu, E193-04; Marc Langheinrich, Universität Lugano; Klaus Schöffmann, Universität Klagenfu

R. Ganhör:
"Mobile News Generation - Designing Interfaces and Interaction Mechanisms for Mobile Video Editing";
Supervisor, Reviewer: H. Tellioglu, M. Langheinrich, K. Schöffmann; Institut für Gestaltungs- und Wirkungsforschung, 2016.

More information

Author: Roland Willmann, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Stefan Biffl, E194-01; Arndt Lüder, Otto-von-Guericke U.

R. Willmann:
"Ontology matchmaking of product ramp-up knowledge in manufacturing industries - How to transfer a cake-baking recipe between bakeries";
Supervisor, Reviewer: W. Kastner, S. Biffl, A. Lüder; Rechnergestützte Automation, 2016; oral examination: 2016-12-02.

Author: Markus Kammerstetter, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Tim Güneysu

M. Kammerstetter:
"Embedded Security Analysis with Emphasis on Critical Infrastructures";
Supervisor, Reviewer: W. Kastner, T. Güneysu; Rechnergestützte Automation, 2016; oral examination: 2016-10-17.

Author: Martin Kronegger, E192-02
Other persons involved: Reinhard Pichler, E192-02; Christer Bäckström

M. Kronegger:
"On the Parameterized Complexity of Planning";
Supervisor, Reviewer: R. Pichler, C. Bäckström; Institut für Informationsysteme, 2016.

More information

Author: Ronald de Haan, E192-01
Other persons involved: Stefan Szeider, E192-01; Martin Grohe; Reinhard Pichler

R. de Haan:
"Parameterized Complexity in the Polynomial Hierarchy";
Supervisor, Reviewer: S. Szeider, M. Grohe, R. Pichler; Institut für Computergraphik und Algorithmen, 2016; oral examination: 2016-11-08.

More information

Author: Benjamin Biesinger, E192-01
Other persons involved: Günther Raidl, E192-01; Christian Blum; Ulrich Pferschy, E192-01

B. Biesinger:
"Complete Solution Archives for Evolutionary Combinatorial Optimization";
Supervisor, Reviewer: G. Raidl, C. Blum, U. Pferschy; Institut für Computergraphik und Algorithmen, 2016; oral examination: 2016-06-03.

More information

Author: Mathieu Le Muzic, E193-02
Other persons involved: C Hansen; Ivan Viola, E193-02

M. Le Muzic:
"From Atoms to Cells: Interactive and Illustrative Visualization of Digitally Reproduced Lifeforms";
Supervisor, Reviewer: C Hansen, I. Viola; Institut für Computergraphik und Algorithmen, 2016; oral examination: 2016-11-23.

More information

Author: Alexey Karimov, E193-02
Other persons involved: Eduard Gröller, E193-02; Stefan Bruckner; Bernhard Preim

A. Karimov:
"Guided Interactive Volume Editing in Medicine";
Supervisor, Reviewer: E. Gröller, S. Bruckner, B. Preim; Institut für Computergraphik und Algorithmen, 2016; oral examination: 2016-06-28.

More information

Author: Johanna Schmidt, E193-02
Other persons involved: Eduard Gröller, E193-02; Stefan Bruckner, E193-02

J. Schmidt:
"Scalable Comparative Visualization";
Supervisor, Reviewer: E. Gröller, St. Bruckner; E186, 2016; oral examination: 2016-06-28.

More information

Author: Vitaliy Liptchinsky, Microsoft Redmond
Other persons involved: Schahram Dustdar, E194-02; Javid Taheri, Karlstad Univ.; Massimo Villari

V. Liptchinsky:
"Collaboration-assisted computation";
Supervisor, Reviewer: S. Dustdar, J. Taheri, M. Villari; Institute of Information Systems, Distributed Systems Group, 2016; oral examination: 2016-11-08.

More information

Author: Nicole Brosch, E193-01
Other persons involved: Margrit Gelautz, E193-01; Markus Rupp, E389-02

N. Brosch:
"Spatio-temporal Video Analysis for Semi-automatic 2D-to-3D Conversion";
Supervisor, Reviewer: M. Gelautz, M. Rupp; Institut für Softwaretechnik und Interaktive Systeme, 2016; oral examination: 2016-10-25.

More information

Author: Muhammad Z.C. Candra, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Fabio Casati; Harald Gall, UZH

M. Candra:
"Hybrid Human-Machine Computing Systems: Provisioning, Monitoring, and Reliability Analysis";
Supervisor, Reviewer: S. Dustdar, H. Truong, F. Casati, H. Gall; Institute of Information Systems, Distributed Systems Group, 2016; oral examination: 2016-06-20.

More information

Author: Robert Mittermayr
Other persons involved: Johann Blieberger, E191-03; Bernd Burgstaller

R. Mittermayr:
"Kronecker Algebra Based Analysis of Shared Memory Concurrent Systems";
Supervisor, Reviewer: J. Blieberger, B. Burgstaller; E 183-1, 2016; oral examination: 2016-10-11.

More information

Author: Drazen Lucanin, E194-04
Other persons involved: Ivona Brandic, E194-04; Helmut Hlavacs, Uni Wien

D. Lucanin:
"Energy efficient cloud control and pricing in geographically distributed data centers";
Supervisor, Reviewer: I. Brandic, H. Hlavacs; Institut für Softwaretechnik und Interaktive Systeme, 2016; oral examination: 2016-05-31.

Author: Julia Neidhardt, E194-04
Other persons involved: Hannes Werthner, E194-04; Wilfried Grossmann, UniWien; Markus Zanker

J. Neidhardt:
"Modeling and understanding social influence in groups and networks";
Supervisor, Reviewer: H. Werthner, W. Grossmann, M. Zanker; Institut für Softwaretechnik und Interaktive Systeme, 2016; oral examination: 2016-04-28.

More information

Author: Alexander Bergmayr, E194-03
Other persons involved: Manuel Wimmer, E194-03; Frank Leymann

A. Bergmayr:
"An Architecture Style for Cloud Application Modeling";
Supervisor, Reviewer: M. Wimmer, F. Leymann; Institute of Software Technology and Interactive Systems, 2016; oral examination: 2016-05-03.

More information

Author: Martin Fleck, E194-03
Other persons involved: Manuel Wimmer, E194-03; Gerti Kappel, E194-03; Marouane Kessentini

M. Fleck:
"Search-Based Model Transformations";
Supervisor, Reviewer: M. Wimmer, G. Kappel, M. Kessentini; Institute of Software Technology and Interactive Systems, 2016; oral examination: 2016-05-02.

More information

Author: Jürgen Kogler, AIT
Other persons involved: Margrit Gelautz, E193-01; Josef Scharinger, JKU Linz

J. Kogler:
"Design and Evaluation of Stereo Matching Techniques for Silicon Retina Cameras";
Supervisor, Reviewer: M. Gelautz, J. Scharinger; Institut für Softwaretechnik und interaktive Systeme, 2016; oral examination: 2016-04-29.

More information

Author: David Cerna, E192-05
Other persons involved: Alexander Leitsch, E192-05; Nicolas Peltier; Georg Moser

D. Cerna:
"Advances in Schematic Cut Elimination";
Supervisor, Reviewer: A. Leitsch, N. Peltier, G. Moser; Institut für Computersprachen, 2015; oral examination: 2015-04-14.

Author: Usman Habib, AIT
Other persons involved: Dietmar Dietrich, E384; Nysret Musliu, E192-02

U. Habib:
"Fault Detection and Diagnosis in Building Energy Systems";
Supervisor, Reviewer: D. Dietrich, N. Musliu; E384, 2016; oral examination: 2016-04-11.

Author: Stefan Nastic, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Uwe Zdun, Uni Wien

S. Nastic:
"Programming, Provisioning and Governing IoT Cloud Systems";
Supervisor, Reviewer: S. Dustdar, H. Truong, U. Zdun; Institut für Informationssysteme, Distributed Systems Group, 2016; oral examination: 2016-05-12.

More information

Author: Michael Vögler, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

M. Vögler:
"Efficient IoT Application Delivery and Management in Smart City Environments";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, Distributed Systems Group, 2016; oral examination: 2016-05-02.

More information

Author: Ognjen Scekic, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Fausto Giunchiglia; Stuart Anderson, Univ. of Edinburgh

O. Scekic:
"Automated Incentive Management for Social Computing - Foundations, Models, Tools and Algorithms";
Supervisor, Reviewer: S. Dustdar, H. Truong, F. Giunchiglia, S. Anderson; Institut für Informationssysteme, Distributed Systems Group, 2016; oral examination: 2016-03-16.

More information

Author: Stefan Glawischnig, E259-03
Other persons involved: Ardeshir Mahdavi, E259-03; Schahram Dustdar, E194-02

S. Glawischnig:
"An urban monitoring system for large-scale building energy assessment";
Supervisor, Reviewer: A. Mahdavi, S. Dustdar; Institut für Architekturwissenschaften, Abteilung Bauphysik und Bauökologie, 2016; oral examination: 2016-03-18.

More information

Author: Klaus Pollhammer, E384
Other persons involved: Dietmar Dietrich, E384; Wilfried Elmenreich, E191-01

K. Pollhammer:
"Automated Buildings as Energy Storages";
Supervisor, Reviewer: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05.

Author: Georgiana Copil, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Nectarios Koziris, NTUA

G. Copil:
"Cloud Services Elasticity Control: from requirements specification to operations management";
Supervisor, Reviewer: S. Dustdar, H. Truong, N. Koziris; Institut für Informationssysteme, Distributed Systems Group, 2016; oral examination: 2016-02-12.

More information

Author: Ines Leobner, E302-01-1
Other persons involved: Karl Ponweiser, E302-01-1; Wolfgang Kastner, E191-03

I. Leobner:
"Modeling of Energy Systems for Complex Simulations";
Supervisor, Reviewer: K. Ponweiser, W. Kastner; E302 - Institut für Energietechnik und Thermodynamik, 2016; oral examination: 2016-01-26.

More information

Author: Franz-Benjamin Mocnik
Other persons involved: Andrew U. Frank, E120-02; Georg Gottlob, E192

F. Mocnik:
"A Scale-Invariant Spatial Graph Model";
Supervisor, Reviewer: A. Frank, G. Gottlob; Department für Geodäsie und Geoinformation, 2016; oral examination: 2016-01-19.

More information

Author: Friedrich Slivovsky, E192-01
Other persons involved: Stefan Szeider, E192-01; Hubie Chen

F. Slivovsky:
"Structure in #SAT and QBF";
Supervisor, Reviewer: S. Szeider, H. Chen; Institut für Computergraphik und Algorithmen, 2015; oral examination: 2015-05-05.

More information

Author: Abdel Aziz Taha, E194-01
Other persons involved: Andreas Rauber, E194-01; Jenny Benois-Pineau, Bordeaux Univ.

A. Taha:
"Addressing metric challenges: Bias and Selection - Efficient Computation - Hubness Explanation and Estimation";
Supervisor, Reviewer: A. Rauber, J. Benois-Pineau; Software Technology and Interactive Systems, 2015; oral examination: 2015-12-22.

More information

Author: Rainer Planinc, E193-01
Other persons involved: Martin Kampel, E193-01; Bravo Rodriguez

R. Planinc:
"Behavior modeling based on depth data in the context of ambient assisted living";
Supervisor, Reviewer: M. Kampel, B. Rodriguez; Institut für Rechnergestützte Automation, 2015.

Author: Gayane Shalunts, E193-01
Other persons involved: Robert Sablatnig, E193-01; Markus Vincze, E376

G. Shalunts:
"Architectural style classification of building facades";
Supervisor, Reviewer: R. Sablatnig, M. Vincze; Institut für Rechnergestützte Automation, 2015.

Author: Hafeez Anwar, E193-01
Other persons involved: Martin Kampel, E193-01; Tomas Pajdla; Sven Havemann

H. Anwar:
"Invariant image representations for object category-based image classification";
Supervisor, Reviewer: M. Kampel, T. Pajdla, S. Havemann; Institut für Rechnergestützte Automation, 2015.

Author: Ding Ye
Other person involved: Jens Knoop, E194-05

D. Ye:
"Accelarating Dynamic Detection of Memory Errors for C Programs via Static Analysis";
Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2015.

Author: Eva Ganglbauer, E193-05
Other persons involved: V Wulf; Liam Bannon

Eva Ganglbauer:
"From gardens to fridges - technology design considerations for less food waste";
Supervisor, Reviewer: V Wulf, L. Bannon; Institut für Gestaltungs- und Wirkungsforschung, 2015; oral examination: 2015-02-01.

More information

Author: Christian Siehs
Other persons involved: Rudolf Freund, E192-05; Bernd Mayer

C. Siehs:
"Simulation in Metabolic Networks";
Supervisor, Reviewer: R. Freund, B. Mayer; 185-2, 2015.

More information

Author: Soodeh Farokhi, E194-04
Other persons involved: Ivona Brandic, E194-04; Erich Schikuta

S. Farokhi:
"Quality of Service Control Mechanisms in Cloud Computing Environments";
Supervisor, Reviewer: I. Brandic, E. Schikuta; Institut für Softwaretechnik und Interaktive Systeme, 2016; oral examination: 2016-01-21.

Author: Christian Schönauer, E193-02
Other persons involved: Hannes Kaufmann, E193-02; Albert Rizzo

C. Schönauer:
"Full Body Interaction in Serious Games for Rehabilitation";
Supervisor, Reviewer: H. Kaufmann, A. Rizzo; Institute of Software Technology and Interactive Systems, 2015; oral examination: 2015-10-23.

More information

Author: Lukas Krammer, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Thilo Sauter

L. Krammer:
"Dependability in building automation networks";
Supervisor, Reviewer: W. Kastner, T. Sauter; Rechnergestützte Automation, 2015; oral examination: 2015-01-20.

Author: Markus Jung, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Karl Michael Göschka, E194-02

M. Jung:
"An integration middleware for the Internet of Things";
Supervisor, Reviewer: W. Kastner, K. Göschka; Rechnergestützte Automation, 2015; oral examination: 2015-02-19.

More information

Author: Fritz Praus, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Peter Palensky

F. Praus:
"Secure control applications in smart homes and buildings";
Supervisor, Reviewer: W. Kastner, P. Palensky; Rechnergestützte Automation, 2015; oral examination: 2015-11-07.

More information

Author: Thomas Layer
Other persons involved: Gerald Matz, E389-03; Georg Langs, E193-01

T. Layer:
"Statistical Unsupervised Image Clustering For Positron Emission Tomography in Radionuclide Therapy";
Supervisor, Reviewer: G. Matz, G. Langs; E389, 2015; oral examination: 2015-11-25.

Author: Soheil Qanbari, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

S. Qanbari:
"Edge-to-Business Value Chain Delivery via Elastic Telemetry of Cyber-Physical Systems";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, Distributed Systems Group, 2015; oral examination: 2016-01-21.

More information

Author: Daniel Moldovan, E194-02
Other persons involved: Schahram Dustdar, E194-02; Hong-Linh Truong, E194-02; Frank Leymann

D. Moldovan:
"On Monitoring and Analyzing Elastic Cloud Systems";
Supervisor, Reviewer: S. Dustdar, H. Truong, F. Leymann; Institut für Informationssysteme, Distributed Systems Group, 2015; oral examination: 2016-01-22.

More information

Author: Michael Hornacek, E193-01
Other persons involved: Margrit Gelautz, E193-01; Carsten Rother, TU Dresden

M. Hornacek:
"Geometrically Motivated Dense Large Displacement Matching in Continuous Label Spaces";
Supervisor, Reviewer: M. Gelautz, C. Rother; Institut für Softwaretechnik und Interaktive Systeme, 2015; oral examination: 2015-01-29.

More information

Author: Samuel de Sousa, E193-03 [193-03]
Other persons involved: Walter Kropatsch, E193-03 [193-03]; Dennis Strelow; Francesc Serratosa

S. de Sousa:
"A graph centrality approach to computer vision";
Supervisor, Reviewer: W. Kropatsch, D. Strelow, F. Serratosa; Institute of Computer Graphics and Algorithms, 2015; oral examination: 2015-10-16.

More information

Author: Lara Spendier, E192-05
Other persons involved: Agata Ciabattoni, E192-05; Elaine Pimentel

L. Spendier:
"Tools for the investigation of non-classical logics";
Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18.

Author: Paolo Baldi
Other persons involved: Agata Ciabattoni, E192-05; George Metcalfe

P. Baldi:
"Standard completeness: Proof-theoretic and algebraic methods";
Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12.

Author: Michal Smísek, E193-02
Other persons involved: Milos Sramek, E193-02; Peter Frolkovic

M. Smísek:
"Analysis of 3D and 4D Images of Organisms in Embryogenesis";
Supervisor, Reviewer: M. Sramek, P. Frolkovic; Institut für Computergraphik und Algorithmen, 2015; oral examination: 2015-08-24.

More information

Author: Thomas Auzinger, E193-02
Other persons involved: Michael Wimmer, E193-02; Jiri Bittner

T. Auzinger:
"Sampled and Prefiltered Anti-Aliasing on Parallel Hardware";
Supervisor, Reviewer: M. Wimmer, J. Bittner; Institut für Computergraphik und Algorithmen, 2015; oral examination: 2015-05-12.

More information

Author: Andreas Reh
Other persons involved: Eduard Gröller, E193-02; Markus Hadwiger

A. Reh:
"Visualization of Porosity in Carbon Fiber Reinforced Polymers";
Supervisor, Reviewer: E. Gröller, M. Hadwiger; Institut für Computergraphik und Algorithmen, 2015; oral examination: 2015-04-24.

More information

Author: Peter Mindek, E193-02
Other persons involved: Stefan Bruckner; Eduard Gröller, E193-02

P. Mindek:
"Interactive Integrated Exploration and Management of Visualization Parameters";
Supervisor, Reviewer: S. Bruckner, E. Gröller; Institut für Computergraphik und Algorithmen, 2015; oral examination: 2015-06-30.

More information

Author: Philipp Hönisch, E194-02
Other persons involved: Schahram Dustdar, E194-02; Ralf Steinmetz, TU Darmstadt

P. Hönisch:
"Elastic Business Process Management in the Cloud";
Supervisor, Reviewer: S. Dustdar, R. Steinmetz; Institut für Informationssysteme, Distributed Systems Group, 2015; oral examination: 2015-10-14.

More information

Author: Thorsten Krenek, E315
Other persons involved: Thomas Lauer, E315; Günther Raidl, E192-01

T. Krenek:
"Optimierung von elektro-hybriden Antriebskonzepten mittels heuristischer Optimierungsverfahren";
Supervisor, Reviewer: T. Lauer, G. Raidl; Institut für Fahrzeugantriebe und Automobiltechnik, 2015; oral examination: 2015-09-07.

More information

Author: Rostyslav Zabolotnyi, E194-02
Other persons involved: Schahram Dustdar, E194-02; Adam Barker, Univ. of St. Andrews; Frank Leymann

R. Zabolotnyi:
"Transparent Application Adjustment for Efficient and Elastic Execution in the Cloud";
Supervisor, Reviewer: S. Dustdar, A. Barker, F. Leymann; Institut für Informationssysteme, Distributed Systems Group, 2015; oral examination: 2015-10-12.

More information

Author: Toni Mastelic, E194-04
Other persons involved: Ivona Brandic, E194-04; Jean-Marc Pierson, IRIT

T. Mastelic:
"Scalable Monitoring for Energy Efficient Cloud Environments";
Supervisor, Reviewer: I. Brandic, J. Pierson; Institute of Software Technology and Interactive Systems, 2015.

More information

Author: Peter Robinson, E191-02
Other persons involved: Ulrich Schmid, E191-02; Michel Raynal, IRISA Rennes

P. Robinson:
"Weak System Models for Fault-Tolerant Distributed Agreement Problems";
Supervisor, Reviewer: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31.

Author: Mark Volcic, E191-03
Other persons involved: Johann Blieberger, E191-03; Jürgen Siegmann, TU Berlin

M. Volcic:
"Energy-efficient Optimization of Railway Operation";
Supervisor, Reviewer: J. Blieberger, J. Siegmann; 183, 2015; oral examination: 2015-02-04.

More information

Author: Thomas Scheller, E194-05
Other persons involved: Eva Kühn, E194-05; M. Tscheligi

T. Scheller:
"An Automated Measurement Method for the Usability of APIs and its Application in the Area of Middleware";
Supervisor, Reviewer: E. Kühn, M. Tscheligi; Inst. für Computersprachen, 2014; oral examination: 2014-10-24.

More information

Author: Roland Lezuo, E194-05
Other persons involved: Andreas Krall, E194-05; Wolf Zimmermann

R Lezuo:
"Scalable Translation Validation Tools, Techniques and Framework";
Supervisor, Reviewer: A. Krall, W. Zimmermann; Inst. für Computersprachen, 2014; oral examination: 2014-06-04.

More information

Author: Alexander Jordan, E194-05
Other persons involved: Andreas Krall, E194-05; Martin Schöberl, DTU

A. Jordan:
"On Worst-Case Execution Time Analysis and Optimization";
Supervisor, Reviewer: A. Krall, M. Schöberl; Inst. für Computersprachen, 2014; oral examination: 2014-03-27.

More information

Author: Markus Triska, E192-02
Other persons involved: Nysret Musliu, E192-02; Jan Wielemaker

M. Triska:
"Correctness Considerations in CLP(FD) Systems";
Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 2014-01-29.

Author: Minh Dao-Tran, E192-03
Other persons involved: Thomas Eiter, E192-03; Cao Son Tran, New Mexico State U

M. Dao-Tran:
"Distributed Nonmonotonic Multi-Context Systems: Algorithms and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, C. Tran; Institut für Informationssysteme, 2014; oral examination: 2014-03-24.

More information

Author: Markus Gruber
Other persons involved: Thomas Grechenig, E194-03; Engin Kirda, Northeastern Univ.

M. Gruber:
"Design, Implementation and Evaluation of a Secure VoIP System Based on Theoretical and Empirical Analysis of Threats and Attacks";
Supervisor, Reviewer: T. Grechenig, E. Kirda; 183-1, 2014; oral examination: 2014-06-23.

More information

Author: Christoph Roschger, E192-05
Other persons involved: Christian Fermüller, E192-05; Ondrej Majer

Ch Roschger:
"Analyzing fuzzy and contextual approaches to vagueness by semantic games";
Supervisor, Reviewer: C. Fermüller, O. Majer; Institut für Computersprachen, 2014; oral examination: 2014-11-27.

More information

Author: Matthias Neugschwandtner, E191-03
Other persons involved: Christopher Krügel, E191-03; Engin Kirda, Northeastern Univ.

M. Neugschwandtner:
"Mitigating malware communication infrastructures and exploitation techniques";
Supervisor, Reviewer: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2014; oral examination: 2014-06-23.

Author: Alexander Kößler, E191-02
Other persons involved: Ulrich Schmid, E191-02; Krishnendu Chatterjee, 192-02

A. Kößler:
"Real-Time Performance Analysis of Synchronous Distributed Systems";
Supervisor, Reviewer: U. Schmid, K. Chatterjee; Institut für Technische Informatik (E182/2), 2014; oral examination: 2014-11-27.

Author: Stefan Resch, Thales
Other persons involved: Andreas Steininger, E191-02; Wilfried Elmenreich, E191-01

S. Resch:
"Composability for Fail-Safe Safety-Critical Systems";
Supervisor, Reviewer: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26.

More information

Author: Bilal Alsallakh, E193-07
Other persons involved: Silvia Miksch, E193-07; Helwig Hauser; John Stasko

B. Alsallakh:
"Visual Analytics of Large Homogeneous Data - Categorical, Set-typed, and Classification Data";
Supervisor, Reviewer: S. Miksch, H. Hauser, J. Stasko; Institute of Software Technology and Interactive Systems, 2014; oral examination: 2014-09-03.

More information

Author: Matthias Bernhard, E193-02
Other persons involved: Michael Wimmer, E193-02; Karol Myszkowski

M. Bernhard:
"Visual Attention in Computer Graphics";
Supervisor, Reviewer: M. Wimmer, K. Myszkowski; Institut für Computergraphik und Algorithmen, 2014; oral examination: 2014-12-11.

More information

Author: Florian Güldenpfennig, E193-05
Other persons involved: Paul Marshall; Daniela Petrelli

Flo Güldenpfennig:
"The CuDe Framework: Designing Digital Souvenirs for Meaningful Remembering Experiences";
Supervisor, Reviewer: P. Marshall, D. Petrelli; 187, 2014; oral examination: 2014-11-18.

Author: Paul Guerrero, E193-02
Other persons involved: Michael Wimmer, E193-02; Peter Wonka; Helmut Pottmann, E104-04

P. Guerrero:
"Edit Propagation using Geometric Analogies";
Supervisor, Reviewer: M. Wimmer, P. Wonka, H. Pottmann; Institut für Computergraphik und Algorithmen, 2014; oral examination: 2014-11-17.

More information

Author: Danijel Novakovic, E194-03
Other persons involved: Christian Huemer, E194-03; Stefanie Rinderle-Ma, Univ. of Vienna; Erik Proper

D. Novakovic:
"Business Context Aware Core Components Modeling";
Supervisor, Reviewer: C. Huemer, S. Rinderle-Ma, E. Proper; Institute of Software Technology and Interactive Systems, 2014; oral examination: 2014-11-07.

More information

Author: Tanja Mayerhofer, E194-03
Other persons involved: Gerti Kappel, E194-03; Edwin Seidewitz

T. Mayerhofer:
"Defining Executable Modeling Languages with fUML";
Supervisor, Reviewer: G. Kappel, Ed Seidewitz; Institute of Software Technology and Interactive Systems, 2014; oral examination: 2014-12-02.

More information

Author: Antonius Weinzierl, E192-03
Other persons involved: Thomas Eiter, E192-03; Gerd Brewka

A. Weinzierl:
"Inconsistency Management under Preferences in Multi-Context Systems and Extensions";
Supervisor, Reviewer: T. Eiter, G. Brewka; Institut für Informationssysteme, 2014; oral examination: 2014-12-04.

Author: Martin Lackner, E192
Other persons involved: Reinhard Pichler, E192-02; Stefan Szeider, E192-03; Gábor Erdélyi, Universität Siegen

M. Lackner:
"Detecting Structure in Permutations and Preferences";
Supervisor, Reviewer: R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; oral examination: 2014-06-11.

More information

Author: Ruslan Fayzrakhmanov, E192-02
Other persons involved: Reinhard Pichler, E192-02; Alessandro Provetti

R. Fayzrakhmanov:
"Web Accessibility for the Blind Through Visual Representation Analysis";
Supervisor, Reviewer: R. Pichler, A. Provetti; Institut für Informationssysteme, 2014.

More information

Author: Emanuel Sallinger
Other persons involved: Reinhard Pichler, E192-02; Phokion G. Kolaitis

E. Sallinger:
"Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings";
Supervisor, Reviewer: R. Pichler, P. Kolaitis; E184, 2014; oral examination: 2014-07-15.

More information

Author: Abdelkader Kersani
Other persons involved: Alexander Leitsch, E192-05; Nicolas Peltier

A. Kersani:
"Preuves par induction dans le calcul de superposition";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30.

Author: Giselle Reis, E192-05
Other persons involved: Alexander Leitsch, E192-05; Rosalie Iemhoff

G. Reis:
"Cut-elimination by resolution in intuitionistic logic";
Supervisor, Reviewer: A. Leitsch, R. Iemhoff; Institut für Computersprachen, 2014; oral examination: 2014-07-16.

Author: Sebastian Zambanini, E193-01
Other persons involved: Martin Kampel, E193-01; Dieter Fellner

S. Zambanini:
"Insensitive Image Comparison in the Absence of Training Data";
Supervisor, Reviewer: M. Kampel, D. Fellner; Institut für Rechnergestützte Automation, 2014.

Author: Andreas Zweng, E193-01
Other persons involved: Martin Kampel, E193-01; James Ferryman

A. Zweng:
"Framework for visual surveillance applications using an adaptable feature descriptor";
Supervisor, Reviewer: M. Kampel, J. Ferryman; Institut für Rechnergestützte Automation, 2014.

Author: Sajid Saleem, E193-01
Other persons involved: Thomas Pock; Vaclav Hlavac

S. Saleem:
"Nonlinear Intensity Invariant Local Image Descriptors";
Supervisor, Reviewer: T. Pock, V. Hlavac; Institut für Rechnergestützte Automation, 2014.

Author: Florian Kleber, E193-01
Other persons involved: Robert Sablatnig, E193-01; Basilis Gatos

F. Kleber:
"Document image analysis preprocessing of low-quality and sparsely inscribed documents";
Supervisor, Reviewer: R. Sablatnig, B. Gatos; Institut für Rechnergestützte Automation, 2014.

Author: Markus Diem, E193-01
Other persons involved: Robert Sablatnig, E193-01; Basilis Gatos

M. Diem:
"Text classification and layout analysis for document reassembling";
Supervisor, Reviewer: R. Sablatnig, B. Gatos; Institut für Rechnergestützte Automation, 2014.

Author: Christoph Redl, E192-03
Other persons involved: Thomas Eiter, E192-03; Stefan Woltran, E192-03; Giovambattista Ianni, E192-03

C. Redl:
"Answer Set Programming with External Sources: Algorithms and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, S. Woltran, G. Ianni; Institut für Informationssystems, 2014; oral examination: 2014-05-28.

More information

Author: Claus Scheiblauer, E193-02
Other persons involved: Michael Wimmer, E193-02; Reinhard Klein

C. Scheiblauer:
"Interactions with Gigantic Point Clouds";
Supervisor, Reviewer: M. Wimmer, R. Klein; Institut für Computergraphik und Algorithmen, 2014; oral examination: 2014-07-18.

More information

Author: Annette Mossel, E193-02
Other persons involved: Hannes Kaufmann, E193-02; Mark Billinghurst

A. Mossel:
"Robust Wide-Area Tracking and Intuitive 3D Interaction for Mixed Reality Environments";
Supervisor, Reviewer: H. Kaufmann, M. Billinghurst; Institute of Software Technology and Interactive Systems, 2014; oral examination: 2014-11-17.

More information

Author: Peter Kán, E193-02
Other persons involved: Hannes Kaufmann, E193-02; Mark Billinghurst; Alan Chalmers

P. Kán:
"High-Quality Real-Time Global Illumination in Augmented Reality";
Supervisor, Reviewer: H. Kaufmann, M. Billinghurst, A. Chalmers; Institute of Software Technology and Interactive Systems, 2014; oral examination: 2014-08-22.

More information

Author: Karl Heinz Wolf, E384
Other persons involved: Hermann Kaindl, E384-01; Schahram Dustdar, E194-02

K.H. Wolf:
"Early Warning based on the Next Generation Emergency Calling Framework";
Supervisor, Reviewer: H. Kaindl, S. Dustdar; E384, 2014; oral examination: 2014-07-25.

Author: Mario Kofler, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Georg Suter, E259-01, 03

M. Kofler:
"An Ontology as Shared Vocabulary for Distributed Intelligence in Smart Homes";
Supervisor, Reviewer: W. Kastner, G. Suter; Rechnergestützte Automation, 2014; oral examination: 2014-03-24.

More information

Author: Dirk Tetzlaff, TU Berlin
Other persons involved: Sabine Glesner; Peter Marwedel; Jens Knoop, E194-05

D. Tetzlaff:
"A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures";
Supervisor, Reviewer: S. Glesner, P. Marwedel, J. Knoop; TU Berlin, Fakultät für Elektrotechnik und Informatik, 2014; oral examination: 2014-06-24.

Author: Johannes Peter Wallner, E192-02
Other persons involved: Stefan Woltran, E192-02; Georg Weissenbacher, E192-04

J. P. Wallner:
"Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
Supervisor, Reviewer: S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; oral examination: 2014-05-28.

More information

Author: Jakob Lechner, E191-02
Other persons involved: Andreas Steininger, E191-02; Jens Sparso, DTU Kopenhagen

J. Lechner:
"Building Robust GALS Circuits: Fault-Tolerant and Variation-Aware Design Techniques for Reliable Circuit Operation";
Supervisor, Reviewer: A. Steininger, J. Sparso; Institut für Technische Informatik, 2014; oral examination: 2014-06-17.

More information

Author: Martin Wimmer, E191-04
Other persons involved: Jesper Larsson Träff, E191-04; Kunal Agrawal; Marina Papatriantafilou

M. Wimmer:
"Variations on Task Scheduling for Shared Memory Systems";
Supervisor, Reviewer: J. Träff, K. Agrawal, M. Papatriantafilou; Institut für Informationssysteme, Research Group Parallel Computing, 2014; oral examination: 2014-06-26.

More information

Author: Christian Inzinger, E194-02
Other persons involved: Schahram Dustdar, E194-02; Luciano Baresi

C. Inzinger:
"Adaptation and Evolution of Service-Based Applications in Cloud Computing Environments";
Supervisor, Reviewer: S. Dustdar, L. Baresi; Institut für Informationssysteme, Distributed Systems Group, 2014; oral examination: 2014-04-24.

More information

Author: Waldemar Hummer, E194-02
Other persons involved: Schahram Dustdar, E194-02; Mauro Pezzè

W. Hummer:
"Reliable Provisioning of Data-Centric and Event-Based Applications in the Cloud";
Supervisor, Reviewer: S. Dustdar, M. Pezzè; Institut für Informationssysteme, Distributed Systems Group, 2014; oral examination: 2014-03-05.

More information

Author: Zoltan Konyha, E193-02
Other persons involved: Eduard Gröller, E193-02; Helwig Hauser

Z. Konyha:
"Interactive Visual Analysis in Automotive Engineering Design";
Supervisor, Reviewer: E. Gröller, H. Hauser; Institut für Computergraphik und Algorithmen, 2013; oral examination: 2013-02-01.

More information

Author: Michael Gschwandtner, Uni Salzburg
Other persons involved: Andreas Uhl, Uni Salzburg; Margrit Gelautz, E193-01

M. Gschwandtner:
"Support Framework for Obstacle Detection on Autonomous Trains";
Supervisor, Reviewer: A. Uhl, M. Gelautz; Department of Computer Sciences, University of Salzburg, 2013; oral examination: 2013-01-17.

More information

Author: Markus Heber, TU Graz
Other persons involved: Horst Bischof, TU Graz; Margrit Gelautz, E193-01

M. Heber:
"Tracking and Visual Quality Inspection in Harsh Environments";
Supervisor, Reviewer: H. Bischof, M. Gelautz; Institute for Computer Graphics and Vision, TU Graz, 2013; oral examination: 2013-01-24.

Author: Gabriel Mistelbauer, E193-02
Other persons involved: Eduard Gröller, E193-02; Milos Sramek

G. Mistelbauer:
"Smart Interactive Vessel Visualization in Radiology";
Supervisor, Reviewer: E. Gröller, M. Sramek; Institut für Computergraphik und Algorithmen, 2013; oral examination: 2013-11-25.

More information

Author: Martin Knecht, E193-02
Other persons involved: Eduard Gröller, E193-02; Mark Billinghurst

M. Knecht:
"Reciprocal Shading for Mixed Reality";
Supervisor, Reviewer: E. Gröller, M. Billinghurst; Institut für Computergraphik und Algorithmen, 2013; oral examination: 2013-12-19.

More information

Author: Mario Bernhart, E194-03
Other persons involved: Thomas Grechenig, E194-03; Rudolf Freund, E192-05

M. Bernhart:
"owards Differential-Based Continuous Code Reviews";
Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-01-23.

More information

Author: Christian Schanes, E194-03
Other persons involved: Thomas Grechenig, E194-03; Rudolf Freund, E192-05

C. Schanes:
"Scope and depth efficient testing approach and framework for enhancing the detection of IT security bugs";
Supervisor, Reviewer: T. Grechenig, R. Freund; E183/1, 2013; oral examination: 2013-05-06.

More information

Author: Jakob Zwirchmayr, E194-05
Other persons involved: Laura Kovacs, E194-05; Jens Knoop, E194-05

J. Zwirchmayr:
"Symbolic Methods for the Timing Analysis of Programs";
Supervisor, Reviewer: L. Kovacs, J. Knoop; Institut für Computersprachen - E185-1, 2013; oral examination: 2013-10-04.

Author: Tanja Sisel, E192-05
Other persons involved: Gernot Salzer, E192-05; Manfred Schmidt-Schauss

T. Sisel:
"Numeric Methods for Configuration Management";
Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19.

Author: Andreas Holzer, E192-04
Other persons involved: Helmut Veith, E192-04; Dirk Beyer, Universität Passau

A. Holzer:
"Query-Based Test Case Generation";
Supervisor, Reviewer: H. Veith, D. Beyer; Fakultät für Informatik der Technischen Universität Wien, 2013.

Author: Syed Rameez Naqvi, E191-02
Other persons involved: Andreas Steininger, E191-02; Eckhard Grass, HU Berlin; Martin Schöberl, DTU

S. Naqvi:
"A Non-Blocking Fault-Tolerant Asynchronous Networks-on-Chip Router";
Supervisor, Reviewer: A. Steininger, E. Grass, M. Schöberl; Institut für Technische Informatik, 2013.

More information

Author: Werner Friesenbichler, Austrian Aerospace
Other persons involved: Andreas Steininger, E191-02; Heinrich Theodor Vierhaus, BTU Cottbus

W. Friesenbichler:
"Effects and Mitigation of Transient Faults in Quasi Delay-Insensitive Logic";
Supervisor, Reviewer: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012.

More information

Author: Thomas Panhofer
Other persons involved: Andreas Steininger, E191-02; Heinrich Theodor Vierhaus, BTU Cottbus

T. Panhofer:
"Self-Healing Asynchronous Circuits for High-Reliability Applications";
Supervisor, Reviewer: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012.

More information

Author: Thomas Polzer, E191-02
Other persons involved: Andreas Steininger, E191-02; Alexandre Yakovlev, Univ. of Newcastle

T. Polzer:
"A Digital Metastability Model for VLSI Circuits";
Supervisor, Reviewer: A. Steininger, A. Yakovlev; Institut für Technische Informatik, 2013.

More information

Author: Thomas Reinbacher, E191-02
Other persons involved: Andreas Steininger, E191-02; Johann Schumann, NASA; Stefan Kowalewski

T. Reinbacher:
"Analysis of Embedded Real-Time Systems at Runtime";
Supervisor, Reviewer: A. Steininger, J. Schumann, S. Kowalewski; Institut für Technische Informatik, 2013.

More information

Author: Markus Ferringer, E191-02
Other persons involved: Andreas Steininger, E191-02; Gerhard Fohler

M. Ferringer:
"Asynchronous Logic in Real-Time Systems";
Supervisor, Reviewer: A. Steininger, G. Fohler; Institut für Technische Informatik, 2012.

More information

Author: Thomas Kottke
Other persons involved: Andreas Steininger, E191-02; Hans-Joachim Wunderlich

T. Kottke:
"Untersuchung von fehlertoleranten Prozessorarchitekturen für sicherheitsrelevante Automobilanwendungen";
Supervisor, Reviewer: A. Steininger, H. Wunderlich; Institut für Technische Informatik, 2005.

More information

Author: K. Ambrosch
Other persons involved: Andreas Steininger, E191-02; Roland Siegwart, ETH Zürich

K. Ambrosch:
"Mapping Stereo Matching Algorithms to Hardware";
Supervisor, Reviewer: A. Steininger, R. Siegwart; Institut für Technische Informatik, 2009.

More information

Author: Tomer Libal
Other persons involved: Alexander Leitsch, E192-05; Manfred Schmidt-Schauss

T. Libal:
"Unification in Higher-order Resolution";
Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-02-22.

Author: Florian Schulze, E193-02
Other persons involved: Eduard Gröller, E193-02; Stefan Wolfsberger

F. Schulze:
"Computational Methods enabling Interactivity in Analysis and Exploration of Volumetric Images";
Supervisor, Reviewer: E. Gröller, S. Wolfsberger; Institut für Computergraphik und Algorithmen, 2013; oral examination: 2013-02-01.

More information

Author: Robert Sorschag, E193-06
Other persons involved: Horst Eidenberger, E194-01; Ansgar Scherp

R. Sorschag:
"Intelligent Video Annotation and Retrieval Techniques";
Supervisor, Reviewer: H. Eidenberger, A. Scherp; Softwaretechnik und Interaktive Systeme, 2012.

More information

Author: Johannes Inführ, E192-01
Other persons involved: Günther Raidl, E192-01; Kurt Tutschku

J. Inführ:
"Optimization Challenges of the Future Federated Internet";
Supervisor, Reviewer: G. Raidl, K. Tutschku; Institut für Computergraphik and Algorithmen, 2013; oral examination: 2013-11-27.

More information

Author: Dieter Mayrhofer, E194-03
Other persons involved: Christian Huemer, E194-03; William McCarthy

D. Mayrhofer:
"REA-DSL: Business Model Driven Data Engineering";
Supervisor, Reviewer: C. Huemer, W. McCarthy; Institut für Softwaretechnik und Interaktive Systeme, 2012; oral examination: 2012-06-19.

More information

Author: Florian Seitner, E193-06
Other persons involved: Margrit Gelautz, E193-01; Bernhard Rinner

F. Seitner:
"Virtual HW/SW Prototyping for Design and Runtime Prediction of Parallel Video Coding Systems";
Supervisor, Reviewer: M. Gelautz, B. Rinner; Institut für Softwaretechnik und interaktive Systeme, 2013; oral examination: 2013-11-25.

More information

Author: Sarah Gaggl, E192-02
Other persons involved: Stefan Woltran, E192-02; Pietro Baroni

S. Gaggl:
"A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation";
Supervisor, Reviewer: S. Woltran, P. Baroni; Institut für Informationssysteme, 2013; oral examination: 2013-03-04.

Author: Sebastian Skritek, E192-02
Other persons involved: Reinhard Pichler, E192-02; Marcelo Arenas

S. Skritek:
"Foundational Aspects of Semantic Web Optimization: New Algorithms and Complexity Results";
Supervisor, Reviewer: R. Pichler, M. Arenas; 184-2, 2013; oral examination: 2013-04-30.

More information

Author: Nicole Artner, E193-03 [193-03]
Other persons involved: Walter Kropatsch, E193-03 [193-03]; Horst Bunke

N. Artner:
"Tracking Related Multiple Targets in Videos";
Supervisor, Reviewer: W. Kropatsch, H. Bunke; Fakultät für Informatik der Technischen Universität Wien; Institut für Computergrafik und Algorithmen; PRIP 186/3, 2013; oral examination: 2013-12-06.

More information

Author: Irene Reisner-Kollmann, E193-02
Other persons involved: Werner Purgathofer, E193-02; Markus Vincze, E376

I. Reisner-Kollmann:
"Reconstruction of 3D Models from Images and Point Clouds with Shape Primitives";
Supervisor, Reviewer: W. Purgathofer, M. Vincze; Institut für Computergraphik und Algorithmen, 2013; oral examination: 2013-03-12.

More information

Author: Hristo Novatchkov
Other persons involved: Arnold Baca; Schahram Dustdar, E194-02

H. Novatchkov:
"A Server-Based Mobile Coaching System Integrating Ubiquitous Data Acquisition Technologies and Intelligent Real-Time Analysis";
Supervisor, Reviewer: A. Baca, S. Dustdar; Uni Wien und TU Wien, Institut für Informationssysteme, AB Verteilte Systeme, 2013; oral examination: 2013-10-24.

Author: Ivan Breskovic, E194-02
Other persons involved: Schahram Dustdar, E194-02; Jörn Altmann

I. Breskovic:
"Market-oriented Service Allocation in Utility and Cloud Computing";
Supervisor, Reviewer: S. Dustdar, J. Altmann; Institut für Informationssysteme, AB Verteilte Systeme, 2013; oral examination: 2013-06-05.

Author: Florian Skopik, E194-02
Other persons involved: Schahram Dustdar, E194-02; Martin Gaedke, Chemnitz Uni of Tech

F. Skopik:
"Discovery and Formation Models for Socio-computational Crowd Environments";
Supervisor, Reviewer: S. Dustdar, M. Gaedke; Institut für Informationssysteme, AB Verteilte Systeme, 2013; oral examination: 2013-09-09.

Author: Helmut Hickersberger
Other persons involved: Wolfgang Zagler, E193-05; Frank Rattay, E101-03

H. Hickersberger:
"Neue Algorithmen der automatischen Spracherkennung unter besonderer Berücksichtigung der speziellen Situation und der Bedürfnisse von Menschen mit Behinderungen";
Supervisor, Reviewer: W.L. Zagler, F. Rattay; E187, E101, 2013; oral examination: 2013-06.

Author: Tim Lammarsch, E193-07
Other persons involved: Silvia Miksch, E193-07; Daniel Keim, Universität Konstanz

T. Lammarsch:
"Facets of Time-Making the Most of Time's Structure in Interactive Visualization";
Supervisor, Reviewer: S. Miksch, D. Keim; Institute of Software Technology & Interactive Systems, 2010.

More information

Author: Asmaa Hosni, E193-01
Other persons involved: Margrit Gelautz, E193-01; Daniel Scharstein, Middlebury college; Andreas Uhl

A. Hosni:
"Novel Methods for Discontinuity Preserving Support Aggregation in Local Stereo Matching";
Supervisor, Reviewer: M. Gelautz, D. Scharstein, A. Uhl; Institut für Softwaretechnik und interaktive Systeme, 2013; oral examination: 2013-04-18.

More information

Author: Mikheil Rukhaia, E192-05
Other persons involved: Nicolas Peltier; Alexander Leitsch, E192-05

M. Rukhaia:
"CERES in Proof Schemata";
Supervisor, Reviewer: N. Peltier, A. Leitsch; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.

Author: Tsvetan Dunchev, E192-05
Other persons involved: Alexander Leitsch, E192-05; Nicolas Peltier

T. Dunchev:
"Automation of cut-elimination in proof schemata";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Institut für Computersprachen E185/2, 2012; oral examination: 2012-12-17.

Author: Andreas Ehringfeld, E191-03
Other persons involved: Thomas Grechenig, E194-03; Klaus-Peter Adlassnig

A. Ehringfeld:
"ITIL als Methode gegen Attacken eines Social Engineers im IT-Betrieb";
Supervisor, Reviewer: T. Grechenig, K. Adlassnig; E183/1, 2012; oral examination: 2012-03-16.

More information

Author: Peter Leitner, E194-03
Other persons involved: Thomas Grechenig, E194-03; M. Tscheligi

P. Leitner:
"Social Commerce: Definition, Analyse, Topologien, Leitmodelle und Thesen";
Supervisor, Reviewer: T. Grechenig, M. Tscheligi; E183/1, 2012; oral examination: 2012-04-26.

Author: Jesia Zakraoui
Other persons involved: Wolfgang Zagler, E193-05; Thomas Eiter, E192-03

J. Zakraoui:
"Web User Interface Adaptation by Means of Ontologies and Rules";
Supervisor, Reviewer: W.L. Zagler, T. Eiter; Institut für Gestaltungs- und Wirkungsforschung, 2012; oral examination: 2012-10-19.

Author: Jeremy Bradley, E192-05
Other persons involved: Wolfgang Zagler, E193-05; W. Winiwarter

J Bradley:
"Computergesteuerte Hilfe für deutschsprachige Aphasiker und Aphasikerinnen";
Supervisor, Reviewer: W.L. Zagler, W. Winiwarter; Institut für Gestaltungs- und Wirkungsforschung, 2012; oral examination: 2012-06-20.

Author: Christoph Stögerer, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Günter Emberger, E230-01

C. Stögerer:
"Management-Technologien in der Verkehrstelematik";
Supervisor, Reviewer: W. Kastner, G. Emberger; Rechnergestützte Automation, 2012; oral examination: 2012-03-19.

More information

Author: Christian Reinisch, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Ardeshir Mahdavi, E259-03

C. Reinisch:
"A framework for distributed intelligence for energy efficient operation of smart homes";
Supervisor, Reviewer: W. Kastner, A. Mahdavi; Rechnergestützte Automation, 2012; oral examination: 2012-12-05.

More information

Author: Felix Iglesias Vazquez, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Dietmar Dietrich, E384

F. Iglesias Vazquez:
"Smart Home Control Based on Behavioural Profiles";
Supervisor, Reviewer: W. Kastner, D. Dietrich; E384, 2012; oral examination: 2012-12-17.

More information

Author: Peter Schüller, E192-03
Other persons involved: Thomas Eiter, E192-03; Giovambattista Ianni

P. Schüller:
"Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, G. Ianni; Institut für Informationssysteme, 2012; oral examination: 2012-08-31.

Author: Andrej Varchola, E193-02
Other persons involved: Eduard Gröller, E193-02; Milos Sramek

A. Varchola:
"Live Fetoscopic Visualization of 4D Ultrasound Data";
Supervisor, Reviewer: E. Gröller, M. Sramek; Institut für Computergraphik und Algorithmen, 2012; oral examination: 2012-10-24.

More information

Author: Theresia Gschwandtner, E193-07
Other persons involved: Silvia Miksch, E193-07; Bernhard Preim

T. Gschwandtner:
"Interactive Visualization of Effects of Medical Treatment on a Patient´s Condition";
Supervisor, Reviewer: S. Miksch, B. Preim; 188 - Institute of Software Technology & Interactive Systems, 2012; oral examination: 2012-12-07.

More information

Author: Sandro Pirkwieser
Other persons involved: Günther Raidl, E192-01; Karl F. Dörner, Universität Wien

S. Pirkwieser:
"Hybrid Metaheuristics and Matheuristics for Problems in Bioinformatics and Transportation";
Supervisor, Reviewer: G. Raidl, K. Dörner; Institut für Computergraphik und Algorithmen, 2012; oral examination: 2012-06-14.

More information

Author: Philipp Muigg, E193-02
Other persons involved: Eduard Gröller, E193-02; Markus Hadwiger

Ph. Muigg:
"Scalability for Volume Rendering and Information Visualization Approaches in the Context of Scientific Data";
Supervisor, Reviewer: E. Gröller, M. Hadwiger; Institut für Computergraphik und Algorithmen, 2012; oral examination: 2012-06-15.

More information

Author: Florian Gruber
Other persons involved: Peter Purgathofer, E193-05; Peter Mörtenböck, E264-03

F. Gruber:
"If Code == Imagination: Theorie, Modelle und Entwurfsmuster generativer Designprozesse";
Supervisor, Reviewer: P. Purgathofer, P. Mörtenböck; Institut für Gestaltungs- und Wirkungsforschung; Institut für Kunst und Gestaltung, 2012; oral examination: 2012-05-23.

Author: Robert Zach, E259-03
Other persons involved: Ardeshir Mahdavi, E259-03; Schahram Dustdar, E194-02; Christian Kühn, E253-01

R. Zach:
"An open-source, vendor and technology independent toolkit for building monitoring, data preprocessing, and visualization";
Supervisor, Reviewer: A. Mahdavi, S. Dustdar, C. Kühn; Abteilung Bauphysik und Bauökologie, Institut für Architekturwissenschaften, 2012; oral examination: 2012-09-11.

More information

Author: Mario Ruthmair
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

M. Ruthmair:
"On Solving Constrained Tree Problems and an Adaptive Layers Framework";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2012; oral examination: 2012-06-21.

More information

Author: Edith Pulido Herrera, E193-02
Other persons involved: Ricardo Quiros; German Fabregat; Hannes Kaufmann, E193-02

E. Pulido Herrera:
"Improving Data Fusion in User Positioning Systems";
Supervisor, Reviewer: R. Quiros, G. Fabregat, H. Kaufmann; Institute for Software Technology & Interactive Systems, 2009.

More information

Author: Jan Cech
Other persons involved: Radim Sara; Margrit Gelautz, E193-01

J. Cech:
"Accurate and Robust Stereoscopic Matching in Efficient Algorithms";
Supervisor, Reviewer: R. Sara, M. Gelautz; Faculty of Electrical Engineering, Czech Technical University in Prague, 2009; oral examination: 2009-06-16.

More information

Author: Stefan Rümmele, E192-02
Other persons involved: Francesco Scarcello; Gerd Brewka

St. Rümmele:
"The Parameterized Complexity of Nonmonotonic Reasoning";
Supervisor, Reviewer: F. Scarcello, G. Brewka; Institut für Informationssysteme, 2012; oral examination: 2012-09-13.

More information

Author: Vadim Savenkov, E192-02
Other persons involved: Reinhard Pichler, E192-02; Nicole Schweikardt

V. Savenkov:
"Foundational Aspects of Schema Mapping Optimization and Normalization";
Supervisor, Reviewer: R. Pichler, N. Schweikardt; Institut für Informationssysteme, 2012; oral examination: 2012-08-10.

More information

Author: Konrad Wieland, E194-03
Other persons involved: Gerti Kappel, E194-03; Geraldine Fitzpatrick, E193-05

K. Wieland:
"Conflict-tolerant Model Versioning";
Supervisor, Reviewer: G. Kappel, G. Fitzpatrick; E188 Institut für Softwaretechnik und Interaktive Systeme, 2011; oral examination: 2011-12-21.

More information

Author: Johannes Schönböck, E194-03
Other persons involved: Gerti Kappel, E194-03; Juan De Lara

J. Schönböck:
"Testing and Debugging of Model Transformations";
Supervisor, Reviewer: G. Kappel, J. De Lara; E188 Institut für Softwaretechnik und Interaktive Systeme, 2012; oral examination: 2012-01-13.

More information

Author: Petra Kaufmann, E194-03
Other persons involved: Gerti Kappel, E194-03; Alfonso Pierantonio

P. Brosch:
"Conflict Resolution in Model Versioning";
Supervisor, Reviewer: G. Kappel, A. Pierantonio; E188 Institut für Softwaretechnik und Interaktive Systeme, 2012; oral examination: 2012-07-02.

More information

Author: Christine Mayr
Other persons involved: Schahram Dustdar, E194-02; Uwe Zdun, Uni Wien

C. Mayr:
"Managing and Modeling Persistent Data Access in Process-Driven SOAs";
Supervisor, Reviewer: S. Dustdar, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-07-19.

More information

Author: Roman Khazankin, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

R. Khazankin:
"Provision of Service Level Agreements in Human-Enhanced Service-Oriented Computing Environments";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-07-18.

More information

Author: Oliver Moser
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

O. Moser:
"Holistic Monitoring and Domain Specific Adaptation in Composite Services";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-07-18.

More information

Author: Michael Maurer, E194-02
Other persons involved: Schahram Dustdar, E194-02; Rizos Sakellariou, Uni of Manchester

M. Maurer:
"Governance of Cloud Computing Infrastructures using Knowledge Management";
Supervisor, Reviewer: S. Dustdar, R. Sakellariou; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-06-01.

Author: Vincent C. Emeakaroha, E194-02
Other persons involved: Schahram Dustdar, E194-02; Cesar De Rose

V. Emeakaroha:
"Managing Cloud Service Provisioning and SLA Enforcement via Holistic Monitoring Techniques";
Supervisor, Reviewer: S. Dustdar, C. De Rose; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-05-10.

Author: Wolfgang Dvorak, E192-02
Other persons involved: Stefan Woltran, E192-02; Paul E. Dunne

W. Dvorak:
"Computational Aspects of Abstract Argumentation";
Supervisor, Reviewer: S. Woltran, P. Dunne; Institut für Informationssysteme, 2012; oral examination: 2012-04-11.

More information

Author: Harald Psaier, E194-02
Other persons involved: Schahram Dustdar, E194-02; Stefan Tai

H. Psaier:
"Behavior Management and Self-adaptation in Mixed Systems - Adaptation Models, Strategies, and Management";
Supervisor, Reviewer: S. Dustdar, S. Tai; Institut für Informationssysteme, AB Verteilte Systeme, 2012; oral examination: 2012-03-19.

Author: Veronika Hornung-Prähauser
Other persons involved: Wolfgang Hofkirchner, E193-05; Tina Hascher

V. Hornung-Prähauser:
"Systemic innovations enabled by information and communication technology in education. Towards an integrative, multi-level research framework for exploring the complex shaping and integration of ICT-based innovations exemplified by the case of e-portfolios";
Supervisor, Reviewer: W. Hofkirchner, T. Hascher; Center for Advanced Studies and Research in Information and Communication Technologies and Society, 2011; oral examination: 2012-03-05.

More information

Author: Sophie Kathrin Huber
Other persons involved: Wolfgang Hofkirchner, E193-05; Elisabeth Klaus

Sophie Huber:
"WAR 2.0 oder ICTs4PEACE? Konfliktkommunikation im Social Web";
Supervisor, Reviewer: W. Hofkirchner, E. Klaus; Center for Advanced Studies and Research in Information and Communication Technologies and Society, 2009; oral examination: 2012-03-05.

More information

Author: Martin Schliefnig
Other persons involved: Wolfgang Hofkirchner, E193-05; Peter Fleissner, E193-05

M. Schliefnig:
"Ein computationales Modell für die Allgemeine Systemtheorie";
Supervisor, Reviewer: W. Hofkirchner, P. Fleissner; E187, 2010; oral examination: 2010-01-20.

More information

Author: Felix Schernhammer, E192-05
Other persons involved: Bernhard Gramlich, E192-05; Salvador Lucas

F. Schernhammer:
"Applications and Generalizations of Context-Sensitive Term Rewriting";
Supervisor, Reviewer: B. Gramlich, S. Lucas; Institut fuer Computersprachen, 2011; oral examination: 2011-01-31.

More information

Author: Dirk Richter
Other persons involved: Wolf Zimmermann; Jens Knoop, E194-05

D. Richter:
"Programmanalysen zur Verbesserung der Softwaremodellprüfung";
Supervisor, Reviewer: W. Zimmermann, J. Knoop; Martin-Luther-Universität Halle-Wittenberg, Deutschland, 2012; oral examination: 2012-01-31.

Author: Maia Zaharieva, E193-06
Other persons involved: Christian Breiteneder, E193-06; Stéphane Marchand-Maillet, University of Geneva

M. Zaharieva:
"Features in visual media analysis";
Supervisor, Reviewer: C. Breiteneder, S. Marchand-Maillet; Institute of Software Technology and Interactive Systems, 2011; oral examination: 2011-11-29.

More information

Author: Matthias Baldauf
Other persons involved: Thomas Grechenig, E194-03; Peter Reichl, ftw.

M. Baldauf:
"Advanced Interaction and Visualization Concepts for Mobile Urban Exploration";
Supervisor, Reviewer: T. Grechenig, P. Reichl; 183/1, 2011; oral examination: 2011-01-31.

More information

Author: Grischa Schmiedl
Other persons involved: Thomas Grechenig, E194-03; Rudolf Freund, E192-05

G. Schmiedl:
"Strukturen und Optionen des Mediums Mobile Phone im sekundären Bildungsbereich";
Supervisor, Reviewer: T. Grechenig, R. Freund; 183/1, 2012; oral examination: 2012-01-12.

More information

Author: Clemens Kolbitsch, E191-03
Other persons involved: Christopher Krügel, E191-03; Engin Kirda, Northeastern Univ.

C. Kolbitsch:
"Behavior Based Malware Analysis and Detection";
Supervisor, Reviewer: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011.

Author: Manuel Egele, E191-03
Other persons involved: Christopher Krügel, E191-03; Engin Kirda, Northeastern Univ.

M. Egele:
"Protecting Web Clients from Internet Threats";
Supervisor, Reviewer: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011.

Author: Sven Jörges
Other persons involved: Bernhard Steffen; Jens Knoop, E194-05

S. Jörges:
"Genesys: A Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators";
Supervisor, Reviewer: B. Steffen, J. Knoop; TU Dortmund, Deutschland, 2011; oral examination: 2011-12-21.

Author: Stefan Brunthaler, E194-05
Other persons involved: Jens Knoop, E194-05; Michael Franz

S. Brunthaler:
"Purely Interpretative Optimizations";
Supervisor, Reviewer: J. Knoop, M. Franz; Institut für Computersprachen, 2011; oral examination: 2011-02-28.

More information

Author: Vesna Sesum-Cavic, E194-05
Other persons involved: Eva Kühn, E194-05; Slobodanka Mitrovic

V. Sesum-Cavic:
"Self-organization for load balancing and information retrieval based on shared coordination spaces";
Supervisor, Reviewer: E. Kühn, S. Mitrovic; E185-1, 2011; oral examination: 2011-03-11.

More information

Author: Patrick Loschmidt
Other persons involved: Wolfgang Kastner, E191-03; F. Vasques

P. Loschmidt:
"On Enhanced Clock Synchronization Performance Through Dedicated Ethernet Hardware Support";
Supervisor, Reviewer: W. Kastner, F. Vasques; Rechnergestützte Automation, 2011.

Author: Philip Langer, E194-03
Other persons involved: Gerti Kappel, E194-03; Jeff Gray

P. Langer:
"Adaptable Model Versioning based on Model Transformation By Demonstration";
Supervisor, Reviewer: G. Kappel, J. Gray; E188 Institut für Softwaretechnik und Interaktive Systeme, 2011; oral examination: 2011-12-21.

More information

Author: Birgit Hofreiter, E194-04

B. Hofreiter:
"The Impact of Business Context on Business Collaboration Models, Choreography Languages, and Business Documents"; University of Vienna, 2005.

Author: Marius Gavrilescu
Other persons involved: Vasile Manta; Eduard Gröller, E193-02

M. Gavrilescu:
"Visualization and Graphical Processing of Volume Data";
Supervisor, Reviewer: V. Manta, E. Gröller; Universitatea TehnicĂ "Gheorghe Asachi" Din IaŞi, 2011.

More information

Author: Jürgen Waser
Other persons involved: Eduard Gröller, E193-02; Günter Blöschl, E222-02

J. Waser:
"Visual Steering to Support Decision Making in Visdom";
Supervisor, Reviewer: E. Gröller, G. Blöschl; Institut für Computergraphik und Algorithmen, 2011.

More information

Author: Harald Piringer, E193-02
Other persons involved: Eduard Gröller, E193-02; Helwig Hauser

H Piringer:
"Large Data Scalability in Interactive Visual Analysis";
Supervisor, Reviewer: E. Gröller, H. Hauser; Institut für Computergraphik und Algorithmen, 2011; oral examination: 2011-09-09.

More information

Authors: Dalibor Mitrovic, E193-06; Matthias Zeppelzauer, E193-02
Other persons involved: Christian Breiteneder, E193-06; Harald Kosch

D. Mitrovic, M. Zeppelzauer:
"Syntactic and Semantic Concepts in Audio-Visual Media";
Supervisor, Reviewer: C. Breiteneder, H. Kosch; Institute of Software Technology and Interactive Systems, 2011; oral examination: 2011-11-25.

More information

Author: Martin Haidacher, E193-02
Other persons involved: Eduard Gröller, E193-02; Timo Ropinski

M. Haidacher:
"Information-based Feature Enhancement in Scientific Visualization";
Supervisor, Reviewer: E. Gröller, T. Ropinski; Institut für Computergraphik und Algorithmen, 2011; oral examination: 2011-06-17.

More information

Author: Ahmad Kamran Malik, E194-02
Other persons involved: Schahram Dustdar, E194-02; Uwe Zdun, Uni Wien

A. Malik:
"Information Sharing and Access Control in Collaborative Working Environments - Models, Methods and Algorithms";
Supervisor, Reviewer: S. Dustdar, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2011; oral examination: 2011-11-10.

Author: Philipp Leitner, E194-02
Other persons involved: Schahram Dustdar, E194-02; Fabio Casati

Ph. Leitner:
"On Preventing Violations of Service Level Agreements in Composed Services Using Self-Adaptation";
Supervisor, Reviewer: S. Dustdar, F. Casati; Institut für Informationssysteme, AB Verteilte Systeme, 2011; oral examination: 2011-11-09.

More information

Author: Lukasz Juszczyk, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

L. Juszczyk:
"Techniques for Automated Generation of Testbed Infrastructures for SOA";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2011; oral examination: 2011-10-27.

Author: Özge Subasi, E193-05
Other persons involved: Roman Horak, d'angewandte; Hilda Tellioglu, E193-04

ö. Subasi:
"A Design Anthropological Approach to "Turkish" Product Experiences in Vienna";
Supervisor, Reviewer: R. Horak, H. Tellioglu; Universität für angewandte Kunst Wien, Institut für Kunstwissenschaften, Kunstpädagogik und Kunstvermittlung, Abteilung Kunst und Kultursoziologie, 2011; oral examination: 2011-04-15.

More information

Author: Muhammad Intizar Ali
Other persons involved: Reinhard Pichler, E192-02; Uwe Zdun, Uni Wien

M. Ali:
"Distributed Heterogeneous Web Data Sources Integration - DeXIN Approach";
Supervisor, Reviewer: R. Pichler, U. Zdun; Institut für Informationssysteme, 2011; oral examination: 2011-08-26.

More information

Author: Martin Humenberger
Other persons involved: Markus Vincze, E376; Margrit Gelautz, E193-01

C. Humenberger:
"Real-Time Stereo Matching for Embedded Systems in Robotic Applications";
Supervisor, Reviewer: M. Vincze, M. Gelautz; E376, 2011; oral examination: 2011-04-27.

Author: Lukas Wallentin, E389-01
Other persons involved: Harmen R. van As, E389-01; Schahram Dustdar, E194-02

L. Wallentin:
"Cashflow: A virtual currency system for mobile ad hoc networks";
Supervisor, Reviewer: H.R. van As, S. Dustdar; E389, 2011; oral examination: 2011-03-02.

Author: Farid Karimipour, ISTA
Other persons involved: Andrew U. Frank, E120-02; Walter Kropatsch, E193-03 [193-03]

F. Karimipour:
"A Formal Approach to Implement Dimension Independent Spatial Analyses";
Supervisor, Reviewer: A. Frank, W. Kropatsch; Department of Geoinformation, 2011; oral examination: 2011-06-16.

More information

Author: Florian Zuleger, E192-04
Other persons involved: Helmut Veith, E192-04; Sumit Gulwani

F. Zuleger:
"Resource bound analysis of imperative programs";
Supervisor, Reviewer: H. Veith, S. Gulwani; Institut für Informationssysteme, 2011; oral examination: 2011-05-11.

More information

Author: Johannes Oberzaucher
Other persons involved: Wolfgang Zagler, E193-05; Frank Rattay, E101-03

J. Oberzaucher:
"iAssessment: Aspekte eines instrumentierten Sturzrisikoassessments basierend auf einer extramuralen Gang- und Bewegungsanalyse - im Hinblick auf eine Anwendung im Bereich des Ambient Assisted Living";
Supervisor, Reviewer: W.L. Zagler, F. Rattay; E029, 2011; oral examination: 2011-06.

Author: Michael Tautschnig, Technische Unive ...
Other persons involved: Helmut Veith, E192-04; Daniel Kroening, Uni Oxford

M. Tautschnig:
"Query-Driven Program Testing";
Supervisor, Reviewer: H. Veith, D. Kroening; Institut für Informationssysteme, 2011; oral examination: 2011-04-11.

More information

Author: Martin Pichlmair, E193-05
Other persons involved: Peter Purgathofer, E193-05; Peter Mörtenböck, E264-03

M. Pichlmair:
"Designing for Emotions - Arguments for an Emphasis on Affect in Design";
Supervisor, Reviewer: P. Purgathofer, P. Mörtenböck; E187 - Institut für Gestaltungs- und Wirkungsforschung, 2004; oral examination: 2004-11-23.

Author: Ernst Oberortner, E194-02
Other persons involved: Schahram Dustdar, E194-02; Uwe Zdun, Uni Wien

E. Oberortner:
"Monitoring Quality of Service in Service-oriented Systems: Architectural Design and Stakeholder Support";
Supervisor, Reviewer: S. Dustdar, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2011; oral examination: 2011-03-07.

Author: Günther Starnberger, E194-02
Other persons involved: Schahram Dustdar, E194-02; Karl Michael Göschka, E194-02; Engin Kirda, Northeastern Univ.

G. Starnberger:
"Trading Dependability, Performance, and Security in First-Price Sealed-Bid Online Auctions with Temporal Decoupling";
Supervisor, Reviewer: S. Dustdar, K. Göschka, E. Kirda; Institut für Informationssysteme, AB Verteilte Systeme, 2011; oral examination: 2011-04-11.

Author: Michael Gall, 183/1
Other persons involved: Thomas Grechenig, E194-03; Wolfgang Slany, TU Graz

M. Gall:
"Kriterien zum Vergleich von Architekturen moderner ERP Systeme für den Einsatz in Orchesterunternehmen";
Supervisor, Reviewer: T. Grechenig, W. Slany; 183/1, 2011; oral examination: 2011-01-31.

More information

Author: Rizwan Bulbul, E120-02
Other persons involved: Andrew U. Frank, E120-02; Walter Kropatsch, E193-03 [193-03]

R. Bulbul:
"AHD: Alternate Hierarchical Decomposition Towards LoD Based Dimension Independent Geometric Modeling";
Supervisor, Reviewer: A. Frank, W. Kropatsch; Institut für Geoinformation und Kartographie, 2011; oral examination: 2011-01-27.

More information

Author: Raden Venantius Hari Ginardi, E120-07
Other persons involved: Josef Jansa, E120-01-1; A Min Tjoa, E194-01

R. Hari Ginardi:
"Remote Sensing Data Handling to Improve the System Integration of Indonesian National Spatial Data Infrastructure";
Supervisor, Reviewer: J. Jansa, A. Tjoa; Photogrammetrie und Fernerkundung, 2010; oral examination: 2010-10-28.

More information

Author: Ta´Id Holmes, E194-02
Other persons involved: Schahram Dustdar, E194-02; Uwe Zdun, Uni Wien

T. Holmes:
"Supporting Model-Based Reflection, Monitoring, and Evolution in Service-Oriented Architectures through Model-Aware Systems";
Supervisor, Reviewer: S. Dustdar, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2010; oral examination: 2011-01-19.

Author: Susanne Kandl, E191-01
Other persons involved: Peter Puschner, E191-01; Raimund Kirner, E191-01

S. Kandl:
"A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems";
Supervisor, Reviewer: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17.

More information

Author: Adrian Prantl, E194-05
Other persons involved: Jens Knoop, E194-05; Björn Lisper

A. Prantl:
"High-level Compiler Support for Timing Analysis";
Supervisor, Reviewer: J. Knoop, B. Lisper; Institut für Computersprachen, 2010; oral examination: 2010-06-09.

Author: Matthias Függer, E191-02
Other persons involved: Ulrich Schmid, E191-02; Jennifer Welch, Texas A&M Univer

M Függer:
"Analysis of On-Chip Fault-Tolerant Distributed Algorithms";
Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik - 182/2, 2010.

More information

Author: Michael Jakl, E192-02
Other persons involved: Reinhard Pichler, E192-02; Stefan Woltran, E192-02

M. Jakl:
"Fixed parameter algorithms for answer set programming";
Supervisor, Reviewer: R. Pichler, S. Woltran; Institut für Informationssysteme, 2010; oral examination: 2010-06-29.

More information

Author: Werner Schafhauser, E192-02
Other persons involved: Nysret Musliu, E192-02; Johannes Gärtner

W. Schafhauser:
"TEMPLE - a domain specific language for modeling and solving real-life staff scheduling problems";
Supervisor, Reviewer: N. Musliu, J. Gärtner; Institut für Informationssysteme, 2010; oral examination: 2010-11-10.

More information

Author: Martin Lettner, E193-01
Other persons involved: Robert Sablatnig, E193-01; David Stork

M. Lettner:
"On the Combination of Spatial and Spectral Features for Image Restoration";
Supervisor, Reviewer: R. Sablatnig, D. Stork; Institut für Rechnergestützte Automation, 2010.

Author: Julian Stöttinger, E193-01
Other persons involved: Allan Hanbury, E193-03; Robert Sablatnig, E193-01; Nicu Sebe, Univ. Amsterdam

J. Stöttinger:
"Detection and Evaluation Methods for Local Image and Video Features";
Supervisor, Reviewer: A. Hanbury, R. Sablatnig, N. Sebe; Institut für Rechnergestützte Automation, 2010.

Author: Michael Reiter, E193-01
Other persons involved: Horst Bischof; Robert Sablatnig, E193-01

M. Reiter:
"Enhanced Multiple Output Regression based on Canonical Correlation Analysis with Applications in Computer Vision";
Supervisor, Reviewer: H. Bischof, R. Sablatnig; Graz University of Technology, Institute for Computer Graphics and Vision, 2010.

Author: Marco Comerio
Other persons involved: Flavio De Paoli; Schahram Dustdar, E194-02; Vincenzo D´Andrea

M. Comerio:
"Web service contracts: specification, selection and composition";
Supervisor, Reviewer: F. De Paoli, S. Dustdar, V. D´Andrea; University of Milano-Bicocca u. E184-1, 2010; oral examination: 2010-02-03.

Author: Przemyslaw Musialski, E193-02
Other persons involved: Werner Purgathofer, E193-02; Peter Wonka

P. Musialski:
"Processing of Façade Imagery";
Supervisor, Reviewer: W. Purgathofer, P. Wonka; Institut für Computergraphik und Algorithmen, 2010; oral examination: 2010-11-16.

More information

Author: Simon Scerri, DERI Uni of Ireland
Other persons involved: Siegfried Handschuh; Stefan Decker; Schahram Dustdar, E194-02

S. Scerri:
"Supporting E-mail-based Collaborative Work across the Social Semantic Desktop";
Supervisor, Reviewer: S. Handschuh, D. Decker, S. Dustdar; National University of Ireland Galway u. 184-1, 2010; oral examination: 2010-12-15.

Author: Mantas Simkus, E192-03
Other persons involved: Thomas Eiter, E192-03; Georg Gottlob, E192

M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-06-02.

More information

Author: M.Magdalena Ortiz de la Fuente, E192-03
Other persons involved: Thomas Eiter, E192-03; Diego Calvanese

M. Ortiz de la Fuente:
"Query Answering in Expressive Description Logics; Techniques and Complexity Results";
Supervisor, Reviewer: T. Eiter, D. Calvanese; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-05-25.

More information

Author: Wolfgang Granzer, E191-03
Other persons involved: Wolfgang Kastner, E191-03; Gianluca Cena, Italian National ...

W. Granzer:
"Secure Communication in Home and Building Automation Systems";
Supervisor, Reviewer: W. Kastner, G. Cena; Institut für Rechnergestützte Automation, Automatisierungssysteme, 2010; oral examination: 2010-03-11.

More information

Author: Atif Manzoor, E194-02
Other persons involved: Schahram Dustdar, E194-02; Do Van Thanh

A. Manzoor:
"Quality of Context in Pervasive Systems: Models, Techniques, and Applications";
Supervisor, Reviewer: S. Dustdar, D. Van Thanh; Institut für Informationssysteme, AB Verteilte Systeme, 2010; oral examination: 2010-12-16.

Author: Christoph Becker, E194-01
Other persons involved: Andreas Rauber, E194-01; Jose Borbinha, TU Lissabon

C. Becker:
"Trustworthy Preservation Planning.";
Supervisor, Reviewer: A. Rauber, J. Borbinha; E188, 2010; oral examination: 2010-06-10.

More information

Author: Christoph Rhemann, E193-01
Other persons involved: Margrit Gelautz, E193-01; Carsten Rother, Microsoft Research

C. Rhemann:
"Interactive Image Matting";
Supervisor, Reviewer: M. Gelautz, C. Rother; 188/2, 2010.

More information

Author: Markus Lipp, E193-02
Other persons involved: Michael Wimmer, E193-02; Peter Wonka

M. Lipp:
"Direct Artist Control for Procedural Content Generation of Urban Environments";
Supervisor, Reviewer: M. Wimmer, P. Wonka; Institut für Computergraphik und Algorithmen, 2010.

More information

Author: Jean-Paul Balabanian
Other persons involved: Eduard Gröller, E193-02; Ivan Viola, E193-02

J.-P. Balabanian:
"Multi-Aspect Visualization: Going from Linked Views to Integrated Views";
Supervisor, Reviewer: E. Gröller, I. Viola; Institut für Computergraphik und Algorithmen, 2010; oral examination: 2010-01-07.

More information

Author: Oliver Mattausch
Other persons involved: Michael Wimmer, E193-02; Dinesh Manocha

O. Mattausch:
"Visibility Computations for Real-Time Rendering in General 3D Environments";
Supervisor, Reviewer: M. Wimmer, D. Manocha; Institut für Computergraphik und Algorithmen, 2010; oral examination: 2010-04.

More information

Author: Markus Leitner
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

M. Leitner:
"Solving Two Network Design Problems by Mixed Integer Programming and Hybrid Optimization Methods";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2010; oral examination: 2010-06-16.

More information

Author: Andreas Chwatal
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

A Chwatal:
"On the Minimum Label Spanning Tree Problem: Solution Methods and Applications";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2010; oral examination: 2010-06-16.

More information

Author: Richard Mordinyi, E194-05
Other persons involved: Eva Kühn, E194-05; Stefan Biffl, E194-01

R. Mordinyi:
"Managing Complex and Dynamic Software Systems with Space-Based Computing";
Supervisor, Reviewer: E. Kühn, S. Biffl; Institut für Computersprachen, Programmiersprachen und Übersetzer, 2010; oral examination: 2010-06-10.

More information

Author: Samar Khattab, E389-02
Other persons involved: Alois Goiser, E389-02; Ulrich Schmid, E191-02

S. Khattab:
"Efficient Interference Reduction in Low Complex Digital Direct Sequence Spread Spectrum Systems";
Supervisor, Reviewer: A. Goiser, U. Schmid; E389, 2010; oral examination: 2010-06-02.

Author: Mario Volf
Other persons involved: Sven Gotovac; Stipo Celar; Mario Cagalj; Ivona Brandic, E194-02

M. Volf:
"Upravljanje znanjem u samoprilagodljivim cloud sustavima";
Supervisor, Reviewer: S. Gotovac, S. Celar, M. Cagalj, I. Brandic; University of Split u. 184-1, 2010; oral examination: 2010-10-07.

Author: Dietmar Schreiner, E194-05
Other persons involved: Mehdi Jazayeri, E194-02; Karl Michael Göschka, E194-02; Uwe Aßmann, TU Dresden

D. Schreiner:
"Component Based Communication Middleware for AUTOSAR";
Supervisor, Reviewer: M. Jazayeri, K. Göschka, U. Aßmann; 184/1, 185/1, 2009; oral examination: 2009-11-04.

Author: Florian Skopik, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

F. Skopik:
"Dynamic Trust in Mixed Service-oriented Systems - Models, Algorithms, and Applications";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2010; oral examination: 2010-06-18.

Author: Tamir Hassan
Other persons involved: Georg Gottlob, E192; Gerti Kappel, E194-03

T. Hassan:
"User-Guided Information Extraction from Print-Oriented Documents";
Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2010; oral examination: 2010-05-31.

More information

Author: Ralph Mietzner
Other persons involved: Frank Leymann; Schahram Dustdar, E194-02

R. Mietzner:
"A Method and Implementation to Define and Provision Variable Composite Applications, and its Usage in Cloud Computing";
Supervisor, Reviewer: F. Leymann, S. Dustdar; Uni Stuttgart und Institut für Informationssysteme AB Verteilte Systeme, 2010; oral examination: 2010-07-13.

Author: Thorsten Scheibler
Other persons involved: Frank Leymann; Schahram Dustdar, E194-02

T. Scheibler:
"Ausführbare Integrationsmuster";
Supervisor, Reviewer: F. Leymann, S. Dustdar; Uni Stuttgart und Institut für Informationssysteme AB Verteilte Systeme, 2010; oral examination: 2010-06-17.

Author: Martin Vasko, E194-02
Other persons involved: Schahram Dustdar, E194-02; Martin Gaedke, Chemnitz Uni of Tech

M. Vasko:
"Community-Driven Service Orchestration Modeling";
Supervisor, Reviewer: S. Dustdar, M. Gaedke; Institut für Informationssysteme, AB Verteilte Systeme, 2010; oral examination: 2010-05-06.

Author: Martin Murth, E194-05
Other persons involved: Eva Kühn, E194-05; Schahram Dustdar, E194-02

M. Murth:
"Efficient Coordination with Semantic Shared Data Spaces";
Supervisor, Reviewer: E. Kühn, S. Dustdar; Institut für Computersprachen u. E184-1, 2010; oral examination: 2010-05-03.

Author: Dhaminda Buddhika Abeywickrama
Other persons involved: Sita Ramakrishnan; Schahram Dustdar, E194-02

D. Abeywickrama:
"Pervasive Services Engineering for SOAs";
Supervisor, Reviewer: S. Ramakrishnan, S. Dustdar; Monash University u. 184-1, 2010; oral examination: 2010-05-15.

Author: Rodrigo N. Calheiros
Other persons involved: Cesar De Rose; Ivona Brandic, E194-02

R. Calheiros:
"Automated Emulation of Distributed Systems through System Management and Virtualization";
Supervisor, Reviewer: C. De Rose, I. Brandic; Pontifícia Universidade Católica do Rio Grande do Sul u. 184-1, 2010; oral examination: 2010-03-05.

Author: Anton Michlmayr, E194-02
Other persons involved: Schahram Dustdar, E194-02; Carlo Ghezzi

A. Michlmayr:
"Event Processing in QoS-Aware Service Runtime Environments";
Supervisor, Reviewer: S. Dustdar, C. Ghezzi; Institut für Informationssysteme, AB Verteilte Systeme, 2010; oral examination: 2010-03-11.

Author: Martin Biely, E191-02
Other persons involved: Ulrich Schmid, E191-02; Bernadette Charron-Bost

M. Biely:
"Dynamic Aspects of Modelling Distributed Computations";
Supervisor, Reviewer: U. Schmid, B. Charron-Bost; Institut für Technische Informatik, 2009; oral examination: 2009-11-30.

More information

Author: Peter Tummeltshammer, E191-02
Other persons involved: Andreas Steininger, E191-02; Zdenek Kotasek

P Tummeltshammer:
"Analysis of Common Cause Faults in Dual Core Architectures";
Supervisor, Reviewer: A. Steininger, Z. Kotasek; Institut für Technische Informatik, 2009; oral examination: 2009-10-20.

More information

Author: Heinrich Moser, E191-02
Other persons involved: Ulrich Schmid, E191-02; Jennifer Welch, Texas A&M Univer

H. Moser:
"A Model for Distributed Computing in Real-Time Systems";
Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik, 2009; oral examination: 2009-05-20.

More information

Author: Gottfried Fuchs, E191-02
Other persons involved: Andreas Steininger, E191-02; Cecilia Metra, Universität Bologna

G. Fuchs:
"Fault-Tolerant Distributed Algorithms for On-Chip Tick Generation: Concepts, Implementations and Evaluations";
Supervisor, Reviewer: A. Steininger, C. Metra; Institut für Technische Informatik, 2009; oral examination: 2009-10-20.

More information

Author: Philipp Liegl, E194-03
Other persons involved: Christian Huemer, E194-03; Hannes Werthner, E194-04

P. Liegl:
"Business Documents for Inter-Organizational Business Processes";
Supervisor, Reviewer: C. Huemer, H. Werthner; Institute of Software Technology and Interactive Systems, 2010; oral examination: 2010-01-21.

More information

Author: Christian Sterba
Other persons involved: Thomas Grechenig, E194-03; Klaus-Peter Adlassnig

C. Sterba:
"Organisationsübergreifende IT-Harmonisierung mittels Outsourcing am Beispiel Aktenmanagement in der österreichischen Bundesverwaltung";
Supervisor, Reviewer: T. Grechenig, K. Adlassnig; 183/1, 2009.

Author: Martin Pazderka
Other persons involved: Thomas Grechenig, E194-03; Wolfdieter Merkl, E194-04

M. Pazderka:
"Establishment and Integration of Best Practices for Project Management in Virtual Teams within the Organizational Project Management Maturity Model (OPM3)";
Supervisor, Reviewer: T. Grechenig, W. Merkl; 183/1, 2009; oral examination: 2009-03-03.

Author: Karin Kappel, E194-03
Other persons involved: Thomas Grechenig, E194-03; Wolfdieter Merkl, E194-04

K. Kappel:
"Persuasive Technology: Ambient information systems for residential energy awareness";
Supervisor, Reviewer: T. Grechenig, W. Merkl; 183/1, 2009.

Author: Barbara Tappeiner, E194-03
Other persons involved: Thomas Grechenig, E194-03; Wolfdieter Merkl, E194-04

B. Tappeiner:
"Design Criteria for an e-Health Infrastructure Network in Emerging Countries - A Case Study in the Middle East";
Supervisor, Reviewer: T. Grechenig, W. Merkl; 183/1, 2009.

Author: Julien Diener
Other persons involved: Michael Wimmer, E193-02; C Codin

J. Diener:
"Acquisition et generation du mouvement de plantes";
Supervisor, Reviewer: M. Wimmer, C. Codin; Institut Polytechnique de Grenoble, 2009; oral examination: 2009-07-09.

Author: Lionel Baboud
Other persons involved: Bruno Levy; Michael Wimmer, E193-02

L. Baboud:
"Représentations alternatives du détail visuel pour le rendu en temps-réel";
Supervisor, Reviewer: B. Levy, M. Wimmer; Universite Joseph Fourier Grenoble 1, 2009; oral examination: 2009-11-13.

Author: Michael Schwarz
Other persons involved: Marc Stamminger; Michael Wimmer, E193-02

M. Schwarz:
"Soft Shadows, Curved Surfaces and Perceptual Sensitivity: Advanced Methods for Improving Realism in Real-time Rendering";
Supervisor, Reviewer: M. Stamminger, M. Wimmer; Universität Erlangen-Nürnberg, 2009; oral examination: 2009-07-27.

Author: Daniel Scherzer
Other persons involved: Michael Wimmer, E193-02; Marc Stamminger

D Scherzer:
"Applications of temporal coherence in real-time rendering";
Supervisor, Reviewer: M. Wimmer, M. Stamminger; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-11-27.

More information

Author: Matthias Prandtstetter
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

M. Prandtstetter:
"Hybrid Optimization Methods for Warehouse Logistics and the Reconstruction of Destroyed Paper Documents";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2009.

More information

Author: Alexander Benz, E387-01
Other persons involved: Karl Unterrainer, E362; Günther Bauer, E191-01

A. Benz:
"Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities";
Supervisor, Reviewer: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15.

Author: Bruno Woltzenlogel-Paleo, E192-05
Other person involved: Alexander Leitsch, E192-05

B. Woltzenlogel-Paleo:
"A GeneralAnalysis of Cut-Elimination by CERES";
Supervisor, Reviewer: A. Leitsch; Institut für Computersprachen E185/2, 2009; oral examination: 2009-08-28.

Author: Christof Pitter, E191-01
Other persons involved: Herbert Grünbacher, E191-01; Martin Schoeberl, E191-01

C. Pitter:
"Time-Predictable Java Chip-Multiprocessor";
Supervisor, Reviewer: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009.

More information

Author: Johanna Beyer
Other persons involved: Eduard Gröller, E193-02; Markus Hadwiger; Katja Bühler

J. Beyer:
"GPU-based Multi-Volume Rendering of Complex Data in Neuroscience and Neurosurgery";
Supervisor, Reviewer: E. Gröller, M. Hadwiger, K. Bühler; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-11-27.

More information

Author: Erald Vucini, E193-03 [E193-03]
Other persons involved: Eduard Gröller, E193-02; Torsten Möller

E. Vucini:
"On Visualization and Reconstruction from Non-uniform Point Sets";
Supervisor, Reviewer: E. Gröller, T. Möller; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-11-27.

More information

Author: Denis Kalkofen
Other persons involved: Dieter Schmalstieg; Eduard Gröller, E193-02; Tobias Höllerer

D. Kalkofen:
"Illustrative X-Ray Visualization in Augmented Reality Environments";
Supervisor, Reviewer: D. Schmalstieg, E. Gröller, T. Höllerer; TU Graz, 2009; oral examination: 2009-12-21.

Author: Christian Tietjen
Other persons involved: Bernhard Preim; Dirk Bartz; Eduard Gröller, E193-02

Ch. Tietjen:
"Illustrative Visualisierungstechniken zur Unterstützung der präoperativen Planung von chirurgischen Eingriffen";
Supervisor, Reviewer: B. Preim, D. Bartz, E. Gröller; Universität Magdeburg, 2009; oral examination: 2009-08-11.

Author: Raimund Schatz
Other persons involved: Thomas Grechenig, E194-03; Eduard Gröller, E193-02

R. Schatz:
"Mobile Social TV - Creating a New Mobile Application Paradigm";
Supervisor, Reviewer: T. Grechenig, E. Gröller; Institut für Rechnergestützte Automation, TU Wien, 2009; oral examination: 2009-06-23.

Author: Matej Novotny
Other persons involved: Eduard Gröller, E193-02; Pavel Slavik; Milos Sramek

M. Novotny:
"Information Visualization of Large Data";
Supervisor, Reviewer: E. Gröller, P. Slavik, M. Sramek; Comenius University Bratislava, 2009; oral examination: 2009-06-03.

Author: Efstathios Stavrakis, E193-01
Other persons involved: Margrit Gelautz, E193-01; Eduard Gröller, E193-02

E. Stavrakis:
"Stereoscopic Non-Photorealistic Rendering";
Supervisor, Reviewer: M. Gelautz, E. Gröller; Institut für Softwaretechnik und Interaktive Systeme, TU Wien, 2009; oral examination: 2009-02-12.

Author: Günter Wallner
Other persons involved: Milos Sramek; Eduard Gröller, E193-02

G. Wallner:
"Graphikprozessor optimierte Algorithmen für Radiosity und Schattenvolumendarstellung";
Supervisor, Reviewer: M. Sramek, E. Gröller; Universität für angewandte Kunst Wien, 2009; oral examination: 2009-01-26.

Author: Armin Haller
Other persons involved: Manfred Hauswirth; Schahram Dustdar, E194-02

A. Haller:
"An ontological framework for Business Process Integration in Virtual Organizations";
Supervisor, Reviewer: M. Hauswirth, S. Dustdar; University of Ireland u. Institut für Informationssysteme AB Verteilte Systeme, 2009; oral examination: 2009-12-17.

Author: Huy Tran, E194-02
Other persons involved: Schahram Dustdar, E194-02; Uwe Zdun, E194-02

H. Tran:
"View-Based and Model-Driven Approach for Process-Driven, Service-Oriented Architectures";
Supervisor, Reviewer: S. Dustdar, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-12-04.

Author: Sebastian Zambal
Other persons involved: Katja Bühler; Jiri Hladuvka; Eduard Gröller, E193-02

S. Zambal:
"Anatomical Modeling for Image Analysis in Cardiology";
Supervisor, Reviewer: K. Bühler, J. Hladuvka, E. Gröller; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-04-24.

Author: Andrea Weidlich, E193-02
Other persons involved: Alexander Wilkie; Holly Rushmeier

A. Weidlich:
"Pseudochromatic Colourisation of Crystals in Predictive Image Synthesis";
Supervisor, Reviewer: A. Wilkie, H Rushmeier; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-03-09.

Author: Ralf Habel
Other persons involved: Michael Wimmer, E193-02; Oliver Deussen

R. Habel:
"Real-time Rendering and Animation of Vegetation";
Supervisor, Reviewer: M. Wimmer, O Deussen; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-03-06.

More information

Author: Maurice Termeer, E193-02
Other persons involved: Eduard Gröller, E193-02; Marcel Breeuwer

M. Termeer:
"Comprehensive Visualization of Cardiac MRI Data";
Supervisor, Reviewer: E. Gröller, M. Breeuwer; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-01-20.

More information

Author: Daniel Patel
Other persons involved: Christopher Giertsen; Helwig Hauser; Eduard Gröller, E193-02

D. Patel:
"Expressive Visualization and Rapid Interpretation of Seismic Volumes";
Supervisor, Reviewer: Ch. Giertsen, H. Hauser, E. Gröller; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-10-27.

More information

Author: M. Muddassir Malik, E193-02
Other persons involved: Eduard Gröller, E193-02; Ivan Viola

M. Malik:
"Feature Centric Volume Visualization";
Supervisor, Reviewer: E. Gröller, I. Viola; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-12-07.

More information

Author: Peter Rautek
Other persons involved: Eduard Gröller, E193-02; Ivan Viola

P. Rautek:
"Semantic Visualization Mapping for Volume Illustration";
Supervisor, Reviewer: E. Gröller, I. Viola; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-01-27.

More information

Author: Peter Kohlmann, E193-02
Other persons involved: Eduard Gröller, E193-02; Ivan Viola

P. Kohlmann:
"LiveSync: Smart Linking of 2D and 3D Views in Medical Applications";
Supervisor, Reviewer: E. Gröller, I. Viola; Institut für Computergraphik und Algorithmen, TU Wien, 2009; oral examination: 2009-01-27.

More information

Author: Peter Massuthe
Other persons involved: Kees van Hee; Wolfgang Reisig; Karsten Wolf; Schahram Dustdar, E194-02

P. Massuthe:
"Operating Guidelines for Services";
Supervisor, Reviewer: K. van Hee, W. Reisig, K. Wolf, S. Dustdar; HU Berlin u. TU Eindhoven, Institut für Informationssysteme AB Verteilte Systeme, 2009; oral examination: 2009-04-21.

Author: Javed Ferzund
Other persons involved: Franz Wotawa; Schahram Dustdar, E194-02

J. Ferzund:
"An Empirical Investigation into Changes and Bugs by Mining Software Development Histories";
Supervisor, Reviewer: F. Wotawa, S. Dustdar; TU Graz u. E184-1, 2009; oral examination: 2009-12-07.

Author: Monika Kaczmarek
Other persons involved: Leszek Maciaszek; Schahram Dustdar, E194-02

M. Kaczmarek:
"Selection of Semantic Web Services for Business Processes";
Supervisor, Reviewer: L. Maciaszek, S. Dustdar; Macquarie University u. Institut für Informationssysteme AB Verteilte Systeme, 2009.

Author: Christoph Mayr-Dorn, E194-02
Other persons involved: Schahram Dustdar, E194-02; Harald Gall, UZH

C. Dorn:
"Adaptation Techniques in large-scale Service-oriented Systems: Models, Metrics, and Algorithms";
Supervisor, Reviewer: S. Dustdar, H. Gall; Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-10-19.

Author: Willibald Karl Krenn
Other persons involved: Franz Wotawa; Schahram Dustdar, E194-02

W. Krenn:
"Self Reasoning In Resource-Constrained Autonomous Systems";
Supervisor, Reviewer: F. Wotawa, S. Dustdar; Graz TU u. Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-09-21.

Author: Florian Rosenberg, E194-02
Other persons involved: Schahram Dustdar, E194-02; Brian Blake, Uni of Notre Dame

F. Rosenberg:
"QoS-Aware Composition of Adaptive Service-Oriented Systems";
Supervisor, Reviewer: S. Dustdar, B. Blake; Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-06-26.

Author: Martin Gruber, E192-01
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

M. Gruber:
"Exact and Heuristic Approaches for Solving the Bounded Diameter Minimum Spanning Tree Problem";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2009; oral examination: 2009-06-16.

More information

Author: Franz Nirschl
Other persons involved: Jürgen Dorn, E194-04; Hilda Tellioglu, E193-04

F. Nirschl:
"Management von Kompetenzen für Personalauswahl und Teambildung in sicherheitskritischen Bereichen";
Supervisor, Reviewer: J. Dorn, H. Tellioglu; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-06-17.

Author: M. Fuchs
Other persons involved: Jürgen Dorn, E194-04; Hilda Tellioglu, E193-04

M. Fuchs:
"Management von Kompetenzen für Personalauswahl und Teambildung in sicherheitskritischen Bereichen";
Supervisor, Reviewer: J. Dorn, H. Tellioglu; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-06-17.

Author: Markus Pichlmair, E192-02
Other persons involved: Jürgen Dorn, E194-04; Gerald Steinhardt, E193-04

M. Pichlmair:
"Evaluierung von Kompetenzmanagement für Studierende";
Supervisor, Reviewer: J. Dorn, G. Steinhardt; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-06-17.

Author: Georg Pölzlbauer, E194-01
Other persons involved: Andreas Rauber, E194-01; Wolfdieter Merkl, E194-04

G. Pölzlbauer:
"Advanced data exploration methods based on Self-Organizing Maps";
Supervisor, Reviewer: A. Rauber, W. Merkl; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-12-18.

Author: Bernhard Riedl
Other persons involved: A Min Tjoa, E194-01; Gerald Quirchmayr

B. Riedl:
"PIPE: Pseudonymization of Information for Privacy in e-Health";
Supervisor, Reviewer: A. Tjoa, G. Quirchmayr; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-10-21.

Author: A. Hinum, E194-01
Other persons involved: Silvia Miksch, E193-07; Christian Popow

A. Hinum:
"Gravi++Interactive Information Visualization for High Dimensional, Temporal Data";
Supervisor, Reviewer: S. Miksch, C. Popow; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-01-16.

Author: Marco Zapletal, E194-04
Other persons involved: Hannes Werthner, E194-04; Christian Huemer, E194-03

M. Zapletal:
"A UML-based Methodology for Model-Driven B2B Integration: From Business Values over Business Processes to Deployment Artifacts";
Supervisor, Reviewer: H. Werthner, C. Huemer; Institut für Softwaretechnik und Interaktive Systeme, 2009; oral examination: 2009-06-22.

More information

Author: Lars Alvincz
Other persons involved: Sabine Glesner; Jens Knoop, E194-05

L Alvincz:
"A Framework for Intelligent Speculative Compiler Optimizations and its Application to Memory Access";
Supervisor, Reviewer: S. Glesner, J. Knoop; Fakultät IV Elektrotechnik und Informatik, TU Berlin, Berlin, Deutschland, 2009; oral examination: 2009-07-17.

Author: Bernhard Rieder, E191-01
Other persons involved: Peter Puschner, E191-01; Jens Knoop, E194-05

B. Rieder:
"Measurement-Based Timing Analysis of Applications written in ANSI-C";
Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26.

Author: Shivali Agarwal
Other persons involved: Jens Knoop, E194-05; N. N.

S Agarwal:
"Analysis, Scheduling and Reasoning in Distributed Shared Memory Programming Languages";
Supervisor, Reviewer: J. Knoop, N. N.; Tata Institute of Fundamental Research, Mumbai, Indien, 2009.

Author: Karsten Klohs
Other persons involved: Uwe Kastens; Jens Knoop, E194-05

K Klohs:
"Validation of Data Flow Results for Program Modules";
Supervisor, Reviewer: U Kastens, J. Knoop; Universität Paderborn, Deutschland, 2009; oral examination: 2009-04-03.

Author: Jacek Ratzinger, E194-02
Other persons involved: Harald Gall, E194-02; Mehdi Jazayeri, E194-02

J. Ratzinger:
"sPACE Software Project Assessment in the Course of Evolution";
Supervisor, Reviewer: H. Gall, M. Jazayeri; Institut für Informationssysteme, AB Verteilte Systeme, 2007; oral examination: 2007-10-29.

Author: Nenad Jovanovic, E194-02
Other persons involved: Christopher Krügel, E191-03; Engin Kirda, E194-02

N. Jovanovic:
"Web Application Security";
Supervisor, Reviewer: Ch. Krügel, E. Kirda; Institut für Rechnergestützte Automation und Institut für Informationssysteme AB Verteilte Systeme, 2007; oral examination: 2007-10-09.

Author: Michael Fischer, E194-02
Other persons involved: Harald Gall, E194-02; Mehdi Jazayeri, E194-02

M. Fischer:
"EvoZilla - Longitudinal Evolution Analysis of Large Scale Software Systems";
Supervisor, Reviewer: H. Gall, M. Jazayeri; Institut für Informationssysteme, AB Verteilte Systeme, 2006.

Author: Ksenia Wahler
Other persons involved: Harald Gall, UZH; Schahram Dustdar, E194-02

K. Wahler:
"A Framework for Integrated Process and Object Life Cycle Modeling";
Supervisor, Reviewer: H. Gall, S. Dustdar; Uni Zürich u. Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-03-03.

Author: Hilmar Schuschel
Other persons involved: Thomas Altmann; Schahram Dustdar, E194-02

H. Schuschel:
"Integrierte Prozessplanung und -ausführung";
Supervisor, Reviewer: T. Altmann, S. Dustdar; Hasso-Plattner-Inst. f. Softwaresystemtechnik, Inst. f. Informationssysteme AB Verteilte Systeme, 2006; oral examination: 2006-10-26.

Author: Alexandru Jugravu
Other persons involved: Thomas Fahringer; Schahram Dustdar, E194-02

A. Jugravu:
"A High-level Programming Paradigm for Java-based Parallel and Distributed Applications";
Supervisor, Reviewer: T. Fahringer, S. Dustdar; Technische Universität Wien | Fakultät für Informatik | Institut für Scientific Computing, Universität Wien, 2005.

Author: Soraya Kouadri Mostéfaoui
Other persons involved: Béat Hirsbrunner; Omar Abou Khaled; Schahram Dustdar, E194-02

S. Mostéfaoui:
"Supporting Context-Aware Services in Pervasive Environments";
Supervisor, Reviewer: B. Hirsbrunner, O. Khaled, S. Dustdar; Faculty of Science of University of Fribourg u. Inst. f. Informationssysteme AB Verteilte Systeme, 2005.

Author: Hong-Linh Truong, E194-02
Other persons involved: Thomas Fahringer; Schahram Dustdar, E194-02

H. Truong:
"Novel Techniques and Methods for Performance Measurement, Analysis and Monitoring of Cluster and Grid Applications";
Supervisor, Reviewer: T. Fahringer, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2005.

Author: Roland Wolfig
Other persons involved: Stefan Poledna, E191-01; Dietmar Dietrich, E384

R. Wolfig:
"A Distributed Platform for an Integrated Modular Avionics";
Supervisor, Reviewer: S. Poledna, D. Dietrich; 182/1, 2008.

Author: Daniel Schall, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

D. Schall:
"Human Interactions in Mixed Systems - Architecture, Protocols, and Algorithms";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2009; oral examination: 2009-02-27.

Author: Marcus Kind, E194-01
Other persons involved: Wolfdieter Merkl, E194-04; Thomas Grechenig, E194-03

M. Kind:
"Analyse, Struktur, Managemenet und Kernrisiken von State of Art ID Projekten mit gesamtstaalichern Charakter";
Supervisor, Reviewer: W. Merkl, T. Grechenig; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-10-09.

Author: Wolfgang Schreiner, E194-02
Other persons involved: Jürgen Dorn, E194-04; A Min Tjoa, E194-01

W. Schreiner:
"Security and Privacy Management in Service Oriented Architectures";
Supervisor, Reviewer: J. Dorn, A. Tjoa; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-06-12.

Author: Khalid Latif, E194-01
Other persons involved: A Min Tjoa, E194-01; Günther Pernul, Uni-Regensburg

K. Latif:
"Shared Semantic Context in Lifetime Knowledge Archive";
Supervisor, Reviewer: A. Tjoa, G. Pernul; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-10-09.

Author: Thomas Neubauer, E194-01
Other persons involved: A Min Tjoa, E194-01; Ch. Strauß, Uni-Wien

T. Neubauer:
"Business Process Based Valuation and Selection of IT Investments";
Supervisor, Reviewer: A. Tjoa, Ch. Strauß; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-10-09.

Author: Shah Khusro, E194-01
Other persons involved: A Min Tjoa, E194-01; Josef Küng

S. Khusro:
"User and Context Modeling on the Desktop - A Scalable Approach for Lifetime Information";
Supervisor, Reviewer: A. Tjoa, J. Küng; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-11-26.

Author: Huu Hanh Hoang, E194-01
Other persons involved: A Min Tjoa, E194-01; Roland Wagner

H. Hoang:
"Semantic Web Information Retrieval: A Semantic Web Based Virtual Query System for Supporting User Query Formulation and Informatioan Retrieval in The SemanticLIFE Personal Digital Memory Framework";
Supervisor, Reviewer: A. Tjoa, R. Wagner; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-03-20.

Author: Khabib Mustafa, E194-01
Other persons involved: A Min Tjoa, E194-01; Roland Wagner

K. Mustafa:
"Ontology-Based Annotation: an Approach to Bring More Semantic Metadata in a Personal Digital Memory Framework";
Supervisor, Reviewer: A. Tjoa, R. Wagner; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24.

Author: Burcu Yildiz, E194-01
Other persons involved: Silvia Miksch, E193-07; Gernot Salzer, E192-05

B. Yildiz:
"Ontology-Driven Information Extraction";
Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24.

Author: Shuaib Karim, E194-01
Other persons involved: A Min Tjoa, E194-01; K. Miesenberger, Uni-Linz

S. Karim:
"The Concept of Connecting Ontology using the Semantic Web Technology, and its Exploitation for Knowledge and Information Presentation for People with Special Needs";
Supervisor, Reviewer: A. Tjoa, K. Miesenberger; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-10-09.

Author: Stefan Sobernig
Other persons involved: Gustaf Neumann; Uwe Zdun, E194-02

S. Sobernig:
"Exploring Feature Variability in Object Remoting Middleware";
Supervisor, Reviewer: G. Neumann, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2009.

Author: Carsten Hentrich
Other persons involved: Vlatka Hlupic; Fefie Dotsika; Uwe Zdun, E194-02

C. Hentrich:
"Effective Pattern-Based Approaches for Service-Oriented Architecture Design and Modelling";
Supervisor, Reviewer: V. Hlupic, F. Dotsika, U. Zdun; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Marianne Tolar, E193-04
Other persons involved: Ina Wagner, E193-04; Ellen Balka

M. Tolar:
"Work Practices with Paper-Based and Electronic Documentation Systems - Case Studies in an Oncology Setting";
Supervisor, Reviewer: I. Wagner, E. Balka; Institut für Gestaltungs- und Wirkungsforschung, 2008; oral examination: 2008-05-06.

More information

Author: Martin Tomitsch, E194-03
Other persons involved: Thomas Grechenig, E194-03; Klaus-Peter Adlassnig

M. Tomitsch:
"Interactive Ceiling: Ambient Information Display for Architectural Environments";
Supervisor, Reviewer: T. Grechenig, K. Adlassnig; 183/1, 2008.

More information

Author: Rainer Simon
Other persons involved: Thomas Grechenig, E194-03; Dieter Merkl, E191-03

R. Simon:
"Mobilizing the Geospatial Web - a framework and conceptual model for spatially aware mobile web applications";
Supervisor, Reviewer: T. Grechenig, D. Merkl; 183/1, 2008.

More information

Author: Stefan Fenz, E194-01
Other persons involved: A Min Tjoa, E194-01; Marcus Hudec, Universität Wien

S. Fenz:
"Ontology- and Bayesian-based information security risk management";
Supervisor, Reviewer: A. Tjoa, M. Hudec; IFS 188, 2008; oral examination: 2008-10-14.

More information

Author: Belen Medrano Garfia
Other persons involved: R. González-Díaz; Pedro Real; Walter Kropatsch, E193-03 [193-03]

B. Medrano Garfia:
"ALGEBRAIC-TOPOLOGICAL MODEL OF REPRESENTATION OF n-DIMENSIONAL DIGITAL IMAGES.";
Supervisor, Reviewer: R. González-Díaz, P. Real, W. Kropatsch; Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2007.

Author: Antoine Vacavant
Other persons involved: Laure Tougne; David Coeurjolly; Walter Kropatsch, E193-03 [193-03]

A. Vacavant:
"G´eom´etrie discrete sur grilles irr´eguli`eres isoth´etiques";
Supervisor, Reviewer: L. Tougne, D. Coeurjolly, W. Kropatsch; Laboratoire d'InfoRmatique en Image et Systèmes d'information, 2008.

Author: Lech Szumilas, E193-01
Other persons involved: Robert Sablatnig, E193-01; Matthieu Cord, UPMC, Paris; Marie Curie

L. Szumilas:
"Scale and Rotation Invariant Shape Matching";
Supervisor, Reviewer: R. Sablatnig, M. Cord, M. Curie; Institut für rechnergestützte Automation, 2008.

Author: Bernhard Huber
Other persons involved: Hermann Kopetz, E191-01; Johann Blieberger, E191-03

B. Huber:
"Resource Management in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01.

Author: Martin Schlager
Other persons involved: Hermann Kopetz, E191-01; Johann Blieberger, E191-03

M. Schlager:
"Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems";
Supervisor, Reviewer: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09.

Author: Hannes Muhr, E384
Other persons involved: Dietmar Dietrich, E384; Andreas Steininger, E191-02

H. Muhr:
"Concepts for Virtual Prototyping of Distributed Embedded Systems";
Supervisor, Reviewer: D. Dietrich, A. Steininger; Institut für Computertechnik, 2008; oral examination: 2008-12-22.

Author: Samuli Laine
Other persons involved: Lauri Savioja; Xavier Decoret; Michael Wimmer, E193-02

S. Laine:
"Efficient Physically-based Shadow Algorithms";
Supervisor, Reviewer: L. Savioja, X. Decoret, M. Wimmer; Helsinki University of Technology, 2006; oral examination: 2006.

More information

Author: Elmar Eisemann
Other persons involved: Wolfgang Heidrich; Michael Wimmer, E193-02

E. Eisemann:
"Optimized Representations for the Acceleration of Display- and Collision Queries";
Supervisor, Reviewer: W. Heidrich, M. Wimmer; Universit´E Joseph Fourier, 2008; oral examination: 2008-09-16.

Author: Vincent Forest
Other persons involved: Nicolas Holzschuch; Michael Wimmer, E193-02

V. Forest:
"Robust object-based algorithms for direct shadow simulation";
Supervisor, Reviewer: N. Holzschuch, M. Wimmer; Institut de Recherche en Informatique de Toulouse, 2008; oral examination: 2008-12-16.

Author: Eric Armengaud, E191-02
Other persons involved: Andreas Steininger, E191-02; Francoise Simonot-Lion, LORIA

E. Armengaud:
"A Transparent Online Test Approach for Time-Triggered Communication Protocols";
Supervisor, Reviewer: A. Steininger, F. Simonot-Lion; Institut für technische Informatik, 2008.

More information

Author: Matthias Heindl, E194-01
Other persons involved: Stefan Biffl, E194-01; Paul Grünbacher

M. Heindl:
"Managing Dependencies in Complex Global Software Development Projects";
Supervisor, Reviewer: S. Biffl, P. Grünbacher; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-05-05.

More information

Author: Dindin Wahyudin, E194-01
Other persons involved: Stefan Biffl, E194-01; A Min Tjoa, E194-01

D. Wahyudin:
"Quality Prediction and Evaluation Models for Products and Processes in Distributed Software Development";
Supervisor, Reviewer: S. Biffl, A. Tjoa; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-11-05.

More information

Author: Szabolcs Rozsnyai
Other persons involved: Stefan Biffl, E194-01; Alexander Schatten, E194-01

S. Rozsnyai:
"Managing Event Streams for Querying Complex Events and Event Patterns";
Supervisor, Reviewer: S. Biffl, A. Schatten; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-04-15.

More information

Author: Lian Li
Other persons involved: Jens Knoop, E194-05; N. N.

L. Li:
"Scratchpad Memory Management for Static Data Aggregates";
Supervisor, Reviewer: J. Knoop, N. N.; The University of New South Wales, Sydney, Australia, 2007.

Author: Noam Rinetzky
Other persons involved: Jens Knoop, E194-05; N. N.

N. Rinetzky:
"Interprocedural and Modular Local Heap Shape Analysis";
Supervisor, Reviewer: J. Knoop, N. N.; Tel-Aviv University, Tel Aviv, Israel, 2008.

Author: Christoph Heinzl
Other persons involved: Eduard Gröller, E193-02; Milos Sramek

Ch. Heinzl:
"Analysis and Visualization of Industrial CT Data";
Supervisor, Reviewer: E. Gröller, M. Sramek; Institut für Computergraphik und Algorithmen, TU Wien, 2008; oral examination: 2008-12-20.

More information

Author: Rainer Huber, E389-01
Other persons involved: Harmen R. van As, E389-01; Schahram Dustdar, E194-02

R. Huber:
"A Novel Analytical Modeling Framework and its Application to Transport Layer Performance Evaluation";
Supervisor, Reviewer: H.R. van As, S. Dustdar; Institut für Breitbandkommunikation, 2008; oral examination: 2008-07-28.

Author: Quanzheng Sheng
Other persons involved: Boualem Benatallah; Schahram Dustdar, E194-02

Q. Sheng:
"Composite Web Services Provisioning in Dynamic Environments";
Supervisor, Reviewer: B. Benatallah, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2006.

Author: Alexander Lazovik
Other persons involved: Marco Aiello; Michael P. Papazoglou, Uni Tilburg; Schahram Dustdar, E194-02

A. Lazovik:
"Interacting With Service Compositions";
Supervisor, Reviewer: M. Aiello, M. P. Papazoglou, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2006.

Author: Sam Guinea
Other persons involved: Carlo Ghezzi; Pierluigi San Pietro; Stefano Crespi Reghizzi; Schahram Dustdar, E194-02

S. Guinea:
"Dynamo: a Framework for the Supervision of Web Service Compositions";
Supervisor, Reviewer: C. Ghezzi, P. San Pietro, S. Crespi Reghizzi, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2007.

Author: G. R. Gangadharan
Other persons involved: Vincenzo D´Andrea; Schahram Dustdar, E194-02; Marco Aiello; Michael Weiss; Renato Iannella

G. Gangadharan:
"Service Licensing";
Supervisor, Reviewer: V. D´Andrea, S. Dustdar, M. Aiello, M. Weiss, R. Iannella; Institut für Informationssysteme, AB Verteilte Systeme, 2007; oral examination: 2008-02-26.

Author: Piyanath Mangkorntong
Other persons involved: Fethi Rabhi; Boualem Benatallah; Helen Paik; Schahram Dustdar, E194-02

P. Mangkorntong:
"A Domain-Driven Approach For Detecting Event Patterns in E-Markets: A Case Study in Financial Market Surveillance";
Supervisor, Reviewer: F. Rabhi, B. Benatallah, H. Paik, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2007.

Author: Kenneth Wen Wang
Other persons involved: Marlon Dumas; Stephen Milliner; Chun Ouyang; Schahram Dustdar, E194-02

K. Wang:
"Interface Adaptation for Conversational Services";
Supervisor, Reviewer: M. Dumas, S. Milliner, C. Ouyang, S. Dustdar; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Thomas Költringer, E191-03
Other persons involved: Thomas Grechenig, E194-03; Schahram Dustdar, E194-02

T. Költringer:
"Design und Evaluierung von Texteingabesystemen";
Supervisor, Reviewer: T. Grechenig, S. Dustdar; Institut für Rechnergestützte Automation und Institut für Informationssysteme AB Verteilte Systeme, 2007.

Author: Farshad Moradi
Other persons involved: Rassul Ayani; Axel Lehmann, Uni Bundeswehr Münch; Schahram Dustdar, E194-02; Björn Lisper; Carl Gustaf Jansson

F. Moradi:
"A Framework for Component Based Modelling and Simulation using BOMs and Semantic Web Technology";
Supervisor, Reviewer: R. Ayani, A. Lehmann, S. Dustdar, B. Lisper, C. Jansson; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Hamid Reza Motahari Nezhad
Other persons involved: Boualem Benatallah; Schahram Dustdar, E194-02; Mohand-Said Hacid; J Yan

H. Motahari Nezhad:
"Discovery and Adaptation of Process Views";
Supervisor, Reviewer: B. Benatallah, S. Dustdar, M. Hacid, J. Yan; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Seyyed Vahid Hashemian
Other persons involved: Farhad Mavaddat; Michael Godfrey; Schahram Dustdar, E194-02

S. Hashemian:
"Automatic Signature Matching in Component Composition";
Supervisor, Reviewer: F. Mavaddat, M. Godfrey, S. Dustdar et al.; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Julien Ponge
Other persons involved: Farouk Toumani; Boualem Benatallah; Schahram Dustdar, E194-02; Claude Godart

J. Ponge:
"Model Based Analysis of Time-aware Web Services Interactions";
Supervisor, Reviewer: F. Toumani, B. Benatallah, S. Dustdar, C. Godart; Institut für Informationssysteme, AB Verteilte Systeme, 2008.

Author: Raphael Fuchs
Other persons involved: Helwig Hauser; Ronald Peikert

R. Fuchs:
"The Visible Vortex - Interactive Analysis and Extraction of Vortices in Large Time-Dependent Flow Data Sets";
Supervisor, Reviewer: H. Hauser, R. Peikert; Institut für Computergraphik und Algorithmen, TU Wien, 2008; oral examination: 2008-10-09.

More information

Author: Rainer Schmidt
Other persons involved: Siegfried Benkner, Uni Wien; Schahram Dustdar, E194-02

R. Schmidt:
"An architecture and programming model for component-based grid applications";
Supervisor, Reviewer: S. Benkner, S. Dustdar; Uni Wien, Institut für Scientific Computing u. Inst. f. Informationssysteme AB Verteilte Systeme, 2007.

Author: Christian Platzer, E194-02
Other persons involved: Schahram Dustdar, E194-02; Frank Leymann

C. Platzer:
"Vector Space-driven Service Discovery";
Supervisor, Reviewer: S. Dustdar, F. Leymann; Institut für Informationssysteme, AB Verteilte Systeme, 2008; oral examination: 2008-01-25.

Author: Bin Hu
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

B. Hu:
"Hybrid Metaheuristics for Generalized Network Design Problems";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2008; oral examination: 2008-12-11.

More information

Author: Stefan Bruckner, E193-02
Other persons involved: Eduard Gröller, E193-02; D. Ebert

St. Bruckner:
"Interactive Illustrative Volume Visualization";
Supervisor, Reviewer: E. Gröller, D. Ebert; Institut für Computergraphik und Algorithmen, TU Wien, 2008; oral examination: 2008-04-11.

More information

Author: Jean Pierre Charalambos
Other persons involved: Eduardo Romero; Eduard Gröller, E193-02

J P Charalambos:
"HLOD Refinement Driven by Hardware Occlusion Queries";
Supervisor, Reviewer: E. Romero, E. Gröller; Universidad Nacional de Colombia, 2008; oral examination: 2008-02-20.

More information

Author: Horst Kargl, E194-03
Other persons involved: Gerti Kappel, E194-03; Christian Huemer, E194-03

H. Kargl:
"Smart Matching - An Approach for the Automatic Generation of Executable Schema Mappings";
Supervisor, Reviewer: G. Kappel, C. Huemer; Institut für Softwaretechnik und Interaktive Systeme, 2008.

More information

Author: Konrad Baumann, FH Joanneum Graz
Other persons involved: Peter Purgathofer, E193-05; Margit Pohl, E193-05

K. Baumann:
"How designers teach - a qualitative research on design didactics";
Supervisor, Reviewer: P. Purgathofer, M. Pohl; E187 Institut für Gestaltungs- und Wirkungsforschung, 2004.

More information

Author: Michael Strommer, E194-03
Other persons involved: Gerti Kappel, E194-03; Christian Huemer, E194-03

M. Strommer:
"Model Transformation By-Example";
Supervisor, Reviewer: G. Kappel, C. Huemer; Institut für Softwaretechnik und Interaktive Systeme, 2008.

More information

Author: Thomas Novak, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

T. Novak:
"Functional Safety and System Security in Building Automation and Control Systems";
Supervisor, Reviewer: D. Dietrich, W. Kastner; Institut für Computertechnik, 2008; oral examination: 2008-06-19.

Author: Joachim Fabini, E389-01
Other persons involved: Harmen R. van As, E389-01; Schahram Dustdar, E194-02

J. Fabini:
"Generic Access Network Modeling for Next Generation Network Applications";
Supervisor, Reviewer: H.R. van As, S. Dustdar; Institut für Breitbandkommunikation, 2008; oral examination: 2008-04-04.

Author: Thomas Reiter
Other persons involved: Werner Retschitzegger; Gerti Kappel, E194-03

T. Reiter:
"T.R.O.P.I.C.: Transformations On Petri Nets In Color";
Supervisor, Reviewer: W. Retschitzegger, G. Kappel; Institut für Bioinformatik, 2008; oral examination: 2008-03-11.

Author: Marion Murzek, E194-03
Other persons involved: Gerti Kappel, E194-03; Dimitris Karagiannis

M. Murzek:
"The Model Morphing Approach - Horizontal Transformation of Business Process Models";
Supervisor, Reviewer: G. Kappel, D. Karagiannis; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-03-04.

More information

Author: Manuel Wimmer, E194-03
Other persons involved: Gerti Kappel, E194-03; Werner Retschitzegger

M. Wimmer:
"From Mining to Mapping and Roundtrip Transformations - A Systematic Approach to Model-based Tool Integration";
Supervisor, Reviewer: G. Kappel, W. Retschitzegger; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 2008-04-21.

More information

Author: Horst Pichler
Other persons involved: Johann Eder; Gerti Kappel, E194-03

H. Pichler:
"Time Management for Workflow Systems";
Supervisor, Reviewer: J. Eder, G. Kappel; Uni Klagenfurt, 2007.

Author: Clemens Richter, E192-05
Other persons involved: Alexander Leitsch, E192-05; Matthias Baaz, E104-02

Clemens Richter:
"Proof Transformations by Resolution";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen 185-2, 2006; oral examination: 2006-07-04.

Author: Johannes Osrael, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Gerti Kappel, E194-03; Karl Michael Göschka, E194-02

J. Osrael:
"Replication Techniques for Balancing Data Integrity with Availability";
Supervisor, Reviewer: M. Jazayeri, G. Kappel, K. Göschka; Institut für Informationssysteme, AB Verteilte Systeme, 2007; oral examination: 2007-10-30.

Author: Lorenz Froihofer, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Carlo Ghezzi; Karl Michael Göschka, E194-02

L. Froihofer:
"Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints";
Supervisor, Reviewer: M. Jazayeri, C. Ghezzi, K. Göschka; Institut für Informationssysteme, AB Verteilte Systeme, 2007; oral examination: 2007-10-30.

Author: Stefan Hetzl, E192-05
Other persons involved: Alexander Leitsch, E192-05; Matthias Baaz, E104-02

S. Hetzl:
"Characteristic Clause Sets and Proof Transformations";
Supervisor, Reviewer: A. Leitsch, M. Baaz; Institut für Computersprachen E185/2, 2007; oral examination: 2007-06-14.

Author: Christian El Salloum, E191-01
Other persons involved: Hermann Kopetz, E191-01; Wolfgang Kastner, E191-03

C. El Salloum:
"Interface Design in the Time-Triggered System-on-Chip Architecture";
Supervisor, Reviewer: H. Kopetz, W. Kastner; Technische Informatik, 2008; oral examination: 2008-01-14.

Author: Xavier Urbain
Other persons involved: Bernhard Gramlich, E192-05; Michael Rusinowitch

X. Urbain:
"Approche Incrémentale des Preuves Automatiques de Terminaison";
Supervisor, Reviewer: B. Gramlich, M Rusinowitch; LRI, Orsay, France, 2001; oral examination: 2001-10-01.

Author: Benjamin Monate
Other persons involved: Hubert Comon, LSV, ENS Cachan; Bernhard Gramlich, E192-05

B. Monate:
"Propriétés Uniformes de Familles de Systèmes de Réécriture de Mots Paramétrées par des Entiers";
Supervisor, Reviewer: H. Comon, B. Gramlich; LRI, Orsay, France, 2002; oral examination: 2002-01-07.

Author: Olivier Fissore
Other persons involved: Bernhard Gramlich, E192-05; Jürgen Giesl, RWTH Aachen

O. Fissore:
"Terminaison de la réécriture sous stratégies";
Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03.

Author: Mirtha Lina Fernandez Venero
Other persons involved: Albert Rubio; Guillermo Godoy; Bernhard Gramlich, E192-05; Jean-Pierre Jouannaud; Salvador Lucas

M.L. Fernandez Venero:
"Termination of Rewriting with Non-Monotonic Orderings";
Supervisor, Reviewer: A. Rubio, G. Godoy, B. Gramlich, J.-P. Jouannaud, S. Lucas et al.; LSI, Universitat Politècnica de Catalunya, Barcelona, 2007; oral examination: 2007-05-23.

Author: Klaus Umschaden, E389-01
Other persons involved: Harmen R. van As, E389-01; Schahram Dustdar, E194-02

K. Umschaden:
"Signaling Security in Next Generation Networks";
Supervisor, Reviewer: H.R. van As, S. Dustdar; Institut für Breitbandkommunikation, 2007; oral examination: 2007-11-27.

Author: Rudolf Pailer
Other persons involved: Harmen R. van As, E389-01; Schahram Dustdar, E194-02

R. Pailer:
"Architecture and Design of Service Platforms for Next Generation Telecommunication Networks";
Supervisor, Reviewer: H.R. van As, S. Dustdar; Institut für Breitbandkommunikation, 2007; oral examination: 2007-11-27.

Author: Rene Heinzl, E360
Other persons involved: Siegfried Selberherr, E360; Werner Purgathofer, E193-02

R. Heinzl:
"Concepts for Scientific Computing";
Supervisor, Reviewer: S. Selberherr, W. Purgathofer; Institut für Mikroelektronik, 2007; oral examination: 2007-09-18.

More information

Author: Abdul Bais, E384
Other persons involved: Dietmar Dietrich, E384; Robert Sablatnig, E193-01

A. Bais:
"Real-Time Mobile Robot Self-Localization - A Stereo Vision Based Approach";
Supervisor, Reviewer: D. Dietrich, R. Sablatnig; Institut für Computertechnik, 2007; oral examination: 2007-06-04.

Author: Marion Murzek, E194-03
Other persons involved: Gerti Kappel, E194-03; Dimitris Karagiannis

M. Murzek:
"The Model Morphing Approach - Transforming Business Process Models";
Supervisor, Reviewer: G. Kappel, D. Karagiannis; Institut für Softwaretechnik und Interaktive Systeme, 2007.

More information

Author: Sabine Graf, E194-03
Other persons involved: Kinshuk; Gerti Kappel, E194-03

S. Graf:
"Adaptivity in Learning Management Systems focussing on Learning Styles";
Supervisor, Reviewer: Kinshuk, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-12-21.

More information

Author: Danijela Markovic, E193-01
Other persons involved: Margrit Gelautz, E193-01; Felix Breitenecker, E101-03

D. Markovic:
"Image Stylization from Stereo Views of Natural Scenes";
Supervisor, Reviewer: M. Gelautz, F. Breitenecker; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-03-20.

More information

Author: Elke Michlmayr, E194-03
Other persons involved: Gerti Kappel, E194-03; Wolfgang Nejdl

E. Michlmayr:
"Ant Algorithms for Self-Organization in Social Networks";
Supervisor, Reviewer: G. Kappel, W. Nejdl; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-12-21.

More information

Author: Markus Giegl, E193-02
Other persons involved: Werner Purgathofer, E193-02; Michael Wimmer, E193-02

M. Giegl:
"Practical Computer Graphics Research, Game Development and the European Game Tools Project";
Supervisor, Reviewer: W. Purgathofer, M. Wimmer; Institut für Computergraphik und Algorithmen, TU Wien, 2007; oral examination: 2007-06-12.

Author: Birgit Korherr, E194-03
Other persons involved: Gerti Kappel, E194-03; Christian Huemer, E194-03

B. Korherr:
"Business Process Modelling - Languages, Goals and Variabilities";
Supervisor, Reviewer: G. Kappel, C. Huemer; Institut für Softwaretechnik und Interaktive Systeme, 2007.

More information

Author: Nevena Stolba, E194-03
Other persons involved: A Min Tjoa, E194-01; Thomas Mück, E192-02

N. Stolba:
"Towards a Sustainable DWH Approach for Evidence-Based Healthcare";
Supervisor, Reviewer: A. Tjoa, T. Mück; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-11-20.

More information

Author: Veronika Stefanov, E194-01
Other persons involved: Gerti Kappel, E194-03; Juan Trujillo

V. Stefanov:
"Conceptual Models and Model-Based Business Metadata to Bridge the Gap between Data Warehouses and Organizations";
Supervisor, Reviewer: G. Kappel, J. Trujillo; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-12-04.

More information

Author: Andrea Schauerhuber, E194-03
Other persons involved: Gerti Kappel, E194-03; Werner Retschitzegger

A. Schauerhuber:
"aspectUWA - Applying Aspect-Orientation to the Model-Driven Development of Ubiquitous Web Applications";
Supervisor, Reviewer: G. Kappel, W. Retschitzegger; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-12-04.

More information

Author: Georg Zotti, E193-02
Other persons involved: Werner Purgathofer, E193-02; Alexander Wilkie, E193-02

G. Zotti:
"Computer Graphics in Historical and Modern Sky Observations";
Supervisor, Reviewer: W. Purgathofer, A Wilkie; Institut für Computergraphik und Algorithmen, TU Wien, 2007; oral examination: 2007-11-27.

More information

Author: Stephan Mantler
Other persons involved: Helwig Hauser, E193-02; Werner Purgathofer, E193-02

St. Mantler:
"Interactive Vegetation Rendering";
Supervisor, Reviewer: H. Hauser, W. Purgathofer; Institut für Computergraphik und Algorithmen, TU Wien, 2007; oral examination: 2007-03.

More information

Author: Nedim Mujezinovic, E192-01
Other persons involved: Günther Raidl, E192-01; F. Eisenhaber

N. Mujezinovic:
"Improved Protein Identification After Fast Elimination of Non-Interpretable Peptide MS/MS Spectra and Noise Reduction";
Supervisor, Reviewer: G. Raidl, F. Eisenhaber; Institut für Computergraphik und Algorithmen, TU Wien, 2007; oral examination: 2007-05.

More information

Author: Christiane Ulbricht, E193-02
Other persons involved: Werner Purgathofer, E193-02; Alexander Wilkie, E193-02

C. Ulbricht:
"Usability of Digital Cameras for Verifying Physically Based Rendering Systems";
Supervisor, Reviewer: W. Purgathofer, A Wilkie; Institut für Computergraphik und Algorithmen, TU Wien, 2007; oral examination: 2007-01-16.

More information

Author: Alime Öztürk, E194-01
Other persons involved: Silvia Miksch, E193-07; Christian Popow

A. Öztürk:
"Embedding the Evidence Information in Computer-Supported Guidelines into the Decision-Making Process";
Supervisor, Reviewer: S. Miksch, C. Popow; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-06-26.

More information

Author: Wolfgang Gatterbauer, E192-02
Other persons involved: Georg Gottlob, E192; Reinhard Pichler, E192-02

W. Gatterbauer:
"Contributions to Large-Scale Information Acquisition from the Web";
Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-09-25.

Author: Martina Seidl
Other persons involved: Uwe Egly, E192-03; Stefan Woltran, E192-03

M. Seidl:
"A Solver for Quantified Boolean Formulas in Negation Normal Form";
Supervisor, Reviewer: U. Egly, S. Woltran; Institut für Informationssysteme, 2007; oral examination: 2007-03-20.

Author: Christian Schallhart
Other persons involved: Georg Gottlob, E192; Helmut Veith, E192-04

C. Schallhart:
"Architecture and Security in Networked Virtual Environments";
Supervisor, Reviewer: G. Gottlob, H. Veith; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-06-12.

Author: Klaus A. Brunner, E259-03
Other persons involved: Gertrude Kappel; Ardeshir Mahdavi, E259-03; Schahram Dustdar, E194-02

K. A. Brunner:
"The Design of a Building Model Service";
Supervisor, Reviewer: G. Kappel, A. Mahdavi, S. Dustdar; Institur für Architekturwissenschaften, Abteilung Bauphysik und Bauökologie, 2007; oral examination: 2007-04-25.

More information

Author: Markus Rester, E193-05
Other persons involved: Margit Pohl, E193-05; Christian Popow

M. Rester:
"Zur Evaluierung explorativer Informationsvisualisierung";
Supervisor, Reviewer: M. Pohl, C. Popow; Insitut für Gestaltungs- und Wirkungsforschung, 2007; oral examination: 2007-04-24.

More information

Author: Wilfried Wessner, E360
Other persons involved: Siegfried Selberherr, E360; Werner Purgathofer, E193-02

W. Wessner:
"Mesh Refinement Techniques for TCAD Tools";
Supervisor, Reviewer: S. Selberherr, W. Purgathofer; Institut für Mikroelektronik, 2007; oral examination: 2007-01-09.

More information

Author: Ingo Feinerer, E192-05
Other persons involved: Gernot Salzer, E192-05; Gerti Kappel, E194-03

I. Feinerer:
"A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management";
Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23.

More information

Author: Klaus Steinhammer, E191-01
Other persons involved: Hermann Kopetz, E191-01; Richard Eier, E384

K. Steinhammer:
"Design of an FPGA-Based Time-Triggered Ethernet System";
Supervisor, Reviewer: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16.

More information

Author: Doris C. Rusch, E193-05
Other persons involved: Ruth Wodak; Martin Hitz

D. Rusch:
"Online-Journalismus. Von den Möglichkeiten der Web-Inszenierung zum audio-visuellen Gesamtereignis am Beispiel online-journalistischer Kulturberichterstattung in Österreich und den USA";
Supervisor, Reviewer: R. Wodak, M. Hitz; Institut für Angewandte Sprachwissenschaft, 2006.

More information

Author: Viktor Zigo, E192-02
Other persons involved: Georg Gottlob, E192; Gerti Kappel, E194-03

V. Zigo:
"A Light-weight Processing Model for Interactive Web Information Acquisition";
Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16.

Author: Kurt Reichinger, E192-02
Other persons involved: Georg Gottlob, E192; Jürgen Dorn, E192-02

K. Reichinger:
"Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web";
Supervisor, Reviewer: G. Gottlob, J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16.

Author: Marjo Rauhala, E193-05
Other persons involved: Anselm Eder; Päivi Topo

M. Rauhala:
"Assistive Technology Development, User Involvement, and Ethics: A Case Study";
Supervisor, Reviewer: A. Eder, P. Topo; Institut für Soziologie, Universität Wien, 2006; oral examination: 2006-10-25.

Author: Canan Yildiz, E192-01
Other persons involved: Petra Mutzel, E192-01; Wilhelm Barth, E193-02

C Yildiz:
"Knickminimales orthogonales Zeichnen planarer Graphen im Kandinsky Modell.";
Supervisor, Reviewer: P. Mutzel, W. Barth; Institut für Computergraphik und Algorithmen, 2006; oral examination: 2006-01.

Author: Qiong Cai
Other person involved: Jens Knoop, E194-05

Q. Cai:
"Profile-Guided Redundancy Elimination";
Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2006; oral examination: 2006-07.

Author: Andreas Hartmann
Other person involved: Jens Knoop, E194-05

A. Hartmann:
"Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen";
Supervisor, Reviewer: J. Knoop; Friedrich-Schiller-Universität Jena, Deutschland, 2006; oral examination: 2006-07.

Author: Ursula Scheben
Other person involved: Jens Knoop, E194-05

U. Scheben:
"Simplifying and Unifying Composition for Industrial Component Models";
Supervisor, Reviewer: J. Knoop; FernUniversität in Hagen, Deutschland, 2006; oral examination: 2006-11.

Author: Ingomar Wenzel, E191-01
Other persons involved: Peter Puschner, E191-01; Jens Knoop, E194-05

I. Wenzel:
"Measurement-Based Timing Analysis of Superscalar Processors";
Supervisor, Reviewer: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16.

Author: Gisela Klette
Other persons involved: Walter Kropatsch, E193-03 [193-03]; M. Vento; J. Roerdink

G. Klette:
"Topologic, Geometric, or Graph-Theoretic Properties of Skeletal Curves";
Supervisor, Reviewer: W. Kropatsch, M. Vento, J. Roerdink; Faculty of Mathematics and natural Sciences, Univ, Groningen, 2007.

Author: Denis Arrivault
Other persons involved: Walter Kropatsch, E193-03 [193-03]; N. Vincent

D. Arrivault:
"Apport des Graphes dans la Reconnaisance Non-Contrainte de Caracteres Manuscrits Anciens";
Supervisor, Reviewer: W. Kropatsch, N. Vincent; Universite de Poitiers, 2006.

Author: Jaka Krivic
Other persons involved: Franc Solina; Robert Sablatnig, E193-01; Ales Jaklic

J. Krivic:
"Segmentation and 3D tracking of superquadric modeled objects";
Supervisor, Reviewer: F. Solina, R. Sablatnig, A. Jaklic; University of Ljubljana, Faculty of Computer and Information Science, 2006; oral examination: 2006-06-30.

Author: Torsten Gipp
Other persons involved: Jürgen Ebert; Gerti Kappel, E194-03

T. Gipp:
"Functional Web Site Specification";
Supervisor, Reviewer: J. Ebert, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2006.

Author: Oliver Frölich
Other persons involved: Georg Gottlob, E192; Gerti Kappel, E194-03

O. Frölich:
"Optimierung von Geschäftsprozessen durch integrierte Wrapper-Technologien mit Anwendungsbeispielen aus den Bereichen Mobile Services, Competitive Intelligence und dem Verlagswesen";
Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2006; oral examination: 2006-03-14.

Author: Qibin Feng, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

Q. Feng:
"Agent-Based Distributed Measurement System in Advanced Manufacturing";
Supervisor, Reviewer: D. Dietrich, W. Kastner; Institut für Computertechnik, 2006; oral examination: 2006-11-22.

Author: Manfred Weihs, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

M. Weihs:
"Convergence of Real-Time Audio and Video Streaming Technologies";
Supervisor, Reviewer: D. Dietrich, W. Kastner; Institut für Computertechnik, 2006; oral examination: 2006-11-15.

Author: Yll Haxhimusa, E193-03 [193-03]
Other person involved: Walter Kropatsch, E193-03 [193-03]

Y. Haxhimusa:
"Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning";
Supervisor, Reviewer: W. Kropatsch; Institut für Rechnergestützte Automation E183-2, 2006.

Author: Konrad Pfadenhauer, E311-01-3
Other persons involved: Burkhard Kittl, E311-01-3; Schahram Dustdar, E194-02

K. Pfadenhauer:
"Model Driven Service Architecture for the Shop Floor";
Supervisor, Reviewer: B. Kittl, S. Dustdar; E311, E184, 2006; oral examination: 2006-06-12.

More information

Author: Matus Straka
Other person involved: Milos Sramek, E193-02

M. Straka:
"Processing and Visualization of Peripheral CT-Angiography Datasets";
Supervisor, Reviewer: M. Sramek; Institut für Computergraphik und Algorithmen, 2006.

More information

Author: Matej Mlejnek, E193-02
Other person involved: Eduard Gröller, E193-02

M. Mlejnek:
"Medical Visualization for Orthopedic Applications";
Supervisor, Reviewer: E. Gröller; Institut für Computergraphik und Algorithmen, 2006.

More information

Author: Alexandra LaCruz, E193-02
Other person involved: Eduard Gröller, E193-02

A. LaCruz:
"3D Modelling and Reconstruction of Peripheral Vascular Structure";
Supervisor, Reviewer: E. Gröller; Institut für Computergraphik und Algorithmen, 2006; oral examination: 2006.

More information

Author: Hannes Stratil, E191-02
Other person involved: Ulrich Schmid, E191-02

H. Stratil:
"Advantages and Limitations of Position-based Communication in Wireless Ad-hoc Networks";
Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005.

More information

Author: Martin Hutle, E191-02
Other person involved: Ulrich Schmid, E191-02

M. Hutle:
"Failure Detection in Sparse Networks";
Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005.

More information

Author: Babak Rahbaran, E191-02
Other persons involved: Andreas Steininger, E191-02; Richard Eier, E384

B. Rahbaran:
"An Experimental Comparison of Robustness between Synchronous and Asynchronous Logic Design";
Supervisor, Reviewer: A. Steininger, R. Eier; Technische Informatik, E182/2, 2005; oral examination: 2005.

Author: Wolfgang Huber, E191-02
Other persons involved: Andreas Steininger, E191-02; Richard Eier, E384

W. Huber:
"Design of an Asynchronous Processor Based on Code Alternation Logic - Exploration of Delay Insensitivity";
Supervisor, Reviewer: A. Steininger, R. Eier; Technische Informatik, E182/2, 2005; oral examination: 2005.

More information

Author: Martin Schöberl, E191-02
Other persons involved: Andreas Steininger, E191-02; Peter Puschner, E191-01

M. Schöberl:
"JOP: A Java Optimized Processor for Embedded Real-Time Systems";
Supervisor, Reviewer: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005.

More information

Author: Martin Auer, E194-01
Other person involved: Stefan Biffl, E194-01

M. Auer:
"Analogy-Based Cost Estimation: Increasing Explicability, Effectiveness and Efficiency";
Supervisor, Reviewer: S. Biffl; Institute of Software Technology and Interactive Systems, 2004; oral examination: 2004.

Author: Seyed-Mohsen Ekssir-Monfared 
Other persons involved: Wolfgang Hofkirchner, E193-05; Karl R. Wernhart

S. Ekssir-Monfared :
"Auswirkungen moderner Technologien auf die kulturelle Entwicklung der iranischen Gesellschaft ";
Supervisor, Reviewer: W. Hofkirchner, K. Wernhart; 187, 2005; oral examination: 2005-04-19.

More information

Author: István Barakonyi, E193-06
Other persons involved: Dieter Schmalstieg, E193-06; Andreas Butz

I. Barakonyi:
"Ubiquitous Animated Agents for Augmented Reality";
Supervisor, Reviewer: D. Schmalstieg, A. Butz; Institut für Softwaretechnik und Interaktive Systeme 188/2, 2006; oral examination: 2006-10-31.

More information

Author: Hans Moritsch
Other person involved: Gerti Kappel, E194-03

H. Moritsch:
"High Performance Computing in Finance - On the Parallel Implementation of Pricing and Optimization Models";
Supervisor, Reviewer: G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2006.

More information

Author: Gerhard Kramler, E194-03
Other person involved: Gerti Kappel, E194-03

G. Kramler:
"Model Driven Development of Inter-organizational Workflows";
Supervisor, Reviewer: G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2004.

More information

Author: Wolfgang Hoschek
Other persons involved: Gerti Kappel, E194-03; Erich Schikuta

W. Hoschek:
"A Univied Peer-to-Peer Database Framework for XQueries over Dynamic Distributed Content and its Application for Scalable Service Discovery";
Supervisor, Reviewer: G. Kappel, E. Schikuta; Institut für Softwaretechnik und Interaktive Systeme, 2002.

More information

Author: Martin Bernauer, E194-03
Other persons involved: Gerti Kappel, E194-03; M. Schrefl

M. Bernauer:
"Maintaining Consistency of Data on the Web";
Supervisor, Reviewer: G. Kappel, M. Schrefl; Institut für Softwaretechnik und Interaktive Systeme, 2005.

More information

Author: Michael Bleyer, E193-01
Other persons involved: Margrit Gelautz, E193-01; Markus Vincze, E376

M. Bleyer:
"Segmentation-based Stereo and Motion with Occlusions";
Supervisor, Reviewer: M. Gelautz, M. Vincze; Institute for Software Technology and Interactive Systems - Interactive Media Systems Group, 2006.

More information

Author: Wolfgang Aigner, E193-07
Other persons involved: Silvia Miksch, E193-07; Heidrun Schumann

W. Aigner:
"Visualization of Time and Time-Oriented Information: Challenges and Conceptual Design";
Supervisor, Reviewer: S. Miksch, H. Schumann; Institute of Software Technology & Interactive Systems, 2006.

More information

Author: Albert Rainer
Other persons involved: Jürgen Dorn, E192-02; K.A. Fröschl

A. Rainer:
"Web Service Composition using Logic Programming";
Supervisor, Reviewer: J. Dorn, K. Fröschl; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006.

Author: Rami El-Berry
Other persons involved: Jürgen Dorn, E192-02; Günther Raidl, E192-01

R. El-Berry:
"Selbstausrichtende Prozesse - Elemente der Künstlichen Intelligenz im Geschäftsmanagement";
Supervisor, Reviewer: J. Dorn, G. Raidl; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006.

Author: Peter Hrastnik
Other persons involved: Jürgen Dorn, E192-02; W. Winiwarter

P. Hrastnik:
"Integration of Transaction Management in Web Service Orchestrations";
Supervisor, Reviewer: J. Dorn, W. Winiwarter; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006.

Author: Ondrej Jaura, E192-02
Other persons involved: Georg Gottlob, E192; Robert Baumgartner, E192-02

O. Jaura:
"A Scalable Special - Purpose Metasearch Engine";
Supervisor, Reviewer: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006; oral examination: 2006-06-20.

Author: José Aldo Díaz Prado
Other persons involved: Georg Gottlob, E192; Reinhard Pichler, E192-02

J. A. Díaz Prado:
"Business Intelligence in the Logistic Domain using Visual Information Extraction";
Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006; oral examination: 2006-04-26.

Author: Vedran Kordic
Other persons involved: Branko Katalinic, E311-01; Uwe Egly, E192-03

V. Kordic:
"Arbeitszenarien und Optimierung von Abläufen und Steuerung von selbstorganisierenden Bionic Assembly System in CIM Umgebung";
Supervisor, Reviewer: B. Katalinic, U. Egly; Institut für Fertigungstechnik, 2004.

Author: Andreas Dünser, E193-06

A. Dünser:
"Trainierbarkeit der Raumvorstellung mit Augmented Reality"; Institut für Psychologie, 2005.

Author: Peter Judmaier, E193-05
Other person involved: Margit Pohl, E193-05

P. Judmaier:
"Konzept und Umsetzung eines eLearning-Kurses für die berufsbegleitende Erwachsenenbildung";
Supervisor, Reviewer: M. Pohl; Institut für Gestaltungs- und Wirkungsforschung, 2005.

Author: Ricki Koinig
Other persons involved: Margit Pohl, E193-05; Gerald Futschek, E194-01

R. Koinig:
"E-learning for the Austrian Pharmacy Apprentice: A Comparative Study of Linear Text vs. Hypermedia Interface Program Design and Delivery";
Supervisor, Reviewer: M. Pohl, G. Futschek; Institut für Gestaltungs- und Wirkungsforschung, 2005.

Author: Jakob Puchinger
Other persons involved: Günther Raidl, E192-01; Ulrich Pferschy, E192-01

J. Puchinger:
"Combining Metaheuristics and Integer Programming for Solving Cutting and Packing Problems.";
Supervisor, Reviewer: G. Raidl, U. Pferschy; Institut für Computergraphik und Algorithmen, 2006; oral examination: 2006-01.

Author: Thomas Fuerle
Other person involved: Thomas Grechenig, E194-03

Th. Fuerle:
"Design and Implementation of an Autonomous, Distributed Raid System with a XML Meta Definition Language";
Supervisor, Reviewer: T. Grechenig; 183/1, 2005.

Author: Philipp Peti, E191-01
Other persons involved: Hermann Kopetz, E191-01; Wolfgang Kastner, E191-03

P. Peti:
"Diagnosis and Maintenance in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2005.

Author: André Neubauer
Other persons involved: Eduard Gröller, E193-02; Katja Bühler

A. Neubauer:
"Virtual Endoscopy for Preoperative Planning and Training of Endonasal Transsphenoidal Pituitary Surgery";
Supervisor, Reviewer: E. Gröller, K. Bühler; Institut für Computergraphik und Algorithmen, 2005.

More information

Author: Ivan Viola, E193-02
Other person involved: Eduard Gröller, E193-02

I. Viola:
"Importance-Driven Expressive Visualization";
Supervisor, Reviewer: E. Gröller; Institut für Computergraphik und Algorithmen, 2005.

More information

Author: Stefan Jeschke, E193-02
Other person involved: Heidrun Schumann

St Jeschke:
"Accelerating the Rendering Process Using Impostors";
Supervisor, Reviewer: H. Schumann; Institut für Computergraphik und Algorithmen, 2005.

More information

Author: Soeren Grimm
Other person involved: Eduard Gröller, E193-02

S Grimm:
"Real-Time Mono- and Multi-Volume Rendering of Large Medical Datasets on Standard PC Hardware";
Supervisor, Reviewer: E. Gröller; Institut für Computergraphik und Algorithmen, 2005.

More information

Author: Katharina Kaiser, E193-06
Other persons involved: Silvia Miksch, E193-07; Andreas Rauber, E194-01

K. Kaiser:
"LASSIE - Modeling Treatment Processes Using Information Extraction";
Supervisor, Reviewer: S. Miksch, A. Rauber; Institut für Softwaretechnik und Interaktive Systeme, 2005.

More information

Author: Manh Tho Nguyen, E194-01
Other person involved: A Min Tjoa, E194-01

M. Nguyen:
"Zero-Latency Data Warehousing: Toward a Zero Latency Event Sensing and Responding Data Warehousing";
Supervisor, Reviewer: A. Tjoa; Institute of Software Technology and Interactive System, 2005; oral examination: 2005-09-08.

More information

Author: Gerald Ledermüller
Other persons involved: Georg Gottlob, E192; Reinhard Pichler, E192-02

G. Ledermüller:
"Requirements andSystem Design for Next Generation Web Data Extraction and Integration";
Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2005; oral examination: 2005-11-22.

Author: Gerald Reif, E194-02
Other persons involved: Harald Gall, UZH; Mehdi Jazayeri, E194-02

G. Reif:
"WEESA - Web Engineering for Semantic Web Applications";
Supervisor, Reviewer: H. Gall, M. Jazayeri; Institut für Informationssysteme, 2005.

More information

Author: Michal Ceresna, E192-02
Other persons involved: Georg Gottlob, E192; Christoph Koch, E192-02

M. Ceresna:
"Supervised Learning of Wrappers from Structured Data Sources";
Supervisor, Reviewer: G. Gottlob, C. Koch; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2005; oral examination: 2005-06-21.

Author: Idriz Smaili, E191
Other persons involved: Peter Puschner, E191-01; Uwe Egly, E192-03

I. Smaili:
"Real-Time Monitoring for the Time-Triggered Architecture";
Supervisor, Reviewer: P. Puschner, U. Egly; Institut für Technische Informatik, 2004.

More information

Author: Michael Zeiller
Other persons involved: Werner Purgathofer, E193-02; Frank Rattay, E101-03

M Zeiller:
"Collision detection for complex objects in computer animation";
Supervisor, Reviewer: W. Purgathofer, F. Rattay; 186, 1994.

Author: Steffen Bittner, E120-02
Other persons involved: Andrew U. Frank, E120-02; Thomas Eiter, E192-03

S. Bittner:
"An Agent-Based Model of Reality in a Cadastre";
Supervisor, Reviewer: A. Frank, T. Eiter; Institut für Geoinformation und Landesvermessung, 2001.

Author: Ivana Ljubic
Other person involved: Petra Mutzel, E192-01

I. Ljubic:
"Exact and Memetic Algorithms for Two Network Design Problems";
Supervisor, Reviewer: P. Mutzel; Institut für Computergraphik und Algorithmen, 2004.

Author: Bernd Burgstaller
Other persons involved: Johann Blieberger, E191-03; Bernhard Gramlich, E192-05

B. Burgstaller:
"Symbolic Evaluation of Imperative Programming Languages";
Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005.

Author: Martin Delvai, E191-02
Other persons involved: Andreas Steininger, E191-02; Richard Eier, E384

M. Delvai:
"Design of an Asynchronous Processor Based on Code Alternation Logic - Treatment of Non-Linear Data Paths";
Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik / Embedded Computing Systems, 2005.

More information

Author: Josef Widder, E191-02
Other persons involved: Ulrich Schmid, E191-02; Mehdi Jazayeri, E194-02

J. Widder:
"Distributed Computing in the Presence of Bounded Asynchrony";
Supervisor, Reviewer: U. Schmid, M. Jazayeri; Institut für Technische Informatik / Embedded Computing Systems, 2004.

Author: Roman Obermaisser, Universität Siegen
Other persons involved: Hermann Kopetz, E191-01; Wolfgang Kastner, E191-03

R. Obermaisser:
"An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms";
Supervisor, Reviewer: H. Kopetz, W. Kastner; 182, 2003.

Author: Christopher Krügel, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Wolfgang Kastner, E191-03

C. Krügel:
"Network Alertness -- Towards an adaptive, collaborating Intrusion Detectcion";
Supervisor, Reviewer: M. Jazayeri, W. Kastner; 184, 2002.

Author: Stefan Soucek, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

S. Soucek:
"Control Data over IP -- A Tunneling Approach using EIA-709.1";
Supervisor, Reviewer: D. Dietrich, W. Kastner; 384, 2002.

Author: Peter Skiczuk, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

P. Skiczuk:
"Network Protocol Architecture for Home Access Points";
Supervisor, Reviewer: D. Dietrich, W. Kastner; 384, 2002.

Author: Claudio Riva
Other person involved: Mehdi Jazayeri, E194-02

C. Riva:
"View based software architecture reconstruction";
Supervisor, Reviewer: M. Jazayeri; 184/1, 2004.

Author: Roman Kurmanowytsch, E194-02
Other person involved: Mehdi Jazayeri, E194-02

R. Kurmanowytsch:
"Ommix: an open peer to peer middleware framework";
Supervisor, Reviewer: M. Jazayeri; 184/1, 2004.

Author: Radu Prodan
Other persons involved: Thomas Fahringer; Johann Blieberger, E191-03

R. Prodan:
"Experiment Management, Performance Optimisation, and Tool Integration in Grid Computing";
Supervisor, Reviewer: T. Fahringer, J. Blieberger; Institut für Informatik, Leopold-Franzens Universität Innsbruck, 2004.

Author: Marko Samer, E192-02
Other persons involved: Helmut Veith, E192-04; Georg Gottlob, E192

M. Samer:
"Reasoning about Specifications in Model Checking";
Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, 2004.

Author: Armin Kanitsar
Other person involved: Eduard Gröller, E193-02

A. Kanitsar:
"Curved Planar Reformation for Vessel Visualization";
Supervisor, Reviewer: E. Gröller; Institut für Computergraphik und Algorithmen, 2004.

More information

Author: Alessandro Artusi
Other persons involved: Werner Purgathofer, E193-02; Alexander Wilkie

A. Artusi:
"Real time tone Mapping";
Supervisor, Reviewer: W. Purgathofer, A. Wilkie; Institut für Computergraphik und Algorithmen, 2004.

More information

Author: Markus Hadwiger
Other persons involved: Eduard Gröller, E193-02; Helwig Hauser, E193-02

M. Hadwiger:
"High-Quality Visualization and Filtering of Textures and Segmented Volume Data on Consumer Graphics Hardware";
Supervisor, Reviewer: E. Gröller, H. Hauser; Institut für Computergraphik und Algorithmen, 2004.

More information

Author: Wolfgang Zuser, E194-03
Other person involved: Thomas Grechenig, E194-03

W. Zuser:
"Zur Persönlichkeit von Software Ingenieuren als Grundlage für die Bildung und Führung effektiver Software-Entwicklungsteams";
Supervisor, Reviewer: T. Grechenig; 183, 2004.

Author: Christian Brem
Other person involved: Thomas Grechenig, E194-03

C. Brem:
"Angriffe auf die Integrität und Souveränität betrieblicher Informationssysteme und deren Abwehr";
Supervisor, Reviewer: T. Grechenig; 183, 2004.

Author: Gerhard Reitmayr, E193-06
Other persons involved: Dieter Schmalstieg, E193-06; Gudrun Klinker

G. Reitmayr:
"On Software Design for Augmented Reality";
Supervisor, Reviewer: D. Schmalstieg, G. Klinker; Institute for Software Technology and Interactive Systems, 2004.

More information

Author: Robert Smeikal, E384
Other persons involved: Richard Eier, E384; Mehdi Jazayeri, E194-02

R. Smeikal:
"Trading Consistency for Availability in a Replicated System";
Supervisor, Reviewer: R. Eier, M. Jazayeri; Institut für Computertechnik, 2004.

Author: Wolfgang Schützelhofer
Other persons involved: Richard Eier, E384; Gerti Kappel, E194-03

W. Schützelhofer:
"A Semantic-Meta-Model for the Formal Specification and Verification of Business-Domains with XML";
Supervisor, Reviewer: R. Eier, G. Kappel; Institut für Computertechnik, 2004.

Author: Michael Ziehensack, E384
Other persons involved: Dietmar Dietrich, E384; Wolfgang Kastner, E191-03

M. Ziehensack:
"Dynamische Kopplung von Gerätenetzwerken im Heimbereich";
Supervisor, Reviewer: D. Dietrich, W. Kastner; Institut für Computertechnik, 2004.

Author: Martin Horauer
Other persons involved: Richard Eier, E384; Ulrich Schmid, E191-02

M. Horauer:
"Clock Synchronization in Distributed Systems";
Supervisor, Reviewer: R. Eier, U. Schmid; Institut für Computertechnik, 2004.

Author: Eva Hornecker, E193-04

E. Hornecker:
"Tangible User Interfaces als kooperationsunterstützendes Medium"; Forschungszentrum Arbeit Umwelt Technik, Universität Bremen, 2004.

More information

Author: Alexander Reiterer, E120-05
Other persons involved: Heribert Kahmen, E120-05; Thomas Eiter, E192-03

A. Reiterer:
"A Knowledge-Based Decision System for an On-Line Videotheodolite-Based Multisensor System";
Supervisor, Reviewer: H. Kahmen, T. Eiter; Institut für Geodäsie und Geophysik, 2004.

More information

Author: Hannes Kaufmann, E193-02
Other persons involved: Dieter Schmalstieg, E193-06; Michael Wagner, E104-03; Mark Billinghurst

H. Kaufmann:
"Geometry Education with Augmented Reality";
Supervisor, Reviewer: D. Schmalstieg, M. Wagner, M. Billinghurst; Institut für Softwartechnik und Interaktive Systeme, 2004.

More information

Author: Stefan Jungmayr
Other persons involved: Hans-Werner Six; Gerald Futschek, E194-01

S. Jungmayr:
"Improving Testability of Object-Oriented Systems";
Supervisor, Reviewer: H.-W. Six, G. Futschek; 188, 2003.

Author: Stefan Katzenbeisser, E192-02
Other persons involved: Helmut Veith, E192-04; Georg Gottlob, E192

S. Katzenbeisser:
"Cryptographic Watermarking";
Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004.

More information

Author: Frank Seelisch
Other person involved: Georg Gottlob, E192

F. Seelisch:
"Constraint Solving for Model-based Engineering Applications using Relational Aggrigation";
Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004.

Author: Thomas Korimort
Other person involved: Georg Gottlob, E192

T. Korimort:
"Heuristic Hypertree Decomposition";
Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

Author: Evelyn Fütty
Other person involved: Georg Gottlob, E192

E. Fütty:
"A machine translation system based on the interlingua method, using ESPERANTO as the interlingua, in conbination with sentence patterns";
Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

Author: Michael Halling
Other person involved: Stefan Biffl, E194-01

M. Halling:
"Supporting Management Decisions in the Software Inspection Process";
Supervisor, Reviewer: S. Biffl; E188 Softwaretechnik und Interaktive Systeme, 2002.

Author: Bernhard Ömer
Other persons involved: Karl Svozil, E136; Uwe Egly, E192-03

B. Ömer:
"Structured Quantum Programming";
Supervisor, Reviewer: K. Svozil, U. Egly; Institut für Theoretische Physik, 2003.

Author: Alexander Schatten, E194-01
Other persons involved: A Min Tjoa, E194-01; Stefan Biffl, E194-01

A. Schatten:
"Sustainable Web-Based Organisation of Project Related Information and Knowledge";
Supervisor, Reviewer: A. Tjoa, S. Biffl; 188, 2003.

Author: Monika Lanzenberger, E194-01
Other persons involved: Silvia Miksch, E193-07; Margit Pohl, E193-05

M. Lanzenberger:
"The Interactive Stardinates An Information Visualization Technique Applied in a Multiple View System";
Supervisor, Reviewer: S. Miksch, M. Pohl; Institut für Softwaretechnik und Interaktive Systeme, 2003.

More information

Author: Marion Oswald, E192-05
Other person involved: Rudolf Freund, E192-05

M. Oswald:
"P Automata";
Supervisor, Reviewer: R. Freund; Institut für Computersprachen, 185, 2003.

Author: Wolfgang L. Gruber
Other persons involved: Johann Eder; Gerti Kappel, E194-03

W. Gruber:
"Modeling and Transformation of Workflows with Temporal Constraints";
Supervisor, Reviewer: J. Eder, G. Kappel; Institut für Informatik-Systeme (350), 2003.

Author: Axel Florian Polleres, E192-03
Other persons involved: Thomas Eiter, E192-03; Georg Gottlob, E192

A. Polleres:
"Advances in Answer Set Planning";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2003.

More information

Author: Wolfgang Radinger, E384
Other persons involved: Richard Eier, E384; Mehdi Jazayeri, E194-02

W. Radinger:
"An Examination of Processes for Software Component Engineering and Integration";
Supervisor, Reviewer: R. Eier, M. Jazayeri; Institut für Computertechnik, 2003.

Author: Stefan Woltran, E192-03
Other person involved: Uwe Egly, E192-03

S. Woltran:
"Quantified Boolean Formulas - From Theory to Practice";
Supervisor, Reviewer: U. Egly; Institut fuer Informationssysteme, 2003.

Author: Martin Kampel, E193-01

M. Kampel:
"3D Mosaicing of Fractured Surfaces"; Institut f. rechnergestützte Automation, AG f. Mustererkennung und Bildverarbeitung, 2003.

Author: Helmut Berger
Other person involved: Dieter Merkl, E191-03

H. Berger:
"Activation on the Move: Adaptive Information Retrieval via Spreading Activation";
Supervisor, Reviewer: D. Merkl; 183, 2003.

Author: Peter Messner
Other person involved: Thomas Grechenig, E194-03

P. Messner:
"Usability Engineering Environments: A Comprehensive and Integrated Approach to Support Configurable Usability Engineering Processes";
Supervisor, Reviewer: T. Grechenig; 183, 2003.

Author: Larissa Naber, E194-01
Other person involved: Thomas Grechenig, E194-03

L. Naber:
"e-ULE - e-Usable Learning Environment: Reconciling student needs and lecturer requirements";
Supervisor, Reviewer: T. Grechenig; 183, 2003.

Author: Christoph Falk
Other person involved: Thomas Grechenig, E194-03

C. Falk:
"Etablierung des Software Engineerings im Embedded Bereich zur Erhöhung der Software Qualität am Beispiel der Dieselmotorsteuergeräte-Entwicklung";
Supervisor, Reviewer: T. Grechenig; 183, 2003.

Author: Michael Dittenbach
Other person involved: Dieter Merkl, E191-03

M. Dittenbach:
"Mining Semantics from Text: A Connectionist Approach to Ontology Enhancement for a Tourism Information System";
Supervisor, Reviewer: D. Merkl; 183, 2003.

Author: Paul Smutny, E384
Other persons involved: Richard Eier, E384; Mehdi Jazayeri, E194-02

P. Smutny:
"Commercial Off-the-Shelf Computer Technology for Safety Critical Voice Communication Systems";
Supervisor, Reviewer: R. Eier, M. Jazayeri; Institut für Computertechnik, 2003.

Author: Thomas Gschwind, E194-02

T. Gschwind:
"Adaptation and Composition Techniques for Component-Based Software Engineering"; Institut für Informationssysteme, 2002.

Author: Thomas Toth, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Wolfgang Kastner, E191-03

T. Toth:
"Improving Intrusion Detection Systems";
Supervisor, Reviewer: M. Jazayeri, W. Kastner; Institut fuer Informationssysteme, 2003.

Author: Engin Kirda, E194-02
Other person involved: Mehdi Jazayeri, E194-02

E. Kirda:
"Engineering Device-Independent Web Services: An XML/XSL-based approach to creating flexible and extensible multi-device services";
Supervisor, Reviewer: M. Jazayeri; 184-1, 2002.

Author: Pascal Fenkam, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Cliff B. Jones

P. Fenkam:
"A Systematic Approach to the Development of Event-Based Applications";
Supervisor, Reviewer: M. Jazayeri, C. Jones; Institut für Informationssysteme, 2003.

More information

Author: Clemens Kerer, E194-02
Other persons involved: Mehdi Jazayeri, E194-02; Gerti Kappel, E194-03

C. Kerer:
"XGuide - Concurrent Web Development with Contracts";
Supervisor, Reviewer: M. Jazayeri, G. Kappel; Institut für Informationssysteme, 2003.

More information

Author: Klaus Schossmaier, E191-03
Other person involved: Ulrich Schmid, E191-03

K. Schossmaier:
"Interval-based Clock State and Rate Synchronization";
Supervisor, Reviewer: U. Schmid; Institut für Automation, 1998.

Author: Stefan Stöckler, E191-03
Other persons involved: Ulrich Schmid, E191-03; Gerhard-Helge Schildt, E191-03

S. Stöckler:
"Event-Based Monitoring of Distributed Real-Time Systems";
Supervisor, Reviewer: U. Schmid, G. Schildt; Institut für Automation, 1994.

Author: Alexander Redlein, E191-03
Other person involved: Gerhard-Helge Schildt, E191-03

A. Redlein:
"Erfolgsfaktoren für den Einsatz von CAD im Architektursektor";
Supervisor, Reviewer: G. Schildt; Institut für Automation, 1997.

Author: Gunter Leeb
Other person involved: Gerhard-Helge Schildt, E191-03

G. Leeb:
"Configuration Management in Home Systems";
Supervisor, Reviewer: G. Schildt; Institut für Automation, 1998.

Author: Maximilian Ochensthaler
Other person involved: Gerhard-Helge Schildt, E191-03

M. Ochensthaler:
"Die multifunktionelle Softwareplattform als Integrationsbasis verteilter HomeNet-Applikationen";
Supervisor, Reviewer: G. Schildt; Institut für Automation, 1998.

Author: Atilla Bezirgan, E191-03
Other person involved: Gerhard-Helge Schildt, E191-03

A. Bezirgan:
"Gedächtnisbasierte Fertigungsplanung";
Supervisor, Reviewer: G. Schildt; Institut für Automation, 1993.

Author: Wolfgang Kastner, E191-03
Other person involved: Gerhard-Helge Schildt, E191-03

W. Kastner:
"Spezifikation und Verifikation eines zeitbasierenden Protokolls";
Supervisor, Reviewer: G. Schildt; Institut für Automation, 1996.

Author: Anna Prianichnikova
Other person involved: Jürgen Dorn, E192-02

A. Prianichnikova:
"Preemtive Scheduling in real time systems with cyclic precedence constraints";
Supervisor, Reviewer: J. Dorn; Institut für Informationssysteme, 2003.

More information

Author: Christian Fuchs, E193-05
Other person involved: Wolfgang Hofkirchner, E193-05

C. Fuchs:
" Aspekte der evolutionären Systemtheorie in ökonomischen Krisentheorien unter besonderer Berücksichtigung techniksoziologischer Bezüge";
Supervisor, Reviewer: W. Hofkirchner; Institut für Gestlatungs- und Wirkungsforschung, 2002.

More information

Author: Jiri Hladuvka, E193-02

J. Hladuvka:
"Derivatives and Eigensystems for Volume-Data Analysis and Visualization "; Institut für Computergraphik und Algorithmen 186, 2002.

Author: Heinrich Hey, E193-02

H. Hey:
"Photorealistic and hardware accelerated rendering of complex scenes"; Institut für Computergraphik und Algorithmen 186, 2002.

Author: Andreas Kerren, E192-01

A. Kerren:
"Generierung interaktiver Animationen für den Übersetzerbau"; Saarland University, Saarbrücken, 2002.

Author: Norbert Brändle, E193-03

N Brändle:
"Robust Analysis of Spot Array Images"; Institut für Rechnergestützte Automation, Arbeitsgruppe für Mustererkennung und Bildverarbeitung 183/2, 2002.

Author: Thomas Melzer, E193-03

T. Melzer:
"Generalized Canonical Correlation Analysis for Object Recognition"; Institut für Rechnergestützte Automation, Arbeitsgruppe für Mustererkennung und Bildverarbeitung, 183/2, 2002.

Author: Roland Lieger, E191-03
Other persons involved: Johann Blieberger, E191-03; Werner Purgathofer, E193-02

R. Lieger:
"Bounding the Worst-Case Execution Time of General Loops and Recursion";
Supervisor, Reviewer: J. Blieberger, W. Purgathofer; Institut für Rechnergestützte Automation, 2002.

Author: Harald Zainzinger
Other person involved: Gerhard-Helge Schildt, E191-03

H. Zainzinger:
"Lernfähige Temperaturregelungen für Haushaltssysteme";
Supervisor, Reviewer: G. Schildt; Institut für Rechnergestützte Automation, 2002.

Author: Bettina Weiss
Other person involved: Ulrich Schmid, E191-03

B. Weiss:
"Authenticated Consensus";
Supervisor, Reviewer: U. Schmid; Institut für Rechnergestützte Automation, 2002.

Author: Roman Pallierer, E191-01
Other person involved: Hermann Kopetz, E191-01

R. Pallierer:
"Validation of Distributed Algorithms in Time-Triggered Systems by Simulation";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2000.

More information

Author: Thomas Piribauer
Other person involved: Thomas Grechenig, E194-03

T. Piribauer:
"Abstrakte Konzepte, Hypothesen, Optimierte Lösungen und Fallbeispiele der Technischen Visualisierung und Usability in der österreichischen Rechtsdokumentation";
Supervisor, Reviewer: T. Grechenig; Institut für Softwaretechnik und interaktive Systeme, 2002.

More information

Author: Robert Bruckner, E194-01
Other persons involved: A Min Tjoa, E194-01; Georg Gottlob, E192

R. Bruckner:
"Zero-Latency Data Warehousing - Toward an Integrated Analysis Environment with Minimized Latency for Data Propagations.";
Supervisor, Reviewer: A. Tjoa, G. Gottlob; Institut für Softwaretechnik & Interaktive Systeme (E188), 2002.

More information

Author: Wolfgang Faber, E192-03
Other persons involved: Thomas Eiter, E192-03; Nicola Leone

W. Faber:
"Enhancing Efficiency and Expressiveness in Answer Set Programming Systems";
Supervisor, Reviewer: T. Eiter, N. Leone; Institut für Informationssysteme, Abteilung für Wissensbasierte Systeme, 2002.

More information

Author: Günther Kracher
Other person involved: Georg Gottlob, E192

G. Kracher:
"Contributions to Visual Path Following and Knowledge-Based Robot Motion Planning";
Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2001.

Author: Nysret Musliu, E192-02
Other person involved: Wolfgang Slany, E192-02

N. Musliu:
"Intelligent Search Methods for Workforce Scheduling: New Ideas and Practical Applications";
Supervisor, Reviewer: W. Slany; Institut für Informationssysteme, 2001.

Author: Dominik Wieland
Other person involved: Markus Stumptner, E192

D. Wieland:
"Model-Based Debugging of Java Programs Using Dependencies";
Supervisor, Reviewer: M. Stumptner; Institut für Informationssysteme, 2001.

Author: Lionel Dorffner, E120-07
Other persons involved: Josef Jansa, E120-01-1; Werner Purgathofer, E193-02

L. Dorffner:
"Erzeugung von qualitativ hochwertigen 3D Photomodellen für internetbasierte Anwendungen mit besonderem Augenmerk auf Objekte der Nahbereichsphotogrammetrie ";
Supervisor, Reviewer: J. Jansa, W. Purgathofer; Institut für Photogrammetrie und Fernerkundung, 2002.

More information

Author: Wilfried Elmenreich, E191-01
Other persons involved: Hermann Kopetz, E191-01; Ernst Gratz, E138-03

W. Elmenreich:
"Sensor Fusion in Time-Triggered Systems";
Supervisor, Reviewer: H. Kopetz, E. Gratz; Institut für Technische Informatik, 2002.

More information

Author: Michael Paulitsch, E191-01
Other person involved: Hermann Kopetz, E191-01

M. Paulitsch:
"Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2002.

More information

Author: Günther Bauer, E191-01
Other person involved: Hermann Kopetz, E191-01

G. Bauer:
"Transparent Fault Tolerance in a Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz; Institut für Technische Informatik, 2001.

More information

Author: Michael Fink, E192-03
Other persons involved: Thomas Eiter, E192-03; Georg Gottlob, E192

M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.

Author: Giuliana Sabbatini
Other persons involved: Thomas Eiter, E192-03; Georg Gottlob, E192

G. Sabbatini:
"Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.

Author: Marcus Herzog, E192-02
Other person involved: Georg Gottlob, E192

M. Herzog:
"A rapid application development environment for XML-based data flow applications";
Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2002.

Author: Klaus Chmelina, E120-05
Other persons involved: Heribert Kahmen, E120-05; Thomas Eiter, E192-03

K. Chmelina:
"Wissensbasierte Analyse geodätischer Verschiebungsmessungen";
Supervisor, Reviewer: H. Kahmen, T. Eiter; Institut für Geodäsie und Geophysik, 2002.

More information

Author: Karl Thaller, E191-02
Other persons involved: Andreas Steininger, E191-02; Richard Eier, E384

K. Thaller:
"A Transparent Online Memory Test";
Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik, 2001.

Author: Christoph Scherrer, E191-02
Other persons involved: Andreas Steininger, E191-02; Rupert Patzelt, E354

C. Scherrer:
"Zuverlässigkeit zweifach redundanter Architekturen unter besonderer Berücksichtigung latenter Fehler";
Supervisor, Reviewer: A. Steininger, R. Patzelt; Institut für Technische Informatik, 2002.

More information

Author: Johann Vilanek, E191-02
Other persons involved: Andreas Steininger, E191-02; Richard Eier, E384

J. Vilanek:
"Zur Rolle der Verifikation im Designprozess digitaler integrierter Schaltungen";
Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik, 2001.

More information

Author: Friedrich Bauer, E384-50
Other persons involved: Richard Eier, E384; Gerhard-Helge Schildt, E191-03

F. Bauer:
"Ein modulares Konzept für die verteilte Steuerung von Simulatoren zur tribologischen Analyse von Hüfgelenksendoprothesen";
Supervisor, Reviewer: R. Eier, G. Schildt; E 384, 2001.

Author: Gerhard Rieger, E360
Other persons involved: Siegfried Selberherr, E360; Werner Purgathofer, E193-02

G. Rieger:
"Ein graphischer Editor für Entwurf von Halbleiterbauteilen";
Supervisor, Reviewer: S. Selberherr, W. Purgathofer; Institut für Mikroelektronik, 1996; oral examination: 1996-05-23.