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)
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
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.
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
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
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
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
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
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
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
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
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.
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.
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.
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.
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.
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
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.
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.
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
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
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
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
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.
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.
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
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
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
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
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
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
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.
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.
C. Mukamakuza:
"Analyzing social influence in recommender systems";
Supervisor, Reviewer: H. Werthner, M. Zanker, A. Provetti;
Institut für Information Systems Engineering,
2020.
A. Delic:
"Group recommendations - what counts?";
Supervisor, Reviewer: H. Werthner, M. de Gemmis, P. Cremonesi;
Institute of Information Systems Engineering,
2020.
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.
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
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
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.
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
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
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
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
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
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
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.
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.
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
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
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
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.
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
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
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
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
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.
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.
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
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.
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.
A. Steininger:
"A Measuring Methodology for Fault-Injection Experiments in Computing Systems";
Supervisor, Reviewer: R. Patzelt, H. Kopetz;
354-02,
1994.
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
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.
K. Zsolnai:
"Photorealistic Material Learningand Synthesis";
Supervisor, Reviewer: M. Wimmer, T. Möller, D. Nowrouzezahrai;
Visual Computing and Human-Centered Technology,
2019.
More information
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
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
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.
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
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
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
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
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
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
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.
R. Annessi:
"Securing Group Communication in Critical Infrastructures";
Supervisor, Reviewer: T. Zseby, A. Perrig, E. Weippl;
E389,
2019;
oral examination: 2019-03-28.
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
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.
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
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
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.
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.
M. Riener:
"Applications of Higher-Order Cut-Elimination";
Supervisor, Reviewer: A. Leitsch, C. Benzmüller;
Institut für Computersprachen,
2018.
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
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
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
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
A. Ismail:
"Service oriented manufacturing infrastructure";
Supervisor, Reviewer: W. Kastner, P. Pop, D. Timmermann;
Institute of Computer Engineering,
2018;
oral examination: 2018-03-09.
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
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
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
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
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.
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
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
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.
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
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
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
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.
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
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
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
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
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
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
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
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
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.
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.
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
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
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
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
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.
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.
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.
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.
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.
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
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.
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
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
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
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.
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
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
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
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.
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
M. Sinn:
"Automated Complexity Analysis for Imperative Programs";
Supervisor, Reviewer: F. Zuleger, T. Vojnar;
Institut für Informationssysteme,
2016.
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
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
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
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.
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
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.
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.
M. Kronegger:
"On the Parameterized Complexity of Planning";
Supervisor, Reviewer: R. Pichler, C. Bäckström;
Institut für Informationsysteme,
2016.
More information
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
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
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
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
J. Schmidt:
"Scalable Comparative Visualization";
Supervisor, Reviewer: E. Gröller, St. Bruckner;
E186,
2016;
oral examination: 2016-06-28.
More information
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
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
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
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
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.
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
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
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
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
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.
U. Habib:
"Fault Detection and Diagnosis in Building Energy Systems";
Supervisor, Reviewer: D. Dietrich, N. Musliu;
E384,
2016;
oral examination: 2016-04-11.
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
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
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
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
K. Pollhammer:
"Automated Buildings as Energy Storages";
Supervisor, Reviewer: D. Dietrich, W. Elmenreich;
E384,
2016;
oral examination: 2016-02-05.
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
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
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
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
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
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.
G. Shalunts:
"Architectural style classification of building facades";
Supervisor, Reviewer: R. Sablatnig, M. Vincze;
Institut für Rechnergestützte Automation,
2015.
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.
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.
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
C. Siehs:
"Simulation in Metabolic Networks";
Supervisor, Reviewer: R. Freund, B. Mayer;
185-2,
2015.
More information
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.
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
L. Krammer:
"Dependability in building automation networks";
Supervisor, Reviewer: W. Kastner, T. Sauter;
Rechnergestützte Automation,
2015;
oral examination: 2015-01-20.
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
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
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.
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
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
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
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
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.
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.
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
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
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
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
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
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
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
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
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.
M. Volcic:
"Energy-efficient Optimization of Railway Operation";
Supervisor, Reviewer: J. Blieberger, J. Siegmann;
183,
2015;
oral examination: 2015-02-04.
More information
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
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
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
M. Triska:
"Correctness Considerations in CLP(FD) Systems";
Supervisor, Reviewer: N. Musliu, J. Wielemaker;
Institut für Informationssysteme,
2014;
oral examination: 2014-01-29.
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
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
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
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.
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.
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
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
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
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.
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
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
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
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.
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
R. Fayzrakhmanov:
"Web Accessibility for the Blind Through Visual Representation Analysis";
Supervisor, Reviewer: R. Pichler, A. Provetti;
Institut für Informationssysteme,
2014.
More information
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
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.
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.
S. Zambanini:
"Insensitive Image Comparison in the Absence of Training Data";
Supervisor, Reviewer: M. Kampel, D. Fellner;
Institut für Rechnergestützte Automation,
2014.
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.
S. Saleem:
"Nonlinear Intensity Invariant Local Image Descriptors";
Supervisor, Reviewer: T. Pock, V. Hlavac;
Institut für Rechnergestützte Automation,
2014.
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.
M. Diem:
"Text classification and layout analysis for document reassembling";
Supervisor, Reviewer: R. Sablatnig, B. Gatos;
Institut für Rechnergestützte Automation,
2014.
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
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
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
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
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.
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
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.
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
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
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
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
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
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
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
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.
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
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
M. Bernhart:
"owards Differential-Based Continuous Code Reviews";
Supervisor, Reviewer: T. Grechenig, R. Freund;
E183/1,
2013;
oral examination: 2013-01-23.
More information
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
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.
T. Sisel:
"Numeric Methods for Configuration Management";
Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss;
Institut für Computersprachen,
2013;
oral examination: 2013-11-19.
A. Holzer:
"Query-Based Test Case Generation";
Supervisor, Reviewer: H. Veith, D. Beyer;
Fakultät für Informatik der Technischen Universität Wien,
2013.
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
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
T. Panhofer:
"Self-Healing Asynchronous Circuits for High-Reliability Applications";
Supervisor, Reviewer: A. Steininger, H. Vierhaus;
Institut für Technische Informatik,
2012.
More information
T. Polzer:
"A Digital Metastability Model for VLSI Circuits";
Supervisor, Reviewer: A. Steininger, A. Yakovlev;
Institut für Technische Informatik,
2013.
More information
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
M. Ferringer:
"Asynchronous Logic in Real-Time Systems";
Supervisor, Reviewer: A. Steininger, G. Fohler;
Institut für Technische Informatik,
2012.
More information
T. Kottke:
"Untersuchung von fehlertoleranten Prozessorarchitekturen für sicherheitsrelevante Automobilanwendungen";
Supervisor, Reviewer: A. Steininger, H. Wunderlich;
Institut für Technische Informatik,
2005.
More information
K. Ambrosch:
"Mapping Stereo Matching Algorithms to Hardware";
Supervisor, Reviewer: A. Steininger, R. Siegwart;
Institut für Technische Informatik,
2009.
More information
T. Libal:
"Unification in Higher-order Resolution";
Supervisor, Reviewer: A. Leitsch, M. Schmidt-Schauss;
Institut für Computersprachen,
2013;
oral examination: 2013-02-22.
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
R. Sorschag:
"Intelligent Video Annotation and Retrieval Techniques";
Supervisor, Reviewer: H. Eidenberger, A. Scherp;
Softwaretechnik und Interaktive Systeme,
2012.
More information
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
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
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
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.
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
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
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
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.
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.
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.
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.
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
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
M. Rukhaia:
"CERES in Proof Schemata";
Supervisor, Reviewer: N. Peltier, A. Leitsch;
Institut für Computersprachen E185/2,
2012;
oral examination: 2012-12-17.
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.
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
P. Leitner:
"Social Commerce: Definition, Analyse, Topologien, Leitmodelle und Thesen";
Supervisor, Reviewer: T. Grechenig, M. Tscheligi;
E183/1,
2012;
oral examination: 2012-04-26.
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.
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.
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
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
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
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.
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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.
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.
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
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.
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
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
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
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
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.
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
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
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
C. Kolbitsch:
"Behavior Based Malware Analysis and Detection";
Supervisor, Reviewer: Ch. Krügel, E. Kirda;
Rechnergestützte Automation,
2011.
M. Egele:
"Protecting Web Clients from Internet Threats";
Supervisor, Reviewer: Ch. Krügel, E. Kirda;
Rechnergestützte Automation,
2011.
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.
S. Brunthaler:
"Purely Interpretative Optimizations";
Supervisor, Reviewer: J. Knoop, M. Franz;
Institut für Computersprachen,
2011;
oral examination: 2011-02-28.
More information
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
P. Loschmidt:
"On Enhanced Clock Synchronization Performance Through Dedicated Ethernet Hardware Support";
Supervisor, Reviewer: W. Kastner, F. Vasques;
Rechnergestützte Automation,
2011.
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
B. Hofreiter:
"The Impact of Business Context on Business Collaboration Models, Choreography Languages, and Business Documents";
University of Vienna,
2005.
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
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
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
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
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
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.
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
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.
ö. 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
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
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.
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.
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
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
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.
M. Tautschnig:
"Query-Driven Program Testing";
Supervisor, Reviewer: H. Veith, D. Kroening;
Institut für Informationssysteme,
2011;
oral examination: 2011-04-11.
More information
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.
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.
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.
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
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
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
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.
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
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.
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
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
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
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.
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.
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.
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.
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
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.
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
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
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
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.
C. Becker:
"Trustworthy Preservation Planning.";
Supervisor, Reviewer: A. Rauber, J. Borbinha;
E188,
2010;
oral examination: 2010-06-10.
More information
C. Rhemann:
"Interactive Image Matting";
Supervisor, Reviewer: M. Gelautz, C. Rother;
188/2,
2010.
More information
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
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
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
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
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
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
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.
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.
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.
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.
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
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.
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.
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.
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.
D. Abeywickrama:
"Pervasive Services Engineering for SOAs";
Supervisor, Reviewer: S. Ramakrishnan, S. Dustdar;
Monash University u. 184-1,
2010;
oral examination: 2010-05-15.
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.
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.
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
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
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
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
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
C. Sterba:
"Organisationsübergreifende IT-Harmonisierung mittels Outsourcing am Beispiel Aktenmanagement in der österreichischen Bundesverwaltung";
Supervisor, Reviewer: T. Grechenig, K. Adlassnig;
183/1,
2009.
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.
K. Kappel:
"Persuasive Technology: Ambient information systems for residential energy awareness";
Supervisor, Reviewer: T. Grechenig, W. Merkl;
183/1,
2009.
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.
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.
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.
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.
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
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
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.
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.
C. Pitter:
"Time-Predictable Java Chip-Multiprocessor";
Supervisor, Reviewer: H. Grünbacher, M. Schoeberl;
Institut für Technische Informatik - E182,
2009.
More information
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
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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
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
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
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
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
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.
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
R. Wolfig:
"A Distributed Platform for an Integrated Modular Avionics";
Supervisor, Reviewer: S. Poledna, D. Dietrich;
182/1,
2008.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
S. Sobernig:
"Exploring Feature Variability in Object Remoting Middleware";
Supervisor, Reviewer: G. Neumann, U. Zdun;
Institut für Informationssysteme, AB Verteilte Systeme,
2009.
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.
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
M. Tomitsch:
"Interactive Ceiling: Ambient Information Display for Architectural Environments";
Supervisor, Reviewer: T. Grechenig, K. Adlassnig;
183/1,
2008.
More information
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
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
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.
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.
L. Szumilas:
"Scale and Rotation Invariant Shape Matching";
Supervisor, Reviewer: R. Sablatnig, M. Cord, M. Curie;
Institut für rechnergestützte Automation,
2008.
B. Huber:
"Resource Management in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, J. Blieberger;
Institut 182,
2008;
oral examination: 2008-01.
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.
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.
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
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.
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.
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
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
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
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
L. Li:
"Scratchpad Memory Management for Static Data Aggregates";
Supervisor, Reviewer: J. Knoop, N. N.;
The University of New South Wales, Sydney, Australia,
2007.
N. Rinetzky:
"Interprocedural and Modular Local Heap Shape Analysis";
Supervisor, Reviewer: J. Knoop, N. N.;
Tel-Aviv University, Tel Aviv, Israel,
2008.
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
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.
Q. Sheng:
"Composite Web Services Provisioning in Dynamic Environments";
Supervisor, Reviewer: B. Benatallah, S. Dustdar;
Institut für Informationssysteme, AB Verteilte Systeme,
2006.
A. Lazovik:
"Interacting With Service Compositions";
Supervisor, Reviewer: M. Aiello, M. P. Papazoglou, S. Dustdar;
Institut für Informationssysteme, AB Verteilte Systeme,
2006.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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.
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.
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
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
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
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
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
M. Strommer:
"Model Transformation By-Example";
Supervisor, Reviewer: G. Kappel, C. Huemer;
Institut für Softwaretechnik und Interaktive Systeme,
2008.
More information
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.
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.
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.
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
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
H. Pichler:
"Time Management for Workflow Systems";
Supervisor, Reviewer: J. Eder, G. Kappel;
Uni Klagenfurt,
2007.
Clemens Richter:
"Proof Transformations by Resolution";
Supervisor, Reviewer: A. Leitsch, M. Baaz;
Institut für Computersprachen 185-2,
2006;
oral examination: 2006-07-04.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
R. Heinzl:
"Concepts for Scientific Computing";
Supervisor, Reviewer: S. Selberherr, W. Purgathofer;
Institut für Mikroelektronik,
2007;
oral examination: 2007-09-18.
More information
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.
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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.
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.
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.
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
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
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
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
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
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
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.
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.
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.
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.
Q. Cai:
"Profile-Guided Redundancy Elimination";
Supervisor, Reviewer: J. Knoop;
The University of New South Wales, Sydney, Australia,
2006;
oral examination: 2006-07.
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.
U. Scheben:
"Simplifying and Unifying Composition for Industrial Component Models";
Supervisor, Reviewer: J. Knoop;
FernUniversität in Hagen, Deutschland,
2006;
oral examination: 2006-11.
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.
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.
D. Arrivault:
"Apport des Graphes dans la Reconnaisance Non-Contrainte de Caracteres Manuscrits Anciens";
Supervisor, Reviewer: W. Kropatsch, N. Vincent;
Universite de Poitiers,
2006.
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.
T. Gipp:
"Functional Web Site Specification";
Supervisor, Reviewer: J. Ebert, G. Kappel;
Institut für Softwaretechnik und Interaktive Systeme,
2006.
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.
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.
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.
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.
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
M. Straka:
"Processing and Visualization of Peripheral CT-Angiography Datasets";
Supervisor, Reviewer: M. Sramek;
Institut für Computergraphik und Algorithmen,
2006.
More information
M. Mlejnek:
"Medical Visualization for Orthopedic Applications";
Supervisor, Reviewer: E. Gröller;
Institut für Computergraphik und Algorithmen,
2006.
More information
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
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
M. Hutle:
"Failure Detection in Sparse Networks";
Supervisor, Reviewer: U. Schmid;
Technische Informatik, E182/2,
2005;
oral examination: 2005.
More information
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.
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
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
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.
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
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
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
G. Kramler:
"Model Driven Development of Inter-organizational Workflows";
Supervisor, Reviewer: G. Kappel;
Institut für Softwaretechnik und Interaktive Systeme,
2004.
More information
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
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
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
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
A. Rainer:
"Web Service Composition using Logic Programming";
Supervisor, Reviewer: J. Dorn, K. Fröschl;
Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence,
2006.
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.
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.
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.
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.
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.
A. Dünser:
"Trainierbarkeit der Raumvorstellung mit Augmented Reality";
Institut für Psychologie,
2005.
P. Judmaier:
"Konzept und Umsetzung eines eLearning-Kurses für die berufsbegleitende Erwachsenenbildung";
Supervisor, Reviewer: M. Pohl;
Institut für Gestaltungs- und Wirkungsforschung,
2005.
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.
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.
Th. Fuerle:
"Design and Implementation of an Autonomous, Distributed Raid System with a XML Meta Definition Language";
Supervisor, Reviewer: T. Grechenig;
183/1,
2005.
P. Peti:
"Diagnosis and Maintenance in an Integrated Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz, W. Kastner;
182,
2005.
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
I. Viola:
"Importance-Driven Expressive Visualization";
Supervisor, Reviewer: E. Gröller;
Institut für Computergraphik und Algorithmen,
2005.
More information
St Jeschke:
"Accelerating the Rendering Process Using Impostors";
Supervisor, Reviewer: H. Schumann;
Institut für Computergraphik und Algorithmen,
2005.
More information
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
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
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
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.
G. Reif:
"WEESA - Web Engineering for Semantic Web Applications";
Supervisor, Reviewer: H. Gall, M. Jazayeri;
Institut für Informationssysteme,
2005.
More information
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.
I. Smaili:
"Real-Time Monitoring for the Time-Triggered Architecture";
Supervisor, Reviewer: P. Puschner, U. Egly;
Institut für Technische Informatik,
2004.
More information
M Zeiller:
"Collision detection for complex objects in computer animation";
Supervisor, Reviewer: W. Purgathofer, F. Rattay;
186,
1994.
S. Bittner:
"An Agent-Based Model of Reality in a Cadastre";
Supervisor, Reviewer: A. Frank, T. Eiter;
Institut für Geoinformation und Landesvermessung,
2001.
I. Ljubic:
"Exact and Memetic Algorithms for Two Network Design Problems";
Supervisor, Reviewer: P. Mutzel;
Institut für Computergraphik und Algorithmen,
2004.
B. Burgstaller:
"Symbolic Evaluation of Imperative Programming Languages";
Supervisor, Reviewer: J. Blieberger, B. Gramlich;
183,
2005.
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
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.
R. Obermaisser:
"An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms";
Supervisor, Reviewer: H. Kopetz, W. Kastner;
182,
2003.
C. Krügel:
"Network Alertness -- Towards an adaptive, collaborating Intrusion Detectcion";
Supervisor, Reviewer: M. Jazayeri, W. Kastner;
184,
2002.
S. Soucek:
"Control Data over IP -- A Tunneling Approach using EIA-709.1";
Supervisor, Reviewer: D. Dietrich, W. Kastner;
384,
2002.
P. Skiczuk:
"Network Protocol Architecture for Home Access Points";
Supervisor, Reviewer: D. Dietrich, W. Kastner;
384,
2002.
C. Riva:
"View based software architecture reconstruction";
Supervisor, Reviewer: M. Jazayeri;
184/1,
2004.
R. Kurmanowytsch:
"Ommix: an open peer to peer middleware framework";
Supervisor, Reviewer: M. Jazayeri;
184/1,
2004.
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.
M. Samer:
"Reasoning about Specifications in Model Checking";
Supervisor, Reviewer: H. Veith, G. Gottlob;
Institut für Informationssysteme,
2004.
A. Kanitsar:
"Curved Planar Reformation for Vessel Visualization";
Supervisor, Reviewer: E. Gröller;
Institut für Computergraphik und Algorithmen,
2004.
More information
A. Artusi:
"Real time tone Mapping";
Supervisor, Reviewer: W. Purgathofer, A. Wilkie;
Institut für Computergraphik und Algorithmen,
2004.
More information
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
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.
C. Brem:
"Angriffe auf die Integrität und Souveränität betrieblicher Informationssysteme und deren Abwehr";
Supervisor, Reviewer: T. Grechenig;
183,
2004.
G. Reitmayr:
"On Software Design for Augmented Reality";
Supervisor, Reviewer: D. Schmalstieg, G. Klinker;
Institute for Software Technology and Interactive Systems,
2004.
More information
R. Smeikal:
"Trading Consistency for Availability in a Replicated System";
Supervisor, Reviewer: R. Eier, M. Jazayeri;
Institut für Computertechnik,
2004.
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.
M. Ziehensack:
"Dynamische Kopplung von Gerätenetzwerken im Heimbereich";
Supervisor, Reviewer: D. Dietrich, W. Kastner;
Institut für Computertechnik,
2004.
M. Horauer:
"Clock Synchronization in Distributed Systems";
Supervisor, Reviewer: R. Eier, U. Schmid;
Institut für Computertechnik,
2004.
E. Hornecker:
"Tangible User Interfaces als kooperationsunterstützendes Medium";
Forschungszentrum Arbeit Umwelt Technik, Universität Bremen,
2004.
More information
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
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
S. Jungmayr:
"Improving Testability of Object-Oriented Systems";
Supervisor, Reviewer: H.-W. Six, G. Futschek;
188,
2003.
S. Katzenbeisser:
"Cryptographic Watermarking";
Supervisor, Reviewer: H. Veith, G. Gottlob;
Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence,
2004.
More information
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.
T. Korimort:
"Heuristic Hypertree Decomposition";
Supervisor, Reviewer: G. Gottlob;
Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence,
2003.
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.
M. Halling:
"Supporting Management Decisions in the Software Inspection Process";
Supervisor, Reviewer: S. Biffl;
E188 Softwaretechnik und Interaktive Systeme,
2002.
B. Ömer:
"Structured Quantum Programming";
Supervisor, Reviewer: K. Svozil, U. Egly;
Institut für Theoretische Physik,
2003.
A. Schatten:
"Sustainable Web-Based Organisation of Project Related Information and Knowledge";
Supervisor, Reviewer: A. Tjoa, S. Biffl;
188,
2003.
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
M. Oswald:
"P Automata";
Supervisor, Reviewer: R. Freund;
Institut für Computersprachen, 185,
2003.
W. Gruber:
"Modeling and Transformation of Workflows with Temporal Constraints";
Supervisor, Reviewer: J. Eder, G. Kappel;
Institut für Informatik-Systeme (350),
2003.
A. Polleres:
"Advances in Answer Set Planning";
Supervisor, Reviewer: T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2003.
More information
W. Radinger:
"An Examination of Processes for Software Component Engineering and Integration";
Supervisor, Reviewer: R. Eier, M. Jazayeri;
Institut für Computertechnik,
2003.
S. Woltran:
"Quantified Boolean Formulas - From Theory to Practice";
Supervisor, Reviewer: U. Egly;
Institut fuer Informationssysteme,
2003.
M. Kampel:
"3D Mosaicing of Fractured Surfaces";
Institut f. rechnergestützte Automation, AG f. Mustererkennung und Bildverarbeitung,
2003.
H. Berger:
"Activation on the Move: Adaptive Information Retrieval via Spreading Activation";
Supervisor, Reviewer: D. Merkl;
183,
2003.
P. Messner:
"Usability Engineering Environments: A Comprehensive and Integrated Approach to Support Configurable Usability Engineering Processes";
Supervisor, Reviewer: T. Grechenig;
183,
2003.
L. Naber:
"e-ULE - e-Usable Learning Environment: Reconciling student needs and lecturer requirements";
Supervisor, Reviewer: T. Grechenig;
183,
2003.
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.
M. Dittenbach:
"Mining Semantics from Text: A Connectionist Approach to Ontology Enhancement for a Tourism Information System";
Supervisor, Reviewer: D. Merkl;
183,
2003.
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.
T. Gschwind:
"Adaptation and Composition Techniques for Component-Based Software Engineering";
Institut für Informationssysteme,
2002.
T. Toth:
"Improving Intrusion Detection Systems";
Supervisor, Reviewer: M. Jazayeri, W. Kastner;
Institut fuer Informationssysteme,
2003.
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.
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
C. Kerer:
"XGuide - Concurrent Web Development with Contracts";
Supervisor, Reviewer: M. Jazayeri, G. Kappel;
Institut für Informationssysteme,
2003.
More information
K. Schossmaier:
"Interval-based Clock State and Rate Synchronization";
Supervisor, Reviewer: U. Schmid;
Institut für Automation,
1998.
S. Stöckler:
"Event-Based Monitoring of Distributed Real-Time Systems";
Supervisor, Reviewer: U. Schmid, G. Schildt;
Institut für Automation,
1994.
A. Redlein:
"Erfolgsfaktoren für den Einsatz von CAD im Architektursektor";
Supervisor, Reviewer: G. Schildt;
Institut für Automation,
1997.
G. Leeb:
"Configuration Management in Home Systems";
Supervisor, Reviewer: G. Schildt;
Institut für Automation,
1998.
M. Ochensthaler:
"Die multifunktionelle Softwareplattform als Integrationsbasis verteilter HomeNet-Applikationen";
Supervisor, Reviewer: G. Schildt;
Institut für Automation,
1998.
A. Bezirgan:
"Gedächtnisbasierte Fertigungsplanung";
Supervisor, Reviewer: G. Schildt;
Institut für Automation,
1993.
W. Kastner:
"Spezifikation und Verifikation eines zeitbasierenden Protokolls";
Supervisor, Reviewer: G. Schildt;
Institut für Automation,
1996.
A. Prianichnikova:
"Preemtive Scheduling in real time systems with cyclic precedence constraints";
Supervisor, Reviewer: J. Dorn;
Institut für Informationssysteme,
2003.
More information
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
J. Hladuvka:
"Derivatives and Eigensystems for Volume-Data Analysis and Visualization ";
Institut für Computergraphik und Algorithmen 186,
2002.
H. Hey:
"Photorealistic and hardware accelerated rendering of complex scenes";
Institut für Computergraphik und Algorithmen 186,
2002.
A. Kerren:
"Generierung interaktiver Animationen für den Übersetzerbau";
Saarland University, Saarbrücken,
2002.
N Brändle:
"Robust Analysis of Spot Array Images";
Institut für Rechnergestützte Automation, Arbeitsgruppe für Mustererkennung und Bildverarbeitung 183/2,
2002.
T. Melzer:
"Generalized Canonical Correlation Analysis for Object Recognition";
Institut für Rechnergestützte Automation, Arbeitsgruppe für Mustererkennung und Bildverarbeitung, 183/2,
2002.
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.
H. Zainzinger:
"Lernfähige Temperaturregelungen für Haushaltssysteme";
Supervisor, Reviewer: G. Schildt;
Institut für Rechnergestützte Automation,
2002.
B. Weiss:
"Authenticated Consensus";
Supervisor, Reviewer: U. Schmid;
Institut für Rechnergestützte Automation,
2002.
R. Pallierer:
"Validation of Distributed Algorithms in Time-Triggered Systems by Simulation";
Supervisor, Reviewer: H. Kopetz;
Institut für Technische Informatik,
2000.
More information
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
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
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
G. Kracher:
"Contributions to Visual Path Following and Knowledge-Based Robot Motion Planning";
Supervisor, Reviewer: G. Gottlob;
Institut für Informationssysteme,
2001.
N. Musliu:
"Intelligent Search Methods for Workforce Scheduling: New Ideas and Practical Applications";
Supervisor, Reviewer: W. Slany;
Institut für Informationssysteme,
2001.
D. Wieland:
"Model-Based Debugging of Java Programs Using Dependencies";
Supervisor, Reviewer: M. Stumptner;
Institut für Informationssysteme,
2001.
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
W. Elmenreich:
"Sensor Fusion in Time-Triggered Systems";
Supervisor, Reviewer: H. Kopetz, E. Gratz;
Institut für Technische Informatik,
2002.
More information
M. Paulitsch:
"Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems";
Supervisor, Reviewer: H. Kopetz;
Institut für Technische Informatik,
2002.
More information
G. Bauer:
"Transparent Fault Tolerance in a Time-Triggered Architecture";
Supervisor, Reviewer: H. Kopetz;
Institut für Technische Informatik,
2001.
More information
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Supervisor, Reviewer: T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2002.
G. Sabbatini:
"Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases";
Supervisor, Reviewer: T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2002.
M. Herzog:
"A rapid application development environment for XML-based data flow applications";
Supervisor, Reviewer: G. Gottlob;
Institut für Informationssysteme,
2002.
K. Chmelina:
"Wissensbasierte Analyse geodätischer Verschiebungsmessungen";
Supervisor, Reviewer: H. Kahmen, T. Eiter;
Institut für Geodäsie und Geophysik,
2002.
More information
K. Thaller:
"A Transparent Online Memory Test";
Supervisor, Reviewer: A. Steininger, R. Eier;
Institut für Technische Informatik,
2001.
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
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
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.
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.