IMPRS Publications

• View entries sorted by
  • Authors/Editors names
  • BibTeX Citation Keys
  • All Types of Entries
  • Only Thesis Entries
  • Years (including counts)
• Create a new entry...
  • Proceedings Volume:
  • - Paper
  • - Online Paper
  • - Whole Volume
  • - Poster
  • Journal:
  • - Article
  • - Electronic Article
  • Book:
  • - Part of, Chapter in
  • - Whole Book
  • - Electronic Book
  • Research Report
  • Thesis (Masters, PhD, Habil)
  • Manual
  • Unpublished or Draft
  • Miscellaneous
• MPG Jahrbuch
  • This Year (2013)
  • Last Year (2012)
  • Two Years Ago (2011)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Author/Editor	Month	Year			Title
126	Master's thesis
		Abed, Fidaa	Oct	2011			Coordination Mechanisms for Unrelated Machine Scheduling Universität des Saarlandes
		Ahmed, Naveed	Aug	2004			BRDF Reconstruction from Video Streams of Multi-View Recordings Universität des Saarlandes
		Ajwani, Deepak	Jan	2005			Design, Implementation and Experimental Study of External Memory BFS Algorithms Universität des Saarlandes
		Alcaraz Milman, Nicolas		2012			KeyPathwayMiner – Detecting Case-specific Biological Pathways by Using Expression Data Universität des Saarlandes
		Alexa, Adrian	Mar	2005			Integrating the GO graph structure in scoring the significance of Gene Ontology terms Universität des Saarlandes
		Alvarez Amaya, Victor	Nov	2007			Approximation of Minimum Spanning Trees of Set of Points in the Hausdorff Metric Universität des Saarlandes
		Anand, Avishek	Jan	2009			Index Partitioning Strategies for Peer-to-Peer Web Archival Universität des Saarlandes
		Andreescu, Laura Maria	Dec	2008			Pricing Information Goods in an Agent-based Information Filtering System Universität des Saarlandes
		Andreychenko, Aleksandr	Jul	2010			Uniformization for Time-Inhomogeneous Markov Population Models Universität des Saarlandes
		Angelova, Ralitsa	Jul	2004			Neighborhood Conscious Hypertext Categorization Universität des Saarlandes
		Antova, Lyublena	Feb	2006			Efficient Representation and Processing of Incomplete Information Universität des Saarlandes
		Arvanitopoulos-Darginis, Nikolaos		2012			Aggregation of Multiple Clusterings and Active Learning in a Transductive Setting Universität des Saarlandes
		Assenov, Yassen		2006			Topological Analysis of Biological Networks Universität des Saarlandes
		Azmy, Noran Hussein	Oct	2012			Formula Renaming with Generalizations Universität des Saarlandes
		Bogojeska, Jasmina	Jan	2007			Stability Analysis of Oncogenetic Trees Mixture Models Universität des Saarlandes
		Brudaru, Irina Ioana	Oct	2007			Heuristics for Average Diameter Approximation with External Memory Algorithms Universität des Saarlandes
		Byelozyorov, Sergey	Mar	2010			Construction of Virtual Worlds with Web 2.0 Technology Universität des Saarlandes
		Celikik, Marjan	Oct	2007			Efficient Large-Scale Clustering of Spelling Variants, with Applications to Error-Tolerant Text Search Universität des Saarlandes
		Chernov, Sergey	Feb	2005			Result Merging in a Peer-to-Peer Web Search Universität des Saarlandes
		Chitea, Alexandru	May	2007			Efficient Semantic Annotation of the English Wikipedia Universität des Saarlandes
		Ciobotaru, Oana-Madalina	Feb	2008			Efficient lont-term Secure Universally Composable Commitments Universität des Saarlandes
		Ciolacu, Ines Lucia	May	2011			Universally Composable Relativistic Commitments Universität des Saarlandes
		Ciprian, Raileanu	Feb	2008			Entity Extraction and Contextual Rule Selection in the Medical Domain Universität des Saarlandes
		Cotton, Scott		2005			Satisfiability Checking with Difference Constraints Universität des Saarlandes
		Croitoru, Cosmina	Sep	2012			Algorithmic Aspects of Abstract Argumentation Frameworks Universität des Saarlandes
		Danilewski, Piotr	Nov	2009			Binned kd-tree construction with SAH on the GPU Universität des Saarlandes
		de Aguiar, Edilson	Nov	2003			Character Animation from a Motion Capture Database Universität des Saarlandes
		de la Garza, Luis	Mar	2010			Implementation and evaluation of an efficient, distributed replication algorithm in a real network Universität des Saarlandes
		Demir, Melih	Nov	2006			Predicting Component Failures at Early Design Time Universität des Saarlandes
		Dimitrova, Rayna	May	2006			Model checking with Abstraction Refiniements for Well-Structured Systems Universität des Saarlandes
		Ding, Wei	Sep	2003			Geometric Rounding without changing the Topology Universität des Saarlandes
		Dumitriu, Daniel	Jun	2007			Graph-based Conservative Surface Reconstruction Universität des Saarlandes
		Ebrahimi, Mahdi	Sep	2011			Solving Linear Programs in MapReduce Universität des Saarlandes
		Elbassuoni, Shady	Jul	2007			Adaptive Personalization of Web Search Universität des Saarlandes
		Emeliyanenko, Pavel	Feb	2007			Visualization of Points and Segments of Real Algebraic Plane Curves Universität des Saarlandes
		Gao, Qi	Dec	2008			Low Bit Rate Video Compression Using Inpainting PDEs and Optic Flow Universität des Saarlandes
		Georgiev, Iliyan	Jul	2008			RTfact Concepts for Generic Ray Tracing Universität des Saarlandes
		Goncharov, Ilya	Dec	2012			Local Constancy Assumption Selection for Variational Optical Flow Universität des Saarlandes
		Granados Velásquez, Miguel Andrés	Feb	2008			Background Estimation from Photographs with Application to Ghost Removal in High Dynamic Range Image Reconstruction Universität des Saarlandes
		Halachev, Konstantin	Sep	2006			EpiGRAPH*regression: A toolkit for (epi-)genomic correlation analysis and prediction of quantitative attributes Universität des Saarlandes
		Hamerlik, Marek Lech	Sep	2008			Anonymity and Censorship Resistance in Semantic Overlay Networks Universität des Saarlandes
		Holder, Stefan	Sep	2008			Replication in Unstructured Peer-to-Peer Networks with Availability Constraints Universität des Saarlandes
		Honcharova, Olha	Feb	2009			Static detection of parametric loop bounds on C code Universität des Saarlandes
		Horazal, Fulya	Jul	2007			Towards a Natural Representation of Mathematics in Proof Assistants Universität des Saarlandes
		Hritcu, Catalin	May	2007			Step-indexed Semantic Model of Types for the Functional Object Calculus Universität des Saarlandes
		Huang, Bingding	Nov	2003			BDOCK: an Implementation of the FFT Protein-Protein Docking Method Using the BALL Library Universität des Saarlandes
		Hussain, Syed Sajjad	Aug	2005			Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework Universität des Saarlandes
		Ifrim, Georgiana	Feb	2005			A Bayesian Learning Approach to Concept-Based Document Classification Universität des Saarlandes
		Iqbal, Javeria	Aug	2011			Lineage Enabled Query Answering in Uncertain Knowledge Bases Universität des Saarlandes
		Ivanova, Violeta Nikolaeva	Feb	2011			Comparison of Methods for the Discovery of Copy Number Aberrations Relevant to Cancer Universität des Saarlandes
		Jindal, Alekh	Dec	2009			Quality in Phrase Mining Universität des Saarlandes
		Jurkiewicz, Tomasz	Jul	2009			Cycle Bases in Graphs Universität des Saarlandes
		Kaligossi, Kanela	Oct	2003			Length Bounded Network Flows Universität des Saarlandes
		Kalojanov, Javor	Sep	2009			Parallel and Lazy Construction of Grids for Ray Tracing on Graphics Hardware Universität des Saarlandes
		Kara, Abdul Qadar	Aug	2004			Indutive Learning Approaches in Information Extraction Analysis, Formalization, Comparison, Evaluation. Universität des Saarlandes
		Kargin, Yagiz	Feb	2011			Distributed Analytics over Web Archives Universität des Saarlandes
		Kasradze, Levan	May	2008			Implementation of a File-based Indexing Framework for the TopX Search Engine Universität des Saarlandes
		Khosla, Megha	Dec	2009			Message Passing Algorithms Universität des Saarlandes
		Kiraz, Mehmet Sabir		2003			Formalization and Verification of Informal Security Protocol Description Universität des Saarlandes
		Klein, Christian	Apr	2004			Controlled Perturbation for Voronoi Diagrams Universität des Saarlandes
		Kozlova, Natalia	Feb	2005			Automatic ontology extraction for document classification Universität des Saarlandes
		Kuhn Cuellar, Luis Eugenio	Apr	2010			A probabilistic algorithm for matching protein structures - and its application to detecting functionally relevant patterns Universität des Saarlandes
		Kumar, Ramesh	Dec	2003			Proving Program Termination via Transition Invariants Universität des Saarlandes
		Kuzey, Erdal	Apr	2011			Extraction of Temporal Facts and Events from Wikipedia Universität des Saarlandes
		Luxenburger, Julia	Oct	2004			Query-log based Authority Analysis for Web Information Search Universität des Saarlandes
		Machablishvili, Levan	Sep	2007			Computing k-hop Broadcast Trees Exactly Universität des Saarlandes
		Madrigal Mora, Cristián	Dec	2003			Client Framework for the REAL Smart Door Displays Universität des Saarlandes
		Mahmoud, Dina	Apr	2011			Multiple-Frame Image Super Resolution Based on Optic Flow Universität des Saarlandes
		Makari Manshadi, Faraz	May	2010			Fast Distributed Replication in Modern Networks Universität des Saarlandes
		Maksoud, Mohamed Abdel	Aug	2007			Generating Code from Abstract VHDL Models Universität des Saarlandes
		Malinowski, Mateusz	Jun	2011			Optimization Algorithms in the Reconstruction of MR Images: A Comparative Study Universität des Saarlandes
		Manolache, Gabriel	Jun	2008			Index-based Snippet Generation Universität des Saarlandes
		McCabe, Paul		2003			Lower Bounding the Number of Straight-Edge Triangulations of Planar Point Sets Universität des Saarlandes
		Michail, Dimitrios V.	Sep	2002			Lobster- A load balanced P2P content sharing network Universität des Saarlandes
		Mileva, Yana	May	2007			Invariance with Optic Flow Universität des Saarlandes
		Minko, Dudev	Sep	2008			Personalization of Search on Structured Data Universität des Saarlandes
		Moleda, Anna	Aug	2005			Probabilistic Scheduling for Top-k Query Processing Universität des Saarlandes
		Moran, Shay	Sep	2012			Shattering Extremal Systems Universität des Saarlandes
		Nenova, Stefana S.	Jun	2007			Extraction of Attack Signatures Universität des Saarlandes
		Nguyen, Dat Ba	Sep	2012			Efficient Entity Disambiguation via Similarity Hashing Universität des Saarlandes
		Osipov, Vitali	Aug	2006			A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs Universität des Saarlandes
		Pandey, Gaurav	Jun	2008			Retrieval Model Enhancement by Implicit Feedback from Query Logs Universität des Saarlandes
		Papapetrou, Odysseas		2005			On the Usage of Global Document Occurrences in Peer-to-Peer Information Systems Universität des Saarlandes
		Parks, Justin	Jan	2012			Saarland UniversityFaculty of Natural Sciences and Technology IDepartment of Computer Science Universität des Saarlandes
		Peters, Henning	Oct	2008			Hardware and Software Extensions for a FTIR Multi-Touch Interface Universität des Saarlandes
		Pir Moradian, Ebad	Apr	2011			Monocular Performance Capture via ToF Camera Universität des Saarlandes
		Piskac, Ruzica	Feb	2005			Formal correctness of Result Checking for Priority Queues Universität des Saarlandes
		Prytkova, Natalia	Nov	2011			Modeling and Evaluation of Co-Evolution in Collective Web Memories Universität des Saarlandes
		Puzhay, Dmytro	Jun	2009			Modeling bug reporter reputation Universität des Saarlandes
		Pyrga, Evangelia	Jan	2005			Shortest Paths in Time-Dependent Networks ant their Applications Universität des Saarlandes
		Ragneala, Roxana	Jul	2009			A useful resource for defect prediction models Universität des Saarlandes
		Ray, Saurabh	Jul	2005			Counting Straight-Edge Tringulation of Planar Point Sets Universität des Saarlandes
		Rizkallah, Christine	Dec	2009			Proof Representations for Higher-Order Logic Universität des Saarlandes
		Rusinov, Momchil	Aug	2008			Homomorphism Homogeneous Graphs Universität des Saarlandes
		Rybalchenko, Andrey	Sep	2002			A Model Checker based on Abstraction Refinement Universität des Saarlandes
		Saleem, Waqar	Dec	2004			A flexible framework for learning-based Surface Reconstruction Universität des Saarlandes
		Saliba, Bahjat	Feb	2012			An Evaluation Method For Indoor Positioning Systems On The Example Of LORIOT Universität des Saarlandes
		Schlicker, Andreas	Aug	2005			A Global Approach to Comparative Genomics: Comparison of Functional Annotation over the Taxonomie Tree Universität des Saarlandes
		Schoner, Jeffrey Lawrence	Nov	2003			Interactive Haptics and Display for Viscoelastic Solids Universität des Saarlandes
		Serdyukov, Pavel	Feb	2005			Query routing in Peer-to-Peer Web Search Universität des Saarlandes
		Setty, Vinay	Feb	2010			Efficiently Identifying Interesting Time-Points in Text Archive Search Universität des Saarlandes
		Shi, Kuangyu	Dec	2004			Extracting the topological structure of the higher order critical points for 3D vector fields Universität des Saarlandes
		Simonovsky, Martin	Mar	2011			Hand Shape Recognition Using a ToF Camera: An Application to Sign Language Universität des Saarlandes
		Siu, Weng-In	Oct	2005			Computational Prediction of MHC-Peptide Interaction Universität des Saarlandes
		Sliwerski, Jacek		2005			Locating the Risk of Changes Universität des Saarlandes
		Socher, Richard	Jul	2008			A Learning-Based Hierarchical Model for Vessel Segmentation Universität des Saarlandes
		Solomon, Silvana	Jun	2007			Evaluation of Relevance Feedback Algorithms for XML Retrieval Universität des Saarlandes
		Stegantova, Evghenia	Aug	2004			Multicommodity flows over time with costs Universität des Saarlandes
		Strauss, Martin	Oct	2007			Realtime generation of multimodal affective sports commentary for embodied agents Universität des Saarlandes
		Suchanek, Fabian	Mar	2005			Ontological Reasoning for Natural Language Understanding Universität des Saarlandes
		Tandon, Niket	Aug	2011			Deriving aWeb-Scale Common Sense Fact Knowledge Base Universität des Saarlandes
		Taneva, Bilyana	Jun	2008			Conjoint Analysis: A Tool for Preference Analysis Universität des Saarlandes
		Teflioudi, Christina	Jan	2011			Learning Soft Inference Rules in Large and Uncertain Knowledge Bases Universität des Saarlandes
		Teris, Liviu	May	2012			Securing User-data in Android A conceptual approach for consumer and enterprise usage Universität des Saarlandes
		Tiwary, Hansraj	Nov	2003			Orthogonal Range Searching Universität des Saarlandes
		Tolosi, Laura	Jun	2006			Analysis of Array CGH Data for the Estimation of Genetic Tumor Progression Universität des Saarlandes
		Trajkovski, Igor	Sep	2004			Analysis of protein binding pocket flexibility Universität des Saarlandes
		Tran, Anh Tuan	Mar	2011			Context-Aware Timeline for Entity Exploration Universität des Saarlandes
		Tverdyshev, Sergey	Sep	2003			Documentation and Modelling of the IPC Mechanism in the L4 Kernel Universität des Saarlandes
		Tylenda, Thomasz	May	2009			Time-aware Link Prediction in Evolving Social Networks Universität des Saarlandes
		Venkatachalapathy, Mahendiran	Sep	2012			Scheduling Strategies in a Main-Memory MapReduce Framework,Approach for countering Reduce side skew Universität des Saarlandes
		Xavier Parreira, Josiane	Nov	2003			Information Retrieval by Dimension Reduction A compartive Study Universität des Saarlandes
		Yin, Junming	Mar	2005			Model Selection for Mixtures of Mutagenetic Trees Universität des Saarlandes
		Yousefi, Mohammad Reza	Nov	2010			Generating Detailed Face Models by Controlled lighting Universität des Saarlandes
		Yu, Hang	Jun	2004			Importance Sampling in Photon Tracing Universität des Saarlandes
		Zheng, Qinqing	Mar	2012			Sparse Dictionary Learning with Simplex Constraints and Application to Topic Modeling Universität des Saarlandes
176	Doctoral dissertation
		Ajwani, Deepak	Dec	2008			Traversing large graphs in realistic settings Universität des Saarlandes
		Albrecht, Irene	Dec	2005			Faces and Hands - MODELING AND ANIMATING ANATOMICAL AND PHOTOREALISTIC MODELS WITH REGARD TO THE COMMUNICATIVE COMPETENCE OF VIRTUAL HUMANS Universität des Saarlandes
		Albrecht, Mario	Jun	2006			Combining Protein Structure Prediction with Experiments and Functional Information Universität des Saarlandes
		Althaus, Ernst	Dec	2000			Curve Reconsturction and teh Traveling Salesman Problem Universität des Saarlandes
		Altmann, Andé	Jun	2010			Bioinformatical Approaches to Ranking of anti-HIV Combination Therapies and Planning of Treatment Schedules Universität des Saarlandes
		Angelova, Ralitsa	Dec	2010			Graph-based Classification and Clustering of Entities in Heterogeneous Networks Universität des Saarlandes
		Annen, Thomas	Dec	2008			Efficient Shadow Map Filtering Universität des Saarlandes
		Awadallah, Rawia	Dec	2012			Methods for Constructing an Opinion Network for Politically Controversial Topics Universität des Saarlandes
		Baak, Andreas	Nov	2012			Retrieval-based Approaches for Tracking and Reconstructing Human Motions Universität des Saarlandes
		Backes, Werner	Jan	2005			Programmanalyse des XRTL Zwischencodes Universität des Saarlandes
		Beerenwinkel, Niko	Feb	2004			Computional Analysis of HIV Drug Resistance Data Universität des Saarlandes
		Behle, Markus	Dec	2007			Binary Decision Diagrams and Integer Programming Universität des Saarlandes
		Beier, René	Sep	2004			Probabilistic Analysis of Discrete Optimization Problems Universität des Saarlandes
		Bender, Michael	Jul	2007			Advanced Methods for Query Routing in Peer-to-Peer Information Retrieval Universität des Saarlandes
		Berberich, Eric	Dec	2008			Robust and Efficient Software for Problems in 2.5-Dimensional Non-Linear Geometry Universität des Saarlandes
		Berberich, Klaus	Jul	2010			Temporal Search in Web Archives Universität des Saarlandes
		Bock, Christoph	Oct	2008			Computational Epigenetics Universität des Saarlandes
		Bogojeska, Jasmina	Dec	2011			Statistical Learning Methods for Bias-aware HIV Therapy Screening Universität des Saarlandes
		Bozek, Kasia	Dec	2011			Analysis of HIV-host interaction on different scales Universität des Saarlandes
		Brabec, Stefan	Feb	2004			Shadow Techniques for Interactive and Real-Time Applications Universität des Saarlandes
		Broschart, Andreas	Oct	2012			Efficient Query Processing and Index Tuning using Proximity Scores Universität des Saarlandes
		Burkhardt, Stefan		2002			Filter Algorithms for Approximate String Matching Universität des Saarlandes
		Chen, Tongbo	Dec	2008			New 3D Scanning Techniques for Complex Scenes Universität des Saarlandes
		Ciobotaru, Oana-Madalina	Mar	2013			Rational Cryptography: Novel Constructions, Automated Verification and Unified Definitions Universität des Saarlandes
		Crauser, Andreas	Mar	2001			LEDA-SM: External Memory Algorithms and Data Structures in Theory and Practice Universität des Saarlandes
		Crecelius, Tom	Apr	2012			Socially Enhanced Search and Exploration in Social Tagging Networks Universität des Saarlandes
		Daubert, Katja	Feb	2004			Hardware-Supported Cloth Rendering Universität des Saarlandes
		de Aguiar, Edilson	Dec	2008			Animation and Performance Capture using Digitized Models Universität des Saarlandes
		DeMelo, Gerard	Dec	2010			Graph-based Methods for Large-Scale Multilingual Knowledge Integration Universität des Saarlandes
		Dementiev, Roman	Dec	2006			Algorithm Engineering for Large Data Sets Universität des Saarlandes
		Denev, Dimitar	Aug	2012			Models and Methods for Web Archive Crawling Universität des Saarlandes
		Didyk, Piotr	Aug	2012			Perceptual Display: Exceeding Display Limitations by Exploiting the Human Visual System Universität des Saarlandes
		Dietz, Laura	Jan	2011			Exploiting Graph-Structured Data in Generative Probabilistic Models Universität des Saarlandes
		Dimitrios, Michail	Nov	2006			Minimum Cycle Basis. Algorithms & Applications Universität des Saarlandes
		Dong, Zhao	Mar	2011			Visually Pleasing Real-time Global Illumination Rendering for Fully-dynamic Scenes Universität des Saarlandes
		Eigenwillig, Arno	May	2008			Real Root Isolation for Exact and Approximate Polynomials Using Descartes’ Rule of Signs Universität des Saarlandes
		Elbassuoni, Shady	Feb	2012			Effective Searching of RDF Knowledge Bases Universität des Saarlandes
		Emeliyanenko, Pavel	Nov	2012			Harnessing the Power of GPUs for Problems in Real Algebraic Geometry Universität des Saarlandes
		Emig, Dorothea	Feb	2011			Novel Analysis Approaches to Context-Dependent Molecular Networks Universität des Saarlandes
		Freiherr von Funck, Wolfram Alexander	Dec	2008			Shape Deformations Based on Vector Fields Universität des Saarlandes
		Fuchs, Christian	Mar	2009			Capturing and Reconstructing the Appearance of Complex 3D Scenes Universität des Saarlandes
		Fuchs, Martin	Dec	2008			Advanced Methods for Relightable Scene Representations in Image Space Universität des Saarlandes
		Funke, Stefan	Apr	2001			Combinatiorial Curve Reconstruction and the Efficient Exact Implementation of Geometric Algorithms Universität des Saarlandes
		Gall, Jürgen	Jul	2009			Filtering and Optimization Strategies for Markerless Human Motion Capture with Skeleton-based Shape Mod Universität des Saarlandes
		Gamkrelidze, Alexander		2001			Einige Optimierungsmethoden hierarchischer Schaltkreise Universität des Saarlandes
		Gergov, Jordan		2000			Algorithms for Interval Coloring, Geometric Packing and Memory Optimization Universität des Saarlandes
		Goesele, Michael	Jul	2004			New Acquisition Techniques for Real Objects and Light Sources in Computer Graphics Universität des Saarlandes
		Graupmann, Jens	May	2006			Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten Universität des Saarlandes
		Graupmann, Jens	Aug	2005			Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten Universität des Saarlandes
		Grosche, Peter Matthais	Nov	2012			Signal Processing Methods for Beat Tracking, Music Segmentation, and Audio Retrieval Universität des Saarlandes
		Günther, David	Dec	2013			Topological Analysis of Dicrete Scalar Data Universität des Saarlandes
		Hachenberger, Peter	Dec	2006			Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, Optimized Implementation, Experiments, and Applications Universität des Saarlandes
		Happ, Edda	Apr	2009			Analyses of Evolutionary Algorithms Universität des Saarlandes
		Harren, Rolf	Jul	2010			Two-dimensional Packing Problems Universität des Saarlandes
		Hartmann, Christoph	Jul	2008			Modeling of Flexible Side Chains for Protein-Ligand Docking Universität des Saarlandes
		Hasler, Nils	Feb	2010			Modelling Human Pose and Shape Based on a Database of Human 3D Scans Universität des Saarlandes
		Hemmer, Michael	May	2008			Exact Computation of the Adjacency Graph of an Arrangement of Quadrics Johannes Gutenberg-Universität Mainz
		Herzog, Robert	Apr	2010			Exploiting Coherence in Lighting and Shading Computations Universität des Saarlandes
		Hillenbrand, Thomas	Oct	2008			Superposition and Decision Procedures -- Back and Forth Universität des Saarlandes
		Hopf, Jörn	Jun	2001			Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorische Optimierungsproblem Universität des Saarlandes
		Horbach, Matthias		2010			Saturation-based Decision Procedures for Fixed Domain and Minimal Model Validity Universität des Saarlandes
		Hritcu, Catalin	Jan	2012			Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis Universität des Saarlandes
		Huber, Anna	Sep	2010			Randomized Rounding and Rumor Spreading with Stochastic Dependencies Universität des Saarlandes
		Hullin, Matthias	Oct	2010			Reconsidering Light Transport Acquisition and Display of Real-World Reflectance and Geometry Universität des Saarlandes
		Ifrim, Georgiana	Feb	2009			Statistical Learning Techniques for Text Categorization with Sparse Labeled Data Universität des Saarlandes
		Ihlemann, Carsten	Aug	2010			Reasoning in Combinations of Theories Universität des Saarlandes
		Ihrke, Ivo	May	2007			Reconstruction and Rendering of Time-Varying Natural Phenomena Universität des Saarlandes
		Jacobs, Swen	Jan	2010			Hierarchic Decision Procedures for Verification Universität des Saarlandes
		Johannsen, Daniel	Apr	2010			Random Combinatorial Structures and Randomized Search Heuristics Universität des Saarlandes
		Kähler, Kolja	Dec	2003			A Head Model with Anatomical Structure for Facial Modeling and Animation Universität des Saarlandes
		Karrenbauer, Andreas	Dec	2007			Engineering Combinatorial Optimization Algorithms to Improve the Lifetime of OLED Displays Universität des Saarlandes
		Kasneci, Gjergji	Sep	2009			Searching and Ranking in Entity-Relationship Graphs Universität des Saarlandes
		Katriel, Irit	Feb	2005			Constraints and Changes Universität des Saarlandes
		Kautz, Jan	Dec	2002			Realistic-Time Shading and Rendering of Objects with Complex Materials Universität des Saarlandes
		Kerber, Michael	Dec	2009			Geometric Algorithms for Algebraic Curves and Surfaces Universität des Saarlandes
		Klau, Gunnar Werner	Sep	2001			A Combinatorial Approach to Orthogonal Placement Problems Universität des Saarlandes
		Knapp, Steffen	Jul	2008			The Correctness of a Distributed Real-Time System Universität des Saarlandes
		Kohlbacher, Oliver		2000			New approaches to protein docking Universität des Saarlandes
		Konz, Verena	Nov	2012			Automated Methods for Audio-Based Music Analysis with Applications to Musicology Universität des Saarlandes
		Korovin, Konstantin		2003			Knuth-Bendix orders in automated deduction and term rewriting University of Manchester
		Kovács, Annamária	May	2007			Fast Algorithms for Two Scheduling Problems Universität des Saarlandes
		Kratsch, Stefan	Aug	2010			Kernelization of Generic Problems: Upper and Lower Bounds Universität des Saarlandes
		Krawczyk, Grzegorz Marek	Nov	2007			Perception-Inspired Tone Mapping Universität des Saarlandes
		Krysta, Piotr	Aug	2001			Approximation Algorithms for Combinatorial Optimization Problems in Graph Coloring and Network Design Universität des Saarlandes
		Langer, Thorsten	Dec	2008			On Generalized Barycentric Coordinates and Their Applications in Geometric Modeling Universität des Saarlandes
		Laue, Sören	Aug	2008			Approximation Algorithms for Geometric Optimization Problems Universität des Saarlandes
		Lennerz, Christian	Jun	2005			Distance Computation for Extended Quadratic Complexes Universität des Saarlandes
		Lensch, Hendrik Peter Asmus	Dec	2003			Efficient, Image-Based Appearance Acquisition of Real-World Objects Universität des Saarlandes
		Li, Ming		2004			Towards Real-Time Novel View Synthesis Using Visual Hulls Universität des Saarlandes
		Li, Ming	Feb	2005			Towards Real-Time Novel View Synthesis Using Visual Hulls Universität des Saarlandes
		Li, Zhao		2011			Multicast MAC Extensions for High Rate Real-Time Traffic in Wireless LANs Universität des Saarlandes
		Luxenburger, Julia	Dec	2008			Modeling and Exploiting User Search Behavior for Information Retrieval Universität des Saarlandes
		Maier, Patrick	Jul	2003			A Lattice-Theoretic Framework For Circular Asume-Guarantee Reasoning Universität des Saarlandes
		Manjunath, Madhusudan	Oct	2011			A Riemann-Roch Theory for Sublattices of the Root Lattice An, Graph Automorphisms and Counting Cycles in Graphs Universität des Saarlandes
		Mantiuk, Rafał	Dec	2006			HIGH-FIDELITY IMAGING - THE COMPUTATIONAL MODELS OF THE HUMAN VISUAL SYSTEM IN HIGH DYNAMIC RANGE VIDEO COMPRESSION, VISIBLE DIFFERENCE PREDICTION AND IMAGE PROCESSING Universität des Saarlandes
		Matijevic, Domagoj		2007			Geometric Optimization and Querying - Exact and Approximate Universität des Saarlandes
		Maydt, Jochen	Dec	2008			Analysis of Recombination in Molecular Sequence Data Universität des Saarlandes
		Meyer, Ulrich	Oct	2002			Design and Analysis of Sequential and Parallel Single–Source Shortest–Paths Algorithms Universität des Saarlandes
		Michail, Dimitrios	Nov	2006			Minimum Cycle Basis, Algorithms and Applications Universität des Saarlandes
		Michel, Sebastian	Jul	2007			Top-k Aggregation Queries in Large-Scale Distributed Systems Universität des Saarlandes
		Mileva, Yana Momchilova	Jul	2012			Mining the Evolution of Software Component Usage Universität des Saarlandes
		Mukhopadhyay, Supratik		2000			A Uniform Constraint-based Framework for the Verification of Infinite State Systems Universität des Saarlandes
		Nakashole, Ndapandula T.	Dec	2012			Automatic Extraction of Facts, Relations, and Entities for Web-Scale Knowledge Base Population Universität des Saarlandes
		Naujoks, Rouven	Dec	2008			NP-hard Networking Problems. Exact and Approximate Algorithms Universität des Saarlandes
		Naveed, Ahmed	Jul	2009			High Quality Dynamic Reflectance and Surface Reconstruction from Video Universität des Saarlandes
		Ohlmann, Michael	Aug	2004			Variability of Packet Round-Trip Times and Passive Bottleneck Bandwidth Estimation Universität des Saarlandes
		Ohlmann,. Michael	Jan	2005			Variability of Packet Round-Trip Times and Passive Bottleneck Bandwith Estimation Universität des Saarlandes
		Peter, Hans-Jörg	Nov	2012			A Uniform Approach to the Complexity and Analysis of Succinct Systems Universität des Saarlandes
		Polzin, Tobias	May	2003			Algorithms for the Steiner Problem in Networks Universität des Saarlandes
		Polzin, Tobias	Feb	2003			Algorithms for the Steiner Problem in Networks Universität des Saarlandes
		Popov, Stefan	Sep	2012			Algorithms and Data Structures for Interactive Ray Tracing on Commodity Hardware Universität des Saarlandes
		Priebe, Volker	Jun	2001			Average-case complexity of shortest-paths problems Universität des Saarlandes
		Pyrga, Evangelia	Apr	2010			Algorithmic Game Theory and Networks Universität des Saarlandes
		Rauf, Imran	Oct	2011			Polynomially Solvable Cases of Hypergraph Transversal and Related Problems Universität des Saarlandes
		Ray, Rahul	Jul	2004			Geometric Algorithms for Object Placement and Planarity in a Terrain Universität des Saarlandes
		Ray, Saurabh	Feb	2009			Weak and Strong E-Nets for Geometric Range Spaces Universität des Saarlandes
		Reichel, Joachim	Jul	2006			Combinatorial Approaches for the Trunk Packing Problem Universität des Saarlandes
		Ritschel, Tobias	Dec	2009			Perceptually-motivated, Interactive Rendering and Editing of Global Illumination Universität des Saarlandes
		Rössl, Christian	Mar	2005			New Techniques for the Modeling, Processing and Visualization of Surfaces and Volumes Universität des Saarlandes
		Rybalchenko, Andrey		2005			Temporal Verification with Transition Invariants Universität des Saarlandes
		Safdar, Ali	Feb	2010			Semantic Interoperability of Ambient Intelligent Medical Devices and e-Health Systems Universität des Saarlandes
		Saleem, Waqar	Jun	2010			Digital Processing and Management Tools for 2D and 3D Shape Repositories Universität des Saarlandes
		Sander, Oliver	Dec	2008			Structural Descriptors for the Analysis of Protein Structure, Function, and Evolution Universität des Saarlandes
		Schäfer, Guido	Apr	2004			Worst Case Instances are Fragile. Average Case and Smoothed Competitive analysis of Algorithms Universität des Saarlandes
		Schall, Oliver	Aug	2009			Robust and Efficient Processing Techniques for Static and Dynamic Geometric Data Universität des Saarlandes
		Scheel, Annette	Jun	2003			High quality Reconstruction and Interactive Tonemapping of Global Illumination Solutions Universität des Saarlandes
		Schenkel, Ralf	Dec	2001			Transaktionen in förderierten Datenbanksystemen unter eingeschränkten Isolation Levels Universität des Saarlandes
		Schirmacher, Hartmut	Dec	2003			Efficient Acquisition, Representation, and Rendering of Light Fields Universität des Saarlandes
		Schlicker, Andreas	Nov	2010			Ontology-based Similarity Measures and their Application in Bioinformatics Universität des Saarlandes
		Schneider, Robert	Jun	2001			Efficient High-Quality Fairing of Discrete Curves and Surfaces Universität des Saarlandes
		Schultz, Thomas	Jun	2009			Feature Extraction for Visual Analysis of DW-MRI Data Universität des Saarlandes
		Schweitzer, Pascal	Jul	2009			Problems of Unknown Complexity Graph isomorphism and Ramsey theoretic numbers Universität des Saarlandes
		Seel, Michael	Dec	2001			Planar Nef Plyhedra and Generic Higher-dimensional Geometry Universität des Saarlandes
		Shegalov, German	Aug	2005			Integrated Dat, Message, and Process Recovery for Failure Masking in Web Services Universität des Saarlandes
		Siersdorfer, Stefan	Nov	2005			Combination Methods for Automatic Document Organization Universität des Saarlandes
		Sing, Tobias	Apr	2008			Model-Based Anti-HIV Therapy Universität des Saarlandes
		Sivadasan, Naveen	Jul	2004			Online Problems and Two-Player Games: Algorithms and Analysis Universität des Saarlandes
		Sizov, Sergej	Dec	2005			Automatic Generation of Thematically Focused Information Portals from Web Data Universität des Saarlandes
		Smith, Kaleigh	Dec	2008			Contours and Contrast Universität des Saarlandes
		Starostin, Artem	Mar	2010			Formal Verification of Demand Paging Universität des Saarlandes
		Steffen, Andreas	Jan	2008			Computational Approaches in Supramolecular Chemistry with a Special Focus on Virtual Screening Universität des Saarlandes
		Stoll, Carsten	Sep	2009			Template Based Shape Processing Universität des Saarlandes
		Suchanek, Fabian M.	Dec	2009			Automated Construction and Growth of a Large Ontology Universität des Saarlandes
		Talwar, Priti	Nov	2008			Development of Computational Methods for Metabolic Network Analysis based on Metabolomics Data Universität des Saarlandes
		Tawara, Takehiro	Nov	2006			Efficient Global Illumination for Dynamic Scenes Universität des Saarlandes
		Tevs, Art	Dec	2011			Deformable Shape Matching Universität des Saarlandes
		Theobald, Anja	Jul	2004			Die XXL–Suchmaschine zur ontologiebasierten Ähnlichkeitssuche in XML–Dokumenten Universität des Saarlandes
		Theobald, Martin	May	2006			TopX. Efficient and Versatile Top-K Query Processing for Text, Structured, and Semistructured Data. Universität des Saarlandes
		Theobalt, Christian	Oct	2005			From Images-based Motion Analysis to Free-Viewpoint Video Universität des Saarlandes
		Theobalt, Christian	Dec	2005			From Image-based Motion Analysis to Free-Viewpoint Video Universität des Saarlandes
		Thielen, Alexander	Jun	2011			Genotypic Analysis of HIV-1 Coreceptor Usage Universität des Saarlandes
		Thiel, Sven	May	2004			Efficent Algorithms for Constraint Propagation and for Processing Tree Descriptions Universität des Saarlandes
		Tiwary, Hans Raj		2008			Complexity of Some Polyhedral Enumeration Problems Universität des Saarlandes
		Tolosi, Laura	Sep	2012			Finding Regions of Aberrant DNA Copy Number Associated with Tumor Phenotype Universität des Saarlandes
		Tunc¸ Ozan Aydın	Oct	2010			Human Visual System Models in Computer Graphics Universität des Saarlandes
		Vorsatz, Jens	Jun	2006			Dynamic Remeshing and Applications Universität des Saarlandes
		Wagner, Silke	Oct	2008			Stability Proofs for Hybrid Systems Universität des Saarlandes
		Wald, Ingo	May	2004			Realtime Ray Tracing and Interactive Global Illumination Universität des Saarlandes
		Wang, Yafang	Feb	2013			Methods and Tools for Temporal Knowledge Harvesting Universität des Saarlandes
		Warken, Thomas	Jul	2004			Collision Detection for Curved Rigid Objects in the Context of Dynamics Simulations Universität des Saarlandes
		Weber, Ingmar	Sep	2007			Efficient Index Structures for and Applications of the CompleteSearch Engine Universität des Saarlandes
		Weins, Christel	May	2006			Möglichkeiten und Grenzen der wirkungsbezogenen Analytik mit der Hochleistungs - Dünnschichtchromatographie Universität des Saarlandes
		Weiskircher, René	May	2002			New Application of SPQR-Trees in Graph Drawing Universität des Saarlandes
		Winkel, Sebastian	Sep	2004			Optimal Global Instruction Scheduling for the itanium Processor Architecture Universität des Saarlandes
		Winzen, Carola	Dec	2011			Toward a Complexity Theory for Randomized Search Heuristics: Black-Box Models Universität des Saarlandes
		Wischneski, Patrick	Nov	2012			Efficient Reasoning Procedures for Complex First-Order Theories Universität des Saarlandes
		Wolpert, Nicola	Oct	2002			An Exact and Efficient Approach for Computing a Cell in an Arrangement of Quadrics Universität des Saarlandes
		Xavier Parreira, Josiane	Jul	2009			Decentralized Link Analysis in Peer-to-Peer Web Search Networks Universität des Saarlandes
		Yoshizawa, Shin	Dec	2006			Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design Universität des Saarlandes
		Zayer, Rhaleb	Sep	2007			NUMERICAL AND VARIATIONAL ASPECTS OF MESH PARAMETERIZATION AND EDITING Universität des Saarlandes
		Zhu, Hongbo		2010			Characterization, Classication and Alignmentof Protein-Protein Interfaces Universität des Saarlandes
		Ziegelmann, Mark	Jul	2001			Constrained Shortest Paths and Related Problems Universität des Saarlandes
		Ziegler, Gernot	May	2011			GPU Data Structures for Graphics and Vision Universität des Saarlandes
		Ziegler, Thomas	Jul	2000			Crossing Minimization inAutomatic Graph Drawing Universität des Saarlandes
		Zimmer, Christian	Oct	2008			Approximate Information Filtering in Structured Peer-to-Peer Networks Universität des Saarlandes
		Zimmer, Lars Henning	Feb	2012			Correspondence Problems in Computer Vision Novel Models, Numerics, and Applications Universität des Saarlandes
302

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Copyright 2013 by Max-Planck-Institut Informatik | Impressum
page last modified 05/19/2013 09:22:25 PM