Dissertations

Main content

All dissertations of the Department of Computer Science are listed here. For a list for each decade, please choose here:

2010-today
2000-2009

Envision: reinventing the integrated development environment.
Dimitar Asenov
Diss., Zürich, ETH Zürich (2017)
Teaching Python Programming to Novices: Addressing Misconceptions and Creating a Development Environment.
Tobias Kohn
Diss., Zürich, ETH Zürich (2017)
Dynamic Robot Architecture for Robust Realtime Computer Vision.
Lorenz Meier
Diss., Zürich, ETH Zürich (2017)
Selected Optimization Problems in Passenger Transportation - Models, Complexity, and Algorithms.
Kateřina Böhmová
Diss., Zürich, ETH Zürich (2016)
Non-Malleable Codes and Public-Key Encryption.
Sandro Coretti
Diss., Zürich, ETH Zürich (2016)
Cryptographic Constructions of Randomness Resources.
Grégory Demay
Diss., Zürich, ETH Zürich (2016)
Practical composable cryptographic protocols resistant against adaptive attacks.
Robert R. Enderlein
Diss., Zürich, ETH Zürich (2016)
Objects in Relation for Scene Understanding.
Marian George
Diss., Zürich, ETH Zürich (2016)
On the Security, Performance and Privacy of Proof of Work Blockchains.
Arthur Gervais
Diss., Zürich, ETH Zürich (2016)
Semantic 3D Modeling from Images with Geometric Priors.
Christian Häne
Diss., Zürich, ETH Zürich (2016)
Same-Set Hitting with Applications to Parallel Repetition.
Hązła Jan
Diss., Zürich, ETH Zürich (2016)
3D Reconstruction beyond the Static & Lambertian Assumption: Reflective and Multi-Body Scenes.
Bastien Jacquet
Diss., Zürich, ETH Zürich (2016)
Incremental Verification.
Uri Juhasz
Diss., Zürich, ETH Zürich (2016)
Machine-aware memory allocation and synchronization.
Stefan Kaestle
Diss., Zürich, ETH Zürich (2016)
Scalable and Robust Supervised Learning Through Random Approximations.
Gabriel Krummenacher
Diss., Zürich, ETH Zürich (2016)
Towards expert-aware computer vision algorithms in medical imaging.
Dmitry Laptev
Diss., Zürich, ETH Zürich (2016)
Astronomy and Computing.
Stefan C. Müller
Diss., Zürich, ETH Zürich (2016)
Quality Control and Optimization for Hybrid Crowd-Machine Learning Systems.
Besmira Nushi
Diss., Zürich, ETH Zürich (2016)
A Computational Appearance Fabrication Framework and Derived Applications.
Marios Papas
Diss., Zürich, ETH Zürich (2016)
Physics-based Optimization for Assisted Creation of Tangible Artifacts.
Romain Prévost
Diss., Zürich, ETH Zürich (2016)
Robust Routing in Urban Public Transportation Networks.
Tobias Pröger
Diss., Zürich, ETH Zürich (2016)
Physical-layer Techniques for Secure Proximity Verification and Localization.
Aanjhan Ranganathan
Diss., Zürich, ETH Zürich (2016)
Learning from Large Codebases.
Veselin Raychev
Diss., Zürich, ETH Zürich (2016)
Immersive Environments: From Virtual Indoor Tours to Outdoor Modelling.
Olivier Saurer
Diss., Zürich, ETH Zürich (2016)
Unified Interference-free Parallel, Concurrent and Distributed Programming.
Mischael Schill
Diss., Zürich, ETH Zürich (2016)
Software-Defined Low-Complex Visible Light Communication Networks.
Stefan M. Schmid
Diss., Zürich, ETH Zürich (2016)
Advancing Automated, Permission-Based Program Verification Using Symbolic Execution.
Malte H. Schwerhoff
Diss., Zürich, ETH Zürich (2016)
Rethinking host network stack architecture using a dataflow modeling approach.
Pravin Shinde
Diss., Zürich, ETH Zürich (2016)
Learning and Incentives in Crowd-Powered Systems.
Adish Singla
Diss., Zürich, ETH Zürich (2016)
Wearable barcode scanning: Advancements in visual code localization, motion blur compensation, and gesture control.
Gábor Sörös
Diss., Zürich, ETH Zürich (2016)
Large scale simulation of cloth and hair with contact.
Rasmus Tamstorf
Diss., Zürich, ETH-Zürich (2016)
Live 3D Reconstruction on Mobile Phones.
Petri Tanskanen
Diss., Zürich, ETH Zürich (2016)
End-to-End Considerations in Unification of High-Performance IO.
Animesh Trivedi
Diss., Zürich, ETH Zürich (2016)
Access Control with Formal Security Guarantees.
Petar Tsankov
Diss., Zürich, ETH Zürich (2016)
On low dimensional models for functions in high dimensions.
Hemant Tyagi
Diss., Zürich, ETH Zürich (2016)
Finding the needle in a haystack. Chasing rarely occurring bugs in concurrent software.
Faheem Ullah
Diss., Zürich, ETH Zürich (2016)
Inferring Multidimensional Correspondences in Multi-Image Scenarios.
Kaan Yücer
Diss., Zürich, ETH Zürich (2016)
Leveraging Geometric Priors and Measurements in 3D Modeling, Calibration and Registration.
Bernhard Zeisl
Diss., Zürich, ETH Zürich (2016)
Information Processing for Effective and Stable Admission.
Judith Zimmermann
Diss., Zürich, ETH Zürich (2016)
Augmented Reality Storytelling.
Fabio Zünd
Diss., Zürich, ETH Zürich (2016)
Scalable and Personalized Energy Efficiency Services with Smart Meter Data.
Christian Beckel
Diss., Zürich, ETH Zürich (2015)
Geometric Methods for Realistic Animation of Faces.
Amit H. Bermano
Diss., Zürich, ETH-Zürich (2015)
Perceptual Enhancements for Novel Displays.
Alexandre Chapiro
Diss., Zürich, ETH-Zürich (2015)
Narrowing the gap between verification and systematic testing.
Maria Christakis
Diss., Zürich, ETH-Zürich (2015)
Algorithms for User-Guided Surface Mappings.
Olga Diamanti
Diss., Zürich, ETH Zürich (2015)
Memsy: A Personal Resource Management Infrastructure.
Matthias Geel
Diss., Zürich, ETH-Zürich (2015)
Optimization Methods for Character Animation using Rig Spaces.
Fabian Hahn
Diss., Zürich, ETH-Zürich (2015)
Improved Exponential Algorithms for SAT and ClSP.
Timon Hertli
Diss., Zürich, ETH-Zürich (2015)
3D Reconstruction and Rendering from High Resolution Light Fields.
Changil Kim
Diss., Zürich, ETH-Zürich (2015)
Occupancy Sensing and Prediction for Automated Energy Savings.
Willhelm Kleiminger
Diss., Zürich, ETH-Zürich (2015)
Scalable Web Technology for the Internet of Things.
Matthias Kovatsch
Diss., Zürich, ETH-Zürich (2015)
Technologies for Next Generation Telepresence.
Claudia P. Kuster
Diss., Zürich, ETH-Zürich (2015)
Architectures for elastic database services.
Simon M. Loesing
Diss., Zürich, ETH Zürich (2015)
Anchored Separation of Linear Temporal Logic and its Applications.
Grgur P. Maretić
Diss., Zürich, ETH-Zürich (2015)
Enabling Isolation on Modern Computing Platforms.
Ramya J. Masti
Diss., Zürich, ETH-Zürich (2015)
The Web as an Interface to the Physical World : Real-time Search and Development Support.
Andreas B. Ostermaier
Diss., Zürich, ETH-Zürich (2015)
Advanced 3D display technologies.
Nicola Ranieri
Diss., Zürich, ETH-Zürich (2015)
Data Analytics in a Data- and Hardware-Conscious Way.
Pratanu Roy
Diss., Zürich, ETH Zürich (2015)
Information Content of Online Problems. Advice versus Determinism and Randomization.
Jasmin Smula
Diss., Zürich, ETH-Zürich (2015)
Learning to recommend. Interactive learning with limited feedback.
Hastagiri P. Vanchinathan
Diss., Zürich, ETH Zürich (2015)
Partial Verification Results.
Valentin T. Wüstholz
Diss., Zürich, ETH-Zürich (2015)
In-memory parallel join processing on multi-core processors.
Cagri Balkesen
Diss., Zürich, ETH-Zürich (2014)
Designprinzipien und Evaluation eines reliablen CBA-Systems zur Erhebung valider Leistungsdaten.
Markus Dahinden
Diss., Zürich, ETH-Zürich (2014)
Dynamic load balancing in parallel particle methods.
Ömer Demirel
Diss., Zürich, ETH-Zürich (2014)
Generating a Lattice of a given Genus.
Chandan Kumar Dubey
Diss., Zürich, ETH-Zürich (2014)
Community sense and response systems.
Matthew Faulkner
Diss., Pasadena, CA, California Institute of Technology (2014)
Detecting, Understanding, and Fixing Control-Flow Errors in Business Process Models.
Cédric Favre
Diss., Zürich, ETH-Zürich (2014)
Strengthening the security of key exchange protocols.
Michèle Feltz
Diss., Zürich, ETH-Zürich (2014)
Exploiting model structure for efficient hybrid dynamical systems simulation.
Xenofon Floros
Diss., Zürich, ETH-Zürich (2014)
Work Sharing Data Processing Systems.
Georgios Giannikis
Diss., Zürich, ETH-Zürich (2014)
Toward Full Autonomy for Vision-Guided Robots. From Self-Calibration to Self-Directed Exploration.
Lionel Heng
Diss., Zürich, ETH-Zürich (2014)
Communication efficient algorithms for numerical problems on full and sparse grids.
Philipp Hupp
Diss., Zürich, ETH-Zürich (2014)
Storing and processing temporal data in main memory column stores.
Martin Kaufmann
Diss., Zürich, ETH-Zürich (2014)
Complexity of optimization problems. Advice and approximation.
Lucia Keller
Diss., Zürich, ETH-Zürich (2014)
On Reducing Cryptographic Assumptions.
Robin Künzler
Diss., Zürich, ETH-Zürich (2014)
Advanced Energy Optimization Algorithms for 2D and 3D Video-Based Graphics Applications.
Manuel Lang
Diss., Zürich, ETH-Zürich (2014)
Visual mapping and pose estimation for self-driving cars.
Gim Hee Lee
Diss., Zürich, ETH-Zürich (2014)
Modeling memory system performance of NUMA multicore-multiprocessors.
Zoltán Majó
Diss., Zürich, ETH-Zürich (2014)
Towards document engineering on pen and touch-operated interactive tabletops.
Fabrice Matulic
Diss., Zürich, ETH-Zürich (2014)
Interacting with the Web of Things.
Simon Mayer
Diss., Zürich, ETH-Zürich (2014)
The cloud, paper planes, and the cube.
Gajamohan Mohanarajah
Diss., Zürich, ETH-Zürich (2014)
Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis.
Bruno C. Montalto
Diss., Zürich, ETH-Zürich (2014)
Computational Design and Fabrication of Deformable Objects.
Skouras Mélina
Diss., Zürich, ETH-Zürich (2014)
Random Graph Models for Complex Systems.
Ueli Peter
Diss., Zürich, ETH-Zürich (2014)
Computational Models for Stereoscopic Perception.
Steven C. Poulakos
Diss., Zürich, ETH-Zürich (2014)
Broadcast Amplification.
Pavel Raykov
Diss., Zürich, ETH-Zürich (2014)
Secure Data Deletion.
Joel Reardon
Diss., Zürich, ETH-Zürich (2014)
Encrypting Databases in the Clouds. Threats and Solutions.
Tahmineh Sanamrad
Diss., Zürich, ETH-Zürich (2014)
Analyse eines technical visual literacy-Unterrichts mit e-Observation.
Barbara M. Scheuner
Diss., Zürich, ETH-Zürich (2014)
Machine learning approaches for structure analysis in medical image data.
Peter J. Schüffler
Diss., Zürich, ETH-Zürich (2014)
Advice complexity of online graph problems.
Björn C. Steffen
Diss., Zürich, ETH-Zürich (2014)
Convex Optimization with Random Pursuit.
Sebastian U. Stich
Diss., Zürich, ETH-Zürich (2014)
Geometric Change Detection and Image Registration in Large Scale Urban Environments.
Aparna Taneja
Diss., Zürich, ETH-Zürich (2014)
Data storage, transfers and communication in personal clouds.
Ercan Ucan
Diss., Zürich, ETH-Zürich (2014)
FPGA-enhanced data processing systems.
Louis Woods
Diss., Zürich, ETH-Zürich (2014)
Convex optimization as a building block for difficult problems in machine learning.
Sharon Wulff
Diss., Zürich, ETH-Zürich (2014)
Agile Software Development with Object Databases.
Tilmann Zaschke
Diss., Zürich, ETH-Zürich (2014)
Verification of Graph Programs.
Christopher M. Poskitt
Diss., York, The University of York, Department of Computer Science (2013)
Assisted and automated RNA resonance assignment using chemical shift statistics and the finding of a widespread C-H···O hydrogen-bond stabilized glycoepitope architecture.
Thomas Aeschbacher
Diss., Zürich, ETH (2013)
A domain-specific language and scalable middleware for particle-mesh simulations on heterogeneous parallel computers.
Omar Awile
Diss., Zürich, ETH (2013)
Acquisition, processing and display for 3D live-action cinema and television.
Jeroen van Baar
Diss., Zürich, ETH-Zürich (2013)
Visual location recognition in man-made and natural environments.
Georges Baatz
Diss., Zürich, ETH (2013)
Compiler-assisted thread abstractions for resource-constrained systems.
Alexander Bernauer
Diss., Zürich, ETH (2013)
Integral methods for quadratic programming. Theory and implementation.
Yves D. Brise
Diss., Berlin, Logos Verlag (2013)
Simulating evolution for studies in comparative genomics.
Daniel Dalquen
Diss., Zürich, ETH (2013)
Ramsey properties of random graphs and hypergraphs.
Luca Gugelmann
Diss., Zürich, ETH (2013)
On expansion and spectral properties of simplicial complexes.
Anna Gundert
Diss., Zürich, ETH (2013)
Information-theoretic validation of clustering algorithms.
Morteza Haghir Chehreghani
Diss., Zürich, ETH Zürich (2013)
Scalable Monitoring of Concurrent Systems.
Matus Harvan
Diss., Zürich, ETH (2013)
Toward massively parallel multi-objective optimization with application to particle accelerators.
Yves Ineichen
Diss., Zürich, ETH (2013)
Algorithms and Interfaces for Real-Time Deformation of 2D and 3D Shapes.
Alec Jacobson
Diss., Zürich, ETH (2013)
Paradigms and tools for developing dependable realtime software.
Daniel E. Keller
Diss., Zürich, ETH (2013)
Advancing automated security protocol verification.
Simon Meier
Diss., Zürich, ETH (2013)
Online Feedback-Directed Optimizations for Parallel Java Code.
Albert Noll
Diss., Zürich, ETH (2013)
Efficient algorithms for Lagrangian visualization of flow structures.
Benjamin Schindler
Diss., Zürich, ETH Zürich (2013)
Inference and learning algorithms with applications to 3D indoor scene understanding.
Alexander G. Schwing
Diss., Zürich, ETH-Zürich (2013)
Analysis of hard problems in reoptimization and online computation.
Andreas Sprock
Diss., Zürich, ETH (2013)
Enhancing separation logic for object-orientation.
Stephanus J. van Staden
Diss., Zürich, ETH (2013)
Alignment of genomic sequences with intrinsic disorder and tandem repeats.
Adam M. Szalkowski
Diss., Zürich, ETH (2013)
Aspects of games on random graphs.
Henning Thomas
Diss., Zürich, ETH (2013)
Automatic Translation and Object-Oriented Reengineering of Legacy Code.
Marco Trudel
Diss., Zürich, ETH (2013)
Declarative resource management for virtual network systems.
Qin Yin
Diss., Zürich, ETH (2013)
Meshless sampling and reconstruction of manifolds and patterns.
A. Cengiz Öztireli
Diss., Zürich, ETH (2013)
Uncertain optimization using approximation sets. An algorithimc perspective.
Rastislav Šrámek
Diss., Zürich, ETH-Zürich (2013)
Structural robustness in combinatorial optimization.
David Adjiashvili
Diss., Zürich, ETH (2012)
Security proofs in number theoretic cryptography.
Divesh Aggarwal
Diss., Zürich, ETH (2012)
Orthology inference. Methods, benchmarking and applications.
Adrian M. Altenhoff
Diss., Zürich, ETH (2012)
Subspaces in geometric computer vision. Models and algorithms.
Roland Angst
Diss., Zürich, ETH (2012)
Passive Spatio-Temporal Geometry Reconstruction of Human Faces at Very High Fidelity.
Thabo Beeler
Diss., Zürich, ETH (2012)
Indexing and search on complex data warehouses and rapidly-changing data.
Lukas Blunschi
Diss., Zürich, ETH (2012)
Generative embedding and variational Bayesian inference for multivariate time series.
Kay H. Brodersen
Diss., Zürich, ETH (2012)
A framework for modelling and testing of security policies.
Lukas Alexander Brügger
Diss., Zürich, ETH (2012)
Modeling and Enforcing Workflow Authorizations.
Samuel J. Burri
Diss., Zürich, ETH (2012)
Information theoretic modeling of dynamical systems. Estimation and experimental design.
Alberto Giovanni Busetto
Diss., Zürich, ETH (2012)
Information in orderings. Learning to order.
Ludwig M. Busse
Diss., Zürich, ETH (2012)
Modeling, compiling, and efficiently executing business processes on resource-constrained wireless sensor networks.
Alexandru Mircea Caracaş
Diss., Zürich, ETH (2012)
Solving combinatorial problems with SAT.
Yury Chebiryak
Diss., Zürich, ETH (2012)
Tensor Norms And Non-Locality.
Dejan D. Dukaric
Diss., Zürich, ETH (2012)
Management and Federation of Stream Processing Applications.
Michael A. Duller
Diss., München, Verlag Dr. Hut (2012)
Balanced partitioning of grids and related graphs. A theoretical study of data distribution in parallel finite element model simulations.
Andreas E. Feldmann
Diss., Göttingen, Cuvillier Verlag (2012)
A highly scalable memory efficient multigrid solver for µ-finite element analyses.
Cyril Flaig
Diss., Zürich, ETH (2012)
Distillation and units of nonlocality.
Manuel Forster
Diss., Zürich, ETH (2012)
Analysis of reachability properties in communicating authorization policies.
Simone Frau
Diss., Zürich, ETH (2012)
Randomness From Non-Local Correlations.
Viktor Galliard
Diss., Zürich, ETH (2012)
Information-theoretic analyses of symmetric-cryptography constructions in idealized models.
Peter Gaži
Diss., Zürich, ETH (2012)
Video-Based Rendering Techniques.
Marcel Germann
Diss., Zürich, ETH (2012)
Integrating Cloud Applications with Mobile Devices. Design Principles and Performance Optimizations.
Ioana Giurgiu
Diss., Zürich, ETH (2012)
3-Dimensional Eigenmodal Analysis of Electromagnetic Structures.
Hua Guo
Diss., Zürich, ETH (2012)
Scalable systems for data analytics and integration.
Martin Hentschel
Diss., Zürich, ETH (2012)
Scaling Out Column Stores. Data, Queries, and Transactions.
Stefan Hildenbrand
Diss., Zürich, ETH (2012)
User-Centered Security Mechanisms for Protecting Information Sharing in the Cloud.
Iulia Ion
Diss., Zürich, ETH (2012)
Combinatorial Problems with Submodular Coupling In Machine Learning and Computer Vision.
Stefanie S. Jegelka
Diss., Zürich, ETH (2012)
On Competition and Learning in Cortical Structures.
Florian Jug
Diss., Zürich, ETH (2012)
Discontinuous Galerkin FEM in Computer Graphics.
Peter Kaufmann
Diss., Zürich, ETH (2012)
Cryptanalysis of hardware-oriented ciphers the Knapsack generator, and SHA-1.
Simon Knellwolf
Diss., Zürich, ETH (2012)
Advice and Randomization in Online Computation.
Dennis Komm
Diss., Zürich, ETH (2012)
On principles of cortical computation.
Christoph Krautz
Diss., Zürich, ETH (2012)
Graceful Degradation in Multi-Party Computation.
Christoph Lucas
Diss., Zürich, ETH (2012)
Exact Algorithms for Constraint Satisfaction Problems.
Robin Alexander Moser
Diss., Zürich, ETH (2012)
Lightweight informed adaptation. Methods and tools for responsive design and development of very flexible, highly adaptive web interfaces.
Michael Nebeling
Diss., Zürich, ETH (2012)
Novel Toolset for 2D Drawing and Animation.
Gioacchino Noris
Diss., Zürich, ETH (2012)
Real-time camera control for interactive 3D applications.
Thomas Oskam
Diss., Zürich, ETH (2012)
Safe loading and efficient runtime confinement. A foundation for secure execution.
Mathias J. Payer
Diss., Zürich, ETH (2012)
Resource management in a multicore operating system.
Simon Peter
Diss., Zürich, ETH (2012)
Detail enhancement for fluid simulations using turbulence modeling.
Tobias Pfaff
Diss., Zürich, Eidgenössische Technische Hochschule ETH Zürich (2012)
A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution.
Marco Piccioni
Diss., Zürich, ETH (2012)
Towards accurate structured output learning and prediction.
Patrick André Pletscher
Diss., Zürich, ETH (2012)
Program analyses for automatic and precise error detection.
Michael Pradel
Diss., Zürich, ETH (2012)
A requirement-oriented data quality model and framework of a food composition database system.
Karl Philippe Presser
Diss., Zürich, ETH (2012)
Understanding tRNA and translation mechanics via analysis of codon usage bias.
Alexander Roth
Diss., Zürich, ETH (2012)
Localizing and Understanding Verification Errors.
Joseph N. Ruskiewicz
Diss., Zürich, ETH (2012)
Formalizing the logic of event-B. Partial functions, definitional extensions, and automated theorem proving.
Matthias Schmalz
Diss., Zürich, ETH (2012)
Methods for artistic stylization in 3D animation.
Johannes Schmid
Diss., Zürich, ETH (2012)
Formal analysis of key exchange protocols and physical protocols.
Benedikt Schmidt
Diss., Zürich, ETH (2012)
Nearest Neighbor Search with Generalized Queries.
Marcel Schöngens
Diss., Zürich, ETH (2012)
Tackling OS Complexity with Declarative Techniques.
Adrian L. Schüpbach
Diss., Zürich, ETH (2012)
Measuring hardness of complex problems. Approximability and exact algorithms.
Monika Steinová
Diss., Zürich, ETH (2012)
Multicore architectures as platform to extend database engine functionality.
Ionut Subasu
Diss., Zürich, ETH (2012)
Physical-layer security aspects of wireless localization.
Nils O. Tippenhauer
Diss., Zürich, ETH (2012)
Structural analysis of inference problems arising in systems biology.
Markus Uhr
Diss., Zürich, ETH (2012)
Elastic, Reliable, and Robust Storage and Query Processing with Crescando/RB.
Philipp T. Unterbrunner
Diss., Zürich, ETH (2012)
Weakly supervised semantic segmentation of natural images.
Alexander Vezhnevets
Diss., Zürich, ETH (2012)
Putting Contracts to Work for Better Automated Testing and Fixing.
Yi Wei
Diss., Zürich, ETH (2012)
Ubiquitous Computing Technologies for Residential Energy Conservation.
Markus Weiss
Diss., Zürich, ETH (2012)
Classical and Quantum Secure Two-Party Computation.
Severin Winkler
Diss., Zürich, ETH (2012)
RFID Authentication. New Techniques and Privacy Implications.
Davide Zanetti
Diss., Zürich, ETH (2012)
Reoptimization of NP-hard Problems.
Anna Zych
Diss., Zürich, ETH (2012)
An Efficient Bar Code Recognition Engine for Enabling Mobile Services.
Robert Adelmann
Diss., Zürich, ETH (2011)
Exploiting Task-Order Information in Compilers for Shared-Memory Parallel Programs.
Christoph Angerer
Diss., Zürich, ETH (2011)
Rumer. A programming language and modular verification technique based on relationships.
Stephanie Balzer
Diss., Zürich, ETH (2011)
Modeling and Evaluation of Computer-Assisted Spelling Learning in Dyslexic Children.
Gian-Marco Baschera
Diss., Zürich, ETH (2011)
Numerical Methods for Stochastic Processes with Applications in Chemical Kinetics and Biology.
Basil Bayati
Diss., Zürich, ETH (2011)
Robust Indoor Positioning through Adaptive Collaborative Labeling of Location Fingerprints.
Philipp L. Bolliger
Diss., Zürich, ETH (2011)
Storage management techniques for stream processing.
Irina Botan
Diss., Zürich, ETH (2011)
Approximating and Interpolating Theories of Arithmetic for Software Verification.
Angelo Brillout
Diss., Zürich, ETH (2011)
Discrete Descriptions of Geometric Objects.
Tobias Christ
Diss., Zürich, ETH (2011)
Physical-Layer Identification of Wireless Devices.
Boris D. Danev
Diss., Zürich, ETH (2011)
Mapping Polygons.
Yann Disser
Diss., Berlin, Logos Verlag GmbH (2011)
Optimization of Railway Operations. Algorithms, Complexity, and Models.
Holger F.R. Flier
Diss., Zürich, ETH (2011)
Flexible Models for Programming the Web.
Ghislain Fourny
Diss., Zürich, ETH (2011)
Combinatorial Games on Graphs.
Heidi Gebauer
Diss., Zürich, ETH (2011)
A Web of Things Application Architecture. Integrating the Real-World into the Web.
Dominique Guinard
Diss., Zürich, ETH (2011)
Beyond the Digital Capture of Paper Notes. Investigations of Enhanced Natural Notetaking based on Digital Pen and Paper Technology.
Adriana Ispas
Diss., Zürich, ETH (2011)
Sparse Convex Optimization Methods for Machine Learning.
Martin Jaggi
Diss., Zürich, ETH (2011)
New Primitives for Secure Resource and Computation Verification.
Ghassan O. Karame
Diss., Zürich, ETH (2011)
Machine learning approaches for neuron geometry extraction and synapse detection in electron microscopy images.
Verena S. Kaynig-Fittkau
Diss., Zürich, ETH (2011)
A formal definition of JML in Coq and its application to runtime assertion checking.
Hermann Lehner
Diss., Zürich, ETH (2011)
Information Components as a Basis for Crowdsourced Information System Development.
Stefania Leone
Diss., Zürich, ETH (2011)
Flexible, Unified and Directable Methods for Simulating Deformable Objects.
Sebastian Martin
Diss., Zürich, ETH (2011)
Intervals. Data-Race-Free Parallel Programming.
Nicholas Matsakis
Diss., Zürich, ETH (2011)
On the Problem of Sorting Railway Freight Cars. An Algorithmic Perspective.
Jens H. Maue
Diss., Göttingen, Cuvillier Verlag (2011)
Ramsey games in random graphs.
Torsten Mütze
Diss., Zürich, ETH (2011)
On Secure Wireless Communication under Adversarial Interference.
Christina Pöpper
Diss., Zürich, ETH (2011)
Partial-propensity simulation algorithms for stochastic chemical kinetics and the role of fluctuations in mesoscopic reaction systems.
Rajesh Ramaswamy
Diss., Zürich, ETH (2011)
Primitives For Secure Localization And Location Verification.
Kasper B. Rasmussen
Diss., Zürich, ETH (2011)
Modularity as a systems design principle.
Jan Rellermeyer
Diss., Zürich, ETH (2011)
Multiresolution Flow Simulations on Multi/Many-Core Architectures.
Diego Rossinelli
Diss., Zürich, ETH (2011)
Automatic verification of heap structures with stereotypes.
Arsenii Rudich
Diss., Zürich, ETH (2011)
Algorithms and Extremal Properties of SAT and CSP.
Dominik A. Scheder
Diss., Zürich, ETH (2011)
Discretization-Corrected PSE Operators for Adaptive Multiresolution Particle Methods.
Birte Schrader
Diss., Zürich, ETH (2011)
Data stream processing in complex applications.
Kyumars Sheykh Esmaili
Diss., Zürich, ETH (2011)
Source Separation using Non-Negativity and Sparsity Constraints.
Christian D. Sigg
Diss., Zürich, ETH (2011)
Depth, crossings and conflicts in discrete geometry.
Marek Sulovský
Diss., Zürich, ETH (2011)
Building Blocks for a Participatory Web of Things. Devices, Infrastructures, and Programming Frameworks.
Mihai V. Trifa
Diss., Zürich, ETH (2011)
Termination Analysis for Bit-Vector Programs.
Christoph M. Wintersteiger
Diss., Zürich, ETH (2011)
Model Checking Boolean Programs.
Gérard C. Basler
Diss., Zürich, ETH (2010)
Measurement-based Modeling and Fabrication of Deformable Materials for Human Faces.
Bernd Bickel
Diss., Zürich, ETH (2010)
Static Analysis for SystemC with Scoot. From Verification to Simulation.
Nicolas Blanc
Diss., Zürich, ETH (2010)
Design and Validation of Proteome Measurements.
Manfred Claassen
Diss., Zürich, ETH (2010)
From temporal logics to automata via alternation elimination.
Christian N. Dax
Diss., Zürich, ETH (2010)
Zero-copy network communication. An applicability study of iWARP beyond micro benchmarks.
Philip W. Frey
Diss., Zürich, ETH (2010)
Computational Pathology. A Machine Learning Approach.
Thomas J. Fuchs
Diss., Zürich, ETH (2010)
Evaluating Sequence Alignments and Phylogenies. New Methods and Large-Scale Comparisons.
Manuel Gil
Diss., Zürich, ETH (2010)
Hardware architectures for point-based graphics.
Simon Heinzle
Diss., Zürich, ETH (2010)
Computational Methods for Analyzing and Simulating Intra-Cellular Transport Processes.
Jo A. Helmuth
Diss., Zürich, ETH (2010)
Device-Independent Quantum Key Distribution.
Esther Hänggi
Diss., Zürich, ETH (2010)
Building Database Applications in the Cloud.
Tim Kraska
Diss., Zürich, ETH (2010)
Complexity Classes of Finite Automata.
Richard Královič
Diss., Zürich, ETH (2010)
Application-level System and Tool Support for Auto-ID Application Development.
Matthias Lampe
Diss., Zürich, ETH (2010)
Semi-Supervised Online Learning for Acoustic Data Mining.
Tser L.Y. Moh
Diss., Zürich, ETH (2010)
Black-box Landscapes. Characterization, Optimization, Sampling, and Application to Geometric Configuration Problems.
Christian L. Müller
Diss., Zürich, ETH (2010)
Data Stream Processing on Embedded Devices.
René Müller
Diss., Zürich, ETH (2010)
Effective Causal Analysis. Methods for Structure Learning and Explanations.
Jean-Philippe Pellet
Diss., Zürich, ETH (2010)
Coverage, Vacuity, and Interpolation in Model Checking.
Mitra Purandare
Diss., Zürich, ETH (2010)
Mobile Devices for Interacting with Tagged Objects. Development Support and Usability.
Christof Roduner
Diss., Zürich, ETH (2010)
Computational visualization of physics and topology in unsteady flow.
Filip Sadlo
Diss., Zürich, ETH (2010)
Security Protocols for Wireless Networks and their Formal Analysis.
Patrick Schaller
Diss., Zürich, ETH (2010)
A Collection-oriented Application Framework for Mobile Information Systems.
Alexandre de Spindler
Diss., Zürich, ETH (2010)
On the power of choices in random graph processes.
Reto Spöhel
Diss., Zürich, ETH (2010)
Multi-Label Classification and Clustering for Acoustics and Computer Security.
Andreas P. Streich
Diss., Zürich, ETH (2010)
Computational Indistinguishability Amplification.
Stefano M. Tessaro
Diss., Zürich, ETH (2010)
Application-level multi-variant speculation with competitive parallel execution.
Oliver Trachsel
Diss., Zürich, ETH (2010)
Exponential Time Complexity of SAT and Related Problems.
Patrick Traxler
Diss., Zürich, ETH (2010)
Generalized Corruption Models in Secure Multi-party Computation.
Vassilis Zikas
Diss., Zürich, ETH (2010)
Reasoning about data abstraction in contract languages.
Ádám Péter Darvas
Diss., Zürich, ETH (2009)
Comparative Genomics Using Pairwise Evolutionary Distances.
Christophe Dessimoz
Diss., Zürich, ETH (2009)
Universe Types. Topology, encapsulation, genericity, and tools.
Werner Michael Dietl
Diss., Zürich, ETH (2009)
Searching Application Data.
Cristian I. Duda
Diss., Zürich, ETH (2009)
Algorithmic solutions for transient faults in communication networks. On swap edges and local algorithms.
Beat Gfeller
Diss., Zürich, ETH (2009)
Workflow-based Services. Infrastructure for Scientific Applications.
Thomas Heinis
Diss., Zürich, ETH (2009)
Digitally augmenting traditional play environments.
Steve Hinske
Diss., Zürich, ETH (2009)
Algorithmic Approaches for Solving Hard Problems. Approximation and Complexity.
Tobias Mömke
Diss., Zürich, ETH (2009)
Theory and applications of runtime monitoring metric first-order temporal logic.
Samuel Müller
Diss., Zürich, ETH (2009)
Proofs and proof transformations for object-oriented programs.
Darío M. Nordio
Diss., Zürich, ETH (2009)
Multi-Level Change Awareness for Collaborative Authoring Applications.
Stavroula Papadopoulou
Diss., Zürich, ETH (2009)
Concepts and Tools for Teaching Programming.
Michaela Pedroni
Diss., Zürich, ETH (2009)
Dynamic Updating of Object-Oriented Software Systems Based on Aspects.
Susanne Previtali-Cech
Diss., Zürich, ETH (2009)
Exploring the Limits of Multi-Party Computation.
Dominik Raub
Diss., Zürich, ETH (2009)
Crossing-Free Configurations on Planar Point Sets.
Andreas Razen
Diss., Zürich, ETH (2009)
Reducing uncertainty in wireless sensor networks. Network inspection and collision-free medium access.
Matthias Ringwald
Diss., Zürich, ETH (2009)
Adaptive sensor selection algorithms for wireless sensor networks.
Silvia Santini
Diss., Zurich, ETH (2009)
Codon-based Models of Evolution and Applications in Mammalian Phylogeny.
Adrian Schneider
Diss., Zürich, ETH (2009)
Online Optimizations using Hardware Performance Monitors.
Florian T. Schneider
Diss., Zürich, ETH (2009)
Protocols for Secure Communication in Wireless Sensor Networks.
Harald Vogt
Diss., Zürich, ETH (2009)
A Publishing Infrastructure for Interactive Paper Documents. Supporting Interactions across the Paper-Digital Divide.
Nadir Weibel
Diss., Zürich, ETH (2009)
Extremal colorings and extremal satisfiability.
Philipp Zumstein
Diss., Zürich, ETH (2009)
Hosting distributed software projects. Concepts, framework and the Origo experience.
Till Bay
Diss., Zürich, ETH (2008)
Efficient multi-party computation with information-theoretic security.
Zuzana Beerliová-Trubíniová
Diss., Zürich, ETH (2008)
Colorings and transversals of graphs.
Robert Berke
Diss., Zürich, ETH (2008)
A Workflow Approach to Stream Processing.
Biörn Johan Biörnstad
Diss., Zürich, ETH (2008)
tegies for random contract-based testing.
Ilinca Ciupa
Diss., Zürich, ETH (2008)
Scenario-Driven Prototyping for Ubiquitous Computing. A Novel Method for the Assessment of Technological Challenges and Societal Implications.
Vlad Constantin Coroama
Diss., Zürich, ETH (2008)
Graph excerpts. Approximate shortest paths with preprocessing.
Jörg Derungs
Diss., Zurich, ETH (2008)
Multiscale modeling and simulation of fullerenes in liquids.
Evangelos M. Kotsalis
Diss., Zürich, ETH (2008)
A design framework for 3D spatial gesture interfaces.
Doo Young Kwon
Diss., Zürich, ETH (2008)
Contract-based tests in the software process and environment.
Andreas E. Leitner
Diss., Zürich, ETH (2008)
Optimal trading algorithms. Portfolio transactions, multiperiod portfolio selection, and competitive online search.
Julian M. Lorenz
Diss., Zürich, ETH (2008)
Proofs for the working engineer.
Farhad Dinshaw Mehta
Diss., Zürich, ETH (2008)
Infinite-dimensional exponential families in cluster analysis of structured data.
Peter Orbanz
Diss., Zürich, ETH (2008)
Colorability properties of random graphs.
Konstantinos Panagiotou
Diss., Zürich, ETH (2008)
Pay-as-you-go information integration in personal and social dataspaces.
Marcos Antonio Vaz Salles
Diss., Zürich, ETH (2008)
Making classes provable through contracts, models and frames.
Bernd K.A. Schoeller
Diss., Zürich, ETH (2008)
Interactive simulation of topological changes on deformable objects.
Denis Steinemann
Diss., Zürich, ETH (2008)
From theory to practice. Fundamental properties and services of mobile ad hoc networks.
Patrick M. Stüdi
Diss., Zürich, ETH (2008)
Congestion control in wireless multi-hop networks.
Yang Su
Diss., Zürich, ETH (2008)
On locality and related problems. Communicating, computing, exploring.
Elias Vicari
Diss., Zürich, ETH (2008)
Using patterns to develop consistent design constraints.
Michael S. Wahler
Diss., Zürich, ETH (2008)
Combinatorial Methods for Analyzing Network Security and Reliability.
Rico Zenklusen
Diss., Zürich, ETH (2008)
Holography and wave-based image generation.
Remo A. Ziegler
Diss., Zürich, ETH (2008)
Replication in a database cluster with freshness and correctness guarantees.
Fuat Akal
Diss., Zürich, ETH (2007)
Interactive learning environments for mathematical topics.
Rudolf Arnold
Diss., Zürich, ETH (2007)
Multiresolution particle methods for the simulation of growth and flow.
Michael E. Bergdorf
Diss., Zürich, ETH (2007)
Specification-based Firewall Testing.
Diana von Bidder
Diss., Zürich, ETH (2007)
A component language for pointer-free concurrent programming and its application to simulation.
Luc Bläser
Diss., Zürich, ETH (2007)
An interactive proof environment for object-oriented specifications.
Achim D. Brucker
Diss., Zürich, ETH (2007)
Smart displays in interactive visual workspaces.
Daniel Cotting
Diss., Zürich, ETH (2007)
Building formal models of next-generation security protocols.
Paul David Hankes Drielsma
Diss., Zürich, ETH (2007)
Role-based configuration of wireless sensor networks.
Christian Frank
Diss., Zürich, ETH (2007)
Algorithms for analyzing signals in DNA. Applications to transcription and translation.
Markus Friberg
Diss., Zürich, ETH (2007)
Type safety of C# and .Net CLR.
Nicu Georgian Fruja
Diss., Zürich, ETH (2007)
On the Impact of Uncertainty on some Optimization Problems. Combinatorial Aspects of Delay Management and Robust Online Scheduling.
Michael J. Gatto
Diss., Zurich, ETH (2007)
An Object-Oriented Version Model for Context-Aware Data Management.
Michael Grossniklaus
Diss., Zürich, ETH (2007)
Consistent collision and self-collision handling for deformable objects.
Bruno Heinz Heidelberger
Diss., Zurich, ETH (2007)
Particle Methods for Flow-Structure Interactions.
Simone E. Hieber
Diss., Cuvillier, Göttingen (2007)
Specification and enforcement in distributed usage control.
Manuel Hilty
Diss., Zürich, ETH (2007)
A state-based programming model for wireless sensor networks.
Oliver Kasten
Diss., Zürich, ETH (2007)
Bioinspired optimization algorithms for the design of anguilliform swimmers.
Stefan Kern
Diss., Zürich, ETH (2007)
Formal approaches to countering side-channel attacks.
Boris Alexander Köpf
Diss., Zürich, ETH (2007)
Test automation for database management systems and database applications.
Chi Lik Eric Lo
Diss., Zürich, ETH (2007)
Spectral methods for reconstruction problems.
Dieter Mitsche
Diss., Zürich, ETH (2007)
Models and methods for the automated analysis of security protocols.
Sebastian A. Mödersheim
Diss., Zürich, ETH (2007)
Verifying abstract state machines.
Stanislas Nanchen
Diss., Zürich, ETH (2007)
Controlled, systematic, and efficient code replacement for running Java programs.
Angela Nicoarǎ
Diss., Zürich, ETH (2007)
Practical framework for contract-based concurrent object-oriented programming.
Piotr Nienaltowski
Diss., Zürich, ETH (2007)
Learning the Compositional Nature of Objects for Visual Recognition.
Björn Ommer
Diss., Zürich, ETH (2007)
Approaches to Efficient and Robust Cryptographic Protocols.
Bartosz Przydatek
Diss., Zürich, ETH (2007)
OpenXL. An adaptable Web Service middleware.
Christian Reichel
Diss., Zürich, ETH (2007)
Approximation schemes for geometric problems.
Jan Magnus Remy
Diss., Zürich, ETH (2007)
The P-matrix linear complementarity problem. generalizations and specializations.
Leonard Y. Rüst
Diss., Zürich, ETH (2007)
Measuring the perceived quality of parameterized multimedia algorithms.
Eva Maria Schuberth
Diss., Zürich, ETH (2007)
Securing information by controlling access to data in documents.
Paul Ersin Sevinç
Diss., Zürich, ETH (2007)
Weak pseudorandomness and unpredictability.
Ulf Johan Sjödin
Diss., Zürich, ETH (2007)
Network abstractions for wireless network applications.
Cristian Tuduce
Diss., Zürich, ETH (2007)
3D video acquisition, representation & editing.
Michael Waschbüsch
Diss., Zürich, ETH (2007)
Random graphs with structural constraints.
Andreas C. Weissl
Diss., Zürich, ETH (2007)
Modeling and animation with relaxed connectivity requirements.
Martin Wicke
Diss., Zürich, ETH (2007)
Oblivious-Transfer Amplification.
Jürg E. Wullschleger
Diss., Zürich, ETH (2007)
Mechanisms for efficient selfish routing and positioning in ad hoc networks.
Luzius Ulrich Anderegg
Diss., Zürich, ETH (2006)
Selective visualisation of unsteady 3D flow using scale-space and feature-based techniques.
Dirk Bauer
Diss., Zürich, ETH (2006)
User-centric dependability concepts for ubiquitous computing.
Jürgen Bohn
Diss., Berlin, dissertation.de (2006)
GraphBench: Exploring the Limits of Complexity with Educational Software.
Markus A. Brändle
Diss., Zürich, ETH Zürich (2006)
"Complex" statistical clustering models in image analysis and proteomics.
Bernd Fischer
Diss., Zürich, ETH (2006)
Adaptive optimization techniques for context-aware information filters.
Peter Michael Fischer
Diss., Zürich, ETH (2006)
Infrastructure support for RFID system.
Christian Flörkemeier
Diss., Zürich, ETH Zürich (2006)
Strengthening key agreement using hard-core sets.
Thomas Holenstein
Diss., Zürich, ETH (2006)
Maintaining consistency in collaboration over hierarchical documents.
Claudia-Lavinia Ignat
Diss., Zürich, ETH (2006)
Meshless Lagrangian methods for physics-based animations of solids and fluids.
Richard Keiser
Diss., Zurich, ETH (2006)
Descriptional and computational complexity in relation to the practicability of computation and computational modes.
Joachim Kupke
Diss., Zürich, ETH (2006)
Model selection and information fusion in grouping problems.
Tilman Lange
Diss., Zürich, ETH (2006)
Towards a universal information platform. An object-oriented, multi-user, information store.
Andrea Lombardoni
Diss., Zürich, ETH (2006)
Ramsey and Turán type problems in random graphs.
Martin Marciniszyn
Diss., Zürich, ETH (2006)
Routing in large vehicular ad hoc networks.
Valery Naumov
Diss., Zürich, ETH (2006)
Algorithm design and analysis of problems in manufacturing, logistic, and telecommunications. An algorithmic jam session.
Marc Nunkesser
Diss., Zürich, ETH (2006)
Indistinguishability and composition of random systems.
Krzysztof Pietrzak
Diss., Zürich, ETH (2006)
Ganymed. A Platform for Database Replication.
Christian A. Plattner
Diss., Zürich, ETH (2006)
Skizzieren in der Vorlesung. Ein kombinatorischer Ansatz zur Erkennung handgezeichneter Skizzen.
Konrad Pomm
Diss., Zürich, ETH (2006)
Algorithms for peptide identification by tandem mass spectrometry.
Felix Franz Roos
Diss., Zürich, ETH (2006)
Analysis, modeling, and simulation of diffusion processes in cell biology.
Ivo F. Sbalzarini
Diss., Zürich, ETH (2006)
Representation and rendering of implicit surfaces.
Christian Sigg
Diss., Zürich, ETH (2006)
Average performance analysis.
Alexander Souza
Diss., Zürich, ETH (2006)
Adaptive main memory compression.
Irina Tuduce
Diss., Zürich, ETH (2006)
Distributed Coordination. Collecting, Locking, and Matching.
Mirjam Wattenhofer
Diss., Zürich, ETH (2006)
Acquisition of human faces using a measurement-based skin reflectance model.
Tim Alexander Weyrich
Diss., Zürich, ETH Zürich (2006)
Computational nanofluidics for the study of biomolecular flows.
Urs R. Zimmerli
Diss., Zürich, ETH (2006)
Approximating the worst-case execution of soft real-time applications.
Matteo Corti
Diss., Zürich, ETH Zürich (2005)
Smallest enclosing balls of balls. Combinatorial structure & algorithms.
Kaspar Fischer
Diss., Zürich, ETH (2005)
Jadabs. An adaptive pervasive middleware architecture.
Andreas Ralph Frei
Diss., Zürich, ETH (2005)
Bluebottle: A Thread-safe Multimedia and GUI Framework for Active Oberon.
Thomas M. Frey
Diss., Zürich, ETH Zürich (2005)
On the existence of paths and cycles.
Michael Hoffmann
Diss., Zürich, ETH (2005)
The impact of video systems on architecture.
Silke Berit Lang
Diss., Konstanz, Hartung-Gorre Verlag (2005)
Personal privacy in ubiquitous computing. Tools and system support.
Marc Langheinrich
Diss., Zürich, ETH (2005)
Behavior modeling and real-time simulation for autonomous agents using hierarchies and level-of-detail.
Christoph B. Niederberger
Diss., Zürich, ETH (2005)
Structural parameters in combinatorial objects.
Yoshio Okamoto
Diss., Zürich, ETH (2005)
Security of quantum key distribution.
Renato Renner
Diss., Zürich, ETH (2005)
Linking physical and virtual worlds with visual markers and handheld devices.
Michael Rohs
Diss., Zürich, ETH (2005)
Time synchronization and localization in sensor networks.
Kay Uwe Römer
Diss., Zürich, ETH Zürich (2005)
Concepts and system structures to support collaborating everyday items.
Thomas M. Schoch
Diss., Zürich, ETH (2005)
Cooperating Smart Everyday Objects. Exploiting Heterogeneity and Pervasiveness in Smart Environments.
Frank Siegemund
Diss., Zürich, ETH (2005)
Fundamental concepts for interactive paper and cross-media information spaces.
Beat Signer
Diss., Zürich, ETH (2005)
Distributed cryptographic protocols in asynchronous networks with universal composability.
Reto Strobl
Diss., Konstanz, Hartung-Gorre Verlag (2005)
Optimization problems in mobile communication.
Gábor Vilmos Szabó
Diss., Zürich, ETH (2005)
Algorithms and Complexity for some Machine Scheduling and Prefetching Problems.
Birgitta Weber
Diss., Zürich, ETH (2005)
Multiscale simulations of carbon nanotubes in aqueous environments.
Thomas Ulrich Werder
Diss., Zürich, ETH (2005)
Call admission control and on-line interval coloring.
Udo Adamy
Diss., Zürich, ETH (2004)
From patterns to components.
Karine Marguerite Alice Arnout
Diss., Zürich, ETH (2004)
OPERA-G. A microkernel for computational grids.
Win Bausch
Diss., Zürich, ETH (2004)
A communication Architecture for Telepresence in Virtual Environments.
Edouard C. Lamboray
Diss., Konstanz, Hartung-Gorre Verlag (2004)
A multiresolution representation for light field acquisition and processing.
Reto Lütolf
Diss., Zürich, ETH (2004)
blue-c API. Software Support for Collaborative Virtual Reality.
Martin Näf
Diss., Konstanz, Hartung-Gorre Verlag (2004)
A flexible system for visual service composition.
Cesare Pautasso
Diss., Zürich, ETH (2004)
Detecting synchronization defects in multi-threaded object-oriented programs.
Christoph von Praun
Diss., Zürich, ETH (2004)
Above- and belowground patterns and processes following land use change in subalpine conifer forests of the Central European Alps.
Anita C. Risch
Diss., Zürich, ETH-Zürich (2004)
The role of large-scale disturbances and climate for the dynamics of forested landscapes in the European Alps.
Sabine Schumacher
Diss., Zürich, ETH-Zürich (2004)
Unique sink orientations of cubes.
Ingo A. Schurr
Diss., Zürich, ETH (2004)
Dynamic point samples as primitives for free-viewpoint video.
Stephan Würmlin
Diss., Konstanz, Hartung-Gorre Verlag (2004)
A framework for open surgery simulation.
Daniel Bielser
Diss., Konstanz, Hartung-Gorre Verlag (2003)
Multi-objective evolutionary optimization of gas turbine components.
Dirk Büche
Diss., Zürich, ETH (2003)
Algorithms and hardness results for DNA physical mapping, protein identification, and related combinatorial problems.
Mark Cieliebak
Diss., Zürich, ETH (2003)
Flow Complexes. Structure, Algorithms and Applications.
Matthias John
Diss., Zürich, ETH (2003)
A Uniform Framework for the Formal Specification and Verification of Information Flow Security.
Heiko Mantel
Diss., Saarbrücken, Saarland University (2003)
A scaleable multi-application environment for secure tokens.
Marcus Oestreicher
Diss., Zürich, ETH (2003)
Point primitives for interactive modeling and processing of 3D geometry.
Mark Pauly
Diss., Konstanz, Hartung-Gorre Verlag, 2003 (2003)
Cyclic railway timetable optimization = Optimalisatie van cyclische spoorwegdienstregelingen.
Leon Peeters
Diss., Rotterdam, vrije Universiteit (2003)
PROSE, a study on Dynamic AOP.
Andrei Popovici
Diss., Berlin, dissertation.de - Verlag im Internet GmbH (2003)
Using Oberon’s active objects for language interoperability and compilation.
Patrik René Celeste Reali
Diss., Zürich, ETH (2003)
Security in ad-hoc distributed systems.
Christian Rohner
Diss., Zürich, ETH (2003)
A scalable architecture for large scientific databases.
Etzard Stolte
Diss., Zürich, ETH (2003)
LP-related properties of polytopes with few facets.
Falk E. Tschirschnitz
Diss., Zürich, ETH (2003)
Fine-grained integration of Oberon into Windows using pluggable objects.
Emil Johann Zeller
Diss., Zürich, ETH (2003)
Continuous reconstruction, rendering, and editing of point-sampled surfaces.
Matthias Zwicker
Diss., Konstanz, Hartung-Gorre Verlag (2003)
Fast Approximation Algorithms for Steiner's Problem in Graphs.
Peter Widmayer
(1986) Karlsruhe: Universität Karlsruhe, Institut für Angewandte Informatik und Formale Beschreibungsverfahren.
Computational Complexity in Computer Graphics and VLSI Design.
Peter Widmayer
Diss., Karlsruhe, Germany, Fakultät für Wirtschaftswissenschaften - Universität Karlsruhe (1983)
 
 
Page URL: https://www.inf.ethz.ch/research/dissertations.html
Mon Apr 24 18:51:10 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich