Dagstuhl Seminar Proceedings

ISSN 1862 - 4405


2010

10501 - Advances and Applications of Automata on Words and Trees
Seminar Portal Documents (3)

10492 - Information-Centric Networking
Seminar Portal Documents (3)

10491 - Representation, Analysis and Visualization of Moving Objects
Seminar Portal Documents (8)

10481 - Computational Counting
Seminar Portal Documents (2)

10471 - Scalable Visual Analytics
Seminar Portal Documents (3)

10461 - Schematization in Cartography, Visualization, and Computational Geometry
Seminar Portal Documents (1)

10451 - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Seminar Portal Documents (2)

10441 - Exact Complexity of NP-hard Problems
Seminar Portal Documents (2)

10431 - Software Engineering for Self-Adaptive Systems
Seminar Portal Documents (3)

10421 - Model-Based Testing in Practice
Seminar Portal Documents (2)

10412 - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning
Seminar Portal Documents (1)

10411 - Computational Video
Seminar Portal Documents (2)

10403 - Impact of Human Mobility on Communications : Measurement, Analysis, Modeling, and Simulation
Seminar Portal Documents (1)

10402 - Inter-Vehicular Communication
Seminar Portal Documents (4)

10401 - Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction
Seminar Portal Documents (5)

10381 - Robust Query Processing
Seminar Portal Documents (1)

10373 - Demarcating User eXperience
Seminar Portal Documents (1)

10372 - User-Centric Networking
Seminar Portal Documents (1)

10371 - Dynamic Maps
Seminar Portal Documents (3)

10361 - Theory of Evolutionary Algorithms
Seminar Portal Documents (3)

10351 - Modelling, Controlling and Reasoning About State
Seminar Portal Documents (7)

10341 - Insider Threats: Strategies for Prevention, Mitigation, and Response
Seminar Portal Documents (2)

10302 - Learning paradigms in dynamic environments
Seminar Portal Documents (6)

10301 - Perspectives Workshop: Service Value Networks
Seminar Portal Documents (1)

10292 - Resilience Assessment and Evaluation
Seminar Portal Documents (1)

10291 - Automation in Digital Preservation
Seminar Portal Documents (15)

10281 - Dynamically Reconfigurable Architectures
Seminar Portal Documents (14)

10271 - Verification over discrete-continuous boundaries
Seminar Portal Documents (4)

10261 - Algorithm Engineering
Seminar Portal Documents (4)

10252 - Game Semantics and Program Verification
Seminar Portal Documents (2)

10241 - Information Visualization
Seminar Portal Documents (3)

10232 - The Semantics of Information
Seminar Portal Documents (1)

10231 - Structure Discovery in Biology: Motifs, Networks & Phylogenies
Seminar Portal Documents (8)

10211 - Flexible Network Design
Seminar Portal Documents (2)

10201 - Event Processing
Seminar Portal Documents (1)

10191 - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond
Seminar Portal Documents (3)

10181 - Program Development for Extreme-Scale Computing
Seminar Portal Documents (2)

10171 - Equilibrium Computation
Seminar Portal Documents (3)

10161 - Decision Procedures in Software, Hardware and Bioware
Seminar Portal Documents (4)

10152 - Relationships, Objects, Roles, and Queries in Modern Programming Languages
Seminar Portal Documents (2)

10151 - Enabling Holistic Approaches to Business Process Lifecycle Management
Seminar Portal Documents (2)

10141 - Distributed Usage Control
Seminar Portal Documents (4)

10131 - Spatial Representation and Reasoning in Language : Ontologies and Logics of Space
Seminar Portal Documents (6)

10121 - Computational Transportation Science
Seminar Portal Documents (3)

10111 - Practical Software Testing : Tool Automation and Human Factors
Seminar Portal Documents (9)

10102 - Grand Challenges for Discrete Event Logistics Systems
Seminar Portal Documents (4)

10101 - Computational Foundations of Social Choice
Seminar Portal Documents (6)

10091 - Data Structures
Seminar Portal Documents (2)

10081 - Cognitive Robotics
Seminar Portal Documents (17)

10071 - Scheduling
Seminar Portal Documents (14)

10061 - Circuits, Logic, and Games
Seminar Portal Documents (6)

10051 - Quantitative and Qualitative Analysis of Network Protocols
Seminar Portal Documents (3)

10042 - Semantic Challenges in Sensor Networks
Seminar Portal Documents (4)

10041 - Perspectives Workshop: Digital Social Networks
Seminar Portal Documents (5)

10031 - Quantitative Models: Expressiveness and Analysis
Seminar Portal Documents (2)

10021 - Service-Oriented Architecture and (Multi-)Agent SystemsTechnology
Seminar Portal Documents (6)

10011 - Pervasive Public Displays
Seminar Portal Documents (1)

2009

09511 - Parameterized complexity and approximation algorithms
Seminar Portal Documents (7)

09502 - Coalgebraic Logics
Seminar Portal Documents (1)

09501 - Software Synthesis
Seminar Portal Documents (2)

09491 - Graph Search Engineering
Seminar Portal Documents (3)

09481 - SYNCHRON 2009
Seminar Portal Documents (1)

09471 - Computer-assisted proofs - tools, methods and applications
Seminar Portal Documents (4)

09461 - Algorithms and Applications for Next Generation SAT Solvers
Seminar Portal Documents (6)

09451 - Geometric Networks, Metric Space Embeddings and Spatial Data Mining
Seminar Portal Documents (1)

09441 - The Constraint Satisfaction Problem: Complexity and Approximability
Seminar Portal Documents (5)

09432 - Quantitative Software Design
Seminar Portal Documents (1)

09431 - From Form to Function
Seminar Portal Documents (1)

09421 - Algebraic Methods in Computational Complexity
Seminar Portal Documents (8)

09411 - Interaction versus Automation: The two Faces of Deduction
Seminar Portal Documents (5)

09401 - Machine learning approaches to statistical dependences and causality
Seminar Portal Documents (1)

09391 - Algorithms and Complexity for Continuous Problems
Seminar Portal Documents (5)

09381 - Refinement Based Methods for the Construction of Dependable Systems
Seminar Portal Documents (1)

09371 - Algorithmic Methods for Distributed Cooperative Systems
Seminar Portal Documents (6)

09361 - Design and Validation of Concurrent Systems
Seminar Portal Documents (2)

09351 - Information processing, rational belief change and social interaction
Seminar Portal Documents (9)

09341 - Cognition, Control and Learning for Robot Manipulation in Human Environments
Seminar Portal Documents (2)

09311 - Classical and Quantum Information Assurance Foundations and Practice
Seminar Portal Documents (3)

09302 - New Developments in the Visualization and Processing of Tensor Fields
Seminar Portal Documents (2)

09301 - Typing, Analysis and Verification of Heap-Manipulating Programs
Seminar Portal Documents (3)

09291 - Computational Creativity: An Interdisciplinary Approach
Seminar Portal Documents (33)

09282 - Foundations for Forgery-Resilient Cryptographic Hardware
Seminar Portal Documents (7)

09281 - Search Methodologies
Seminar Portal Documents (7)

09271 - Perspectives Workshop: Semantic Web Reflections and Future Directions
Seminar Portal Documents (1)

09261 - Models and Algorithms for Optimization in Logistics
Seminar Portal Documents (33)

09251 - Scientific Visualization
Seminar Portal Documents (1)

09221 - Algorithms and Number Theory
Seminar Portal Documents (5)

09211 - Visualization and Monitoring of Network Traffic
Seminar Portal Documents (5)

09201 - Self-Healing and Self-Adaptive Systems
Seminar Portal Documents (10)

09192 - From Quality of Service to Quality of Experience
Seminar Portal Documents (2)

09191 - Fault Tolerance in High-Performance Computing and Grids
Seminar Portal Documents (1)

09181 - Sampling-based Optimization in the Presence of Uncertainty
Seminar Portal Documents (5)

09171 - Adaptive, Output Sensitive, Online and Parameterized Algorithms
Seminar Portal Documents (3)

09161 - Generalization of spatial information
Seminar Portal Documents (7)

09142 - Perspectives Workshop: Preventing the Brainware Crisis
Seminar Portal Documents (1)

09141 - Web Application Security
Seminar Portal Documents (2)

09131 - Service Level Agreements in Grids
Seminar Portal Documents (2)

09121 - Normative Multi-Agent Systems
Seminar Portal Documents (27)

09111 - Computational Geometry
Seminar Portal Documents (6)

09102 - Perspectives Workshop: Naming and Addressing in a Future Internet
Seminar Portal Documents (2)

09101 - Interactive Information Retrieval
Seminar Portal Documents (3)

09091 - Formal Methods in Molecular Biology
Seminar Portal Documents (8)

09081 - Similarity-based learning on structures
Seminar Portal Documents (5)

09073 - Model-Based Design of Trustworthy Health Information Systems
Seminar Portal Documents (1)

09072 - Bandwidth on Demand
Seminar Portal Documents (2)

09071 - Delay and Disruption-Tolerant Networking (DTN) II
Seminar Portal Documents (4)

09061 - Combinatorial Scientific Computing
Seminar Portal Documents (21)

09052 - Management of the Future Internet
Seminar Portal Documents (1)

09051 - Knowledge representation for intelligent music processing
Seminar Portal Documents (8)

09041 - Hybrid and Robust Approaches to Multiobjective Optimization
Seminar Portal Documents (8)

09031 - Symmetric Cryptography
Seminar Portal Documents (18)

09021 - Software Service Engineering
Seminar Portal Documents (6)

2008

08492 - Structured Decompositions and Efficient Algorithms
Seminar Portal Documents (10)

08491 - Theoretical Foundations of Practical Information Security
Seminar Portal Documents (5)

08471 - Geographic Privacy-Aware Knowledge Discovery and Delivery
Seminar Portal Documents (4)

08461 - Planning in Multiagent Systems
Seminar Portal Documents (5)

08451 - Representation, Analysis and Visualization of Moving Objects
Seminar Portal Documents (3)

08441 - Emerging Uses and Paradigms for Dynamic Binary Translation
Seminar Portal Documents (3)

08431 - Moderately Exponential Time Algorithms
Seminar Portal Documents (4)

08421 - Uncertainty Management in Information Systems
Seminar Portal Documents (12)

08412 - Perspectives Workshop: Science of Design : High-Impact Requirements for Software-Intensive Systems
Seminar Portal Documents (19)

08393 - Perspectives Workshop: Virtual games, interactive hosted services and user-generated content in Web 2.0
Seminar Portal Documents (1)

08391 - Social Web Communities
Seminar Portal Documents (8)

08381 - Computational Complexity of Discrete Problems
Seminar Portal Documents (6)

08372 - Computer Science in Sport - Mission and Methods
Seminar Portal Documents (9)

08371 - Fault-Tolerant Distributed Algorithms on VLSI Chips
Seminar Portal Documents (6)

08361 - Programming Multi-Agent Systems
Seminar Portal Documents (11)

08351 - Evolutionary Test Generation
Seminar Portal Documents (8)

08341 - Sublinear Algorithms
Seminar Portal Documents (4)

08332 - Distributed Verification and Grid Computing
Seminar Portal Documents (5)

08331 - Perspectives Workshop: Model Engineering of Complex Systems (MECS)
Seminar Portal Documents (6)

08302 - Countering Insider Threats
Seminar Portal Documents (4)

08301 - Group Testing in the Life Sciences
Seminar Portal Documents (1)

08292 - The Study of Visual Aesthetics in Human-Computer Interaction
Seminar Portal Documents (7)

08291 - Statistical and Geometrical Approaches to Visual Motion Analysis
Seminar Portal Documents (1)

08281 - Software Engineering for Tailor-made Data Management
Seminar Portal Documents (2)

08271 - Topological and Game-Theoretic Aspects of Infinite Computations
Seminar Portal Documents (7)

08261 - Structure-Based Compression of Complex Massive Data
Seminar Portal Documents (12)

08251 - Contextual and Social Media Understanding and Usage
Seminar Portal Documents (7)

08241 - Transactional Memory : From Implementation to Application
Seminar Portal Documents (2)

08231 - Virtual Realities
Seminar Portal Documents (1)

08221 - Geometric Modeling
Seminar Portal Documents (2)

08201 - Design and Analysis of Randomized and Approximation Algorithms
Seminar Portal Documents (1)

08191 - Graph Drawing with Applications to Bioinformatics and Social Sciences
Seminar Portal Documents (6)

08181 - The Evolution of Conceptual Modeling
Seminar Portal Documents (5)

08171 - Beyond the Finite: New Challenges in Verification and Semistructured Data
Seminar Portal Documents (3)

08161 - Scalable Program Analysis
Seminar Portal Documents (9)

08142 - Combining the Advantages of Product Lines and Open Source
Seminar Portal Documents (9)

08141 - Organic Computing - Controlled Self-organization
Seminar Portal Documents (6)

08131 - Ontologies and Text Mining for Life Sciences : Current Status and Future Perspectives
Seminar Portal Documents (20)

08111 - Ranked XML Querying
Seminar Portal Documents (4)

08102 - Perspectives Workshop: Network Attack Detection and Defense
Seminar Portal Documents (8)

08101 - Computational Proteomics
Seminar Portal Documents (2)

08091 - Logic and Probability for Scene Interpretation
Seminar Portal Documents (16)

08081 - Data Structures
Seminar Portal Documents (4)

08071 - Scheduling
Seminar Portal Documents (4)

08061 - Types, Logics and Semantics for State
Seminar Portal Documents (3)

08051 - Theory of Evolutionary Algorithms
Seminar Portal Documents (6)

08043 - Perspectives Workshop: Telecommunication Economics
Seminar Portal Documents (1)

08042 - Perspectives Workshop: Theory and Practice of Argumentation Systems
Seminar Portal Documents (1)

08041 - Recurrent Neural Networks- Models, Capacities, and Applications
Seminar Portal Documents (6)

08031 - Software Engineering for Self-Adaptive Systems
Seminar Portal Documents (3)

08021 - Numerical Validation in Current Hardware Architectures
Seminar Portal Documents (21)

2007

07491 - Mining Programs and Processes
Seminar Portal Documents (2)

07471 - Equilibrium Computation
Seminar Portal Documents (4)

07462 - Assisted Living Systems Models, Architectures and Engineering Approaches
Seminar Portal Documents (26)

07461 - Numerical Methods for Structured Markov Chains
Seminar Portal Documents (15)

07451 - Model-Based Engineering of Embedded Real-Time Systems
Seminar Portal Documents (2)

07441 - Algorithmic-Logical Theory of Infinite Structures
Seminar Portal Documents (6)

07431 - Computational Issues in Social Choice
Seminar Portal Documents (2)

07421 - Formal Protocol Verification Applied
Seminar Portal Documents (4)

07411 - Algebraic Methods in Computational Complexity
Seminar Portal Documents (7)

07401 - Deduction and Decision Procedures
Seminar Portal Documents (7)

07391 - Probabilistic Methods in the Design and Analysis of Algorithms
Seminar Portal Documents (3)

07381 - Cryptography
Seminar Portal Documents (2)

07361 - Programming Models for Ubiquitous Parallelism
Seminar Portal Documents (5)

07351 - Formal Models of Belief Change in Rational Agents
Seminar Portal Documents (22)

07341 - Code Instrumentation and Modeling for Parallel Performance Analysis
Seminar Portal Documents (2)

07311 - Frontiers of Electronic Voting
Seminar Portal Documents (9)

07291 - Scientific Visualization
Seminar Portal Documents (2)

07281 - Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs
Seminar Portal Documents (6)

07271 - Computational Social Systems and the Internet
Seminar Portal Documents (16)

07261 - Fair Division
Seminar Portal Documents (12)

07241 - Tools for the Model-based Development of Certifiable, Dependable Systems
Seminar Portal Documents (2)

07221 - Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation
Seminar Portal Documents (2)

07212 - Constraint Databases, Geometric Elimination and Geographic Information Systems
Seminar Portal Documents (6)

07211 - Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes
Seminar Portal Documents (2)

07191 - Event Processing
Seminar Portal Documents (10)

07181 - Parallel Universes and Local Patterns
Seminar Portal Documents (10)

07171 - Visual Computing - Convergence of Computer Graphics and Computer Vision
Seminar Portal Documents (3)

07161 - Probabilistic, Logical and Relational Learning - A Further Synthesis
Seminar Portal Documents (10)

07151 - Geometry in Sensor Networks
Seminar Portal Documents (3)

07132 - Towards Interoperability of Biomedical Ontologies
Seminar Portal Documents (1)

07131 - Similarity-based Clustering and its Application to Medicine and Biology
Seminar Portal Documents (7)

07122 - Normative Multi-agent Systems
Seminar Portal Documents (32)

07112 - Cutting, Packing, Layout and Space Allocation
Seminar Portal Documents (2)

07101 - Quantitative Aspects of Embedded Systems
Seminar Portal Documents (4)

07091 - Mobility, Ubiquity and Security
Seminar Portal Documents (2)

07081 - End-User Software Engineering
Seminar Portal Documents (26)

07071 - Web Information Retrieval and Linear Algebra Algorithms
Seminar Portal Documents (17)

07061 - Autonomous and Adaptive Web Services
Seminar Portal Documents (5)

07051 - Programming Paradigms for the Web: Web Programming and Web Services
Seminar Portal Documents (4)

07041 - Power-aware Computing Systems
Seminar Portal Documents (12)

07021 - Symmetric Cryptography
Seminar Portal Documents (11)

07011 - Runtime Verification
Seminar Portal Documents (4)

2006

06501 - Practical Approaches to Multi-Objective Optimization
Seminar Portal Documents (2)

06491 - Digital Historical Corpora- Architecture, Annotation, and Retrieval
Seminar Portal Documents (17)

06481 - Geometric Networks and Metric Space Embeddings
Seminar Portal Documents (3)

06472 - XQuery Implementation Paradigms
Seminar Portal Documents (3)

06461 - Negotiation and Market Engineering
Seminar Portal Documents (22)

06451 - Circuits, Logic, and Games
Seminar Portal Documents (6)

06441 - Naming and Addressing for Next-Generation Internetworks
Seminar Portal Documents (2)

06431 - Scalable Data Management in Evolving Networks
Seminar Portal Documents (9)

06421 - Robot Navigation
Seminar Portal Documents (8)

06401 - Complexity of Constraints
Seminar Portal Documents (7)

06391 - Algorithms and Complexity for Continuous Problems
Seminar Portal Documents (3)

06381 - Computer Science in Sport
Seminar Portal Documents (3)

06371 - From Security to Dependability
Seminar Portal Documents (5)

06361 - Computing Media and Languages for Space-Oriented Computation
Seminar Portal Documents (4)

06351 - Methods for Modelling Software Systems (MMOSS)
Seminar Portal Documents (12)

06341 - Computational Structures for Modelling Space, Time and Causality
Seminar Portal Documents (6)

06311 - Sensor Data and Information Fusion in Computer Vision and Medicine
Seminar Portal Documents (2)

06302 - Aspects For Legacy Applications
Seminar Portal Documents (9)

06301 - Duplication, Redundancy, and Similarity in Software
Seminar Portal Documents (14)

06291 - The Role of Business Processes in Service Oriented Architectures
Seminar Portal Documents (14)

06271 - Challenges in Symbolic Computation Software
Seminar Portal Documents (16)

06261 - Foundations and Practice of Programming Multi-Agent Systems
Seminar Portal Documents (2)

06251 - Multi-Robot Systems: Perception, Behaviors, Learning, and Action
Seminar Portal Documents (2)

06241 - Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop
Seminar Portal Documents (1)

06231 - Towards Affordance-Based Robot Control
Seminar Portal Documents (2)

06221 - Computational Aesthetics in Graphics, Visualization and Imaging
Seminar Portal Documents (2)

06201 - Combinatorial and Algorithmic Foundations of Pattern and Association Discovery
Seminar Portal Documents (11)

06191 - Rigorous Methods for Software Construction and Analysis
Seminar Portal Documents (4)

06172 - Directed Model Checking
Seminar Portal Documents (3)

06171 - Content-Based Retrieval
Seminar Portal Documents (10)

06161 - Simulation and Verification of Dynamic Systems
Seminar Portal Documents (10)

06141 - Dynamically Reconfigurable Architectures
Seminar Portal Documents (19)

06131 - Peer-to-Peer-Systems and -Applications
Seminar Portal Documents (5)

06121 - Atomicity: A Unifying Concept in Computer Science
Seminar Portal Documents (3)

06111 - Complexity of Boolean Functions
Seminar Portal Documents (22)

06101 - Spatial Data: mining, processing and communicating
Seminar Portal Documents (3)

06091 - Data Structures
Seminar Portal Documents (5)

06081 - Software Verification: Infinite-State Model Checking and Static Program Analysis
Seminar Portal Documents (6)

06061 - Theory of Evolutionary Algorithms
Seminar Portal Documents (9)

06051 - Kolmogorov Complexity and Applications
Seminar Portal Documents (12)

06031 - Organic Computing - Controlled Emergence
Seminar Portal Documents (5)

06021 - Reliable Implementation of Real Number Algorithms: Theory and Practice
Seminar Portal Documents (11)

2005

05501 - Automatic Performance Analysis
Seminar Portal Documents (5)

05491 - Spatial Cognition: Specialization and Integration
Seminar Portal Documents (9)

05471 - Computational Proteomics
Seminar Portal Documents (15)

05462 - Service Oriented Computing (SOC)
Seminar Portal Documents (10)

05451 - Beyond Program Slicing
Seminar Portal Documents (11)

05441 - Managing and Mining Genome Information: Frontiers in Bioinformatics
Seminar Portal Documents (3)

05431 - Deduction and Applications
Seminar Portal Documents (6)

05421 - Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data
Seminar Portal Documents (4)

05411 - Anonymous Communication and its Applications
Seminar Portal Documents (3)

05402 - Perspectives Workshop "Challenges for Software Engineering Research"
Seminar Portal Documents (1)

05391 - Algebraic and Numerical Algorithms and Computer-assisted Proofs
Seminar Portal Documents (9)

05382 - Efficient Text Entry
Seminar Portal Documents (7)

05381 - Form and Content in Sensor Networks
Seminar Portal Documents (4)

05371 - Principles and Practices of Semantic Web Reasoning
Seminar Portal Documents (5)

05361 - Algorithmic Aspects of Large and Complex Networks
Seminar Portal Documents (8)

05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
Seminar Portal Documents (13)

05301 - Exact Algorithms and Fixed-Parameter Tractability
Seminar Portal Documents (2)

05291 - Sublinear Algorithms
Seminar Portal Documents (4)

05281 - Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems
Seminar Portal Documents (2)

05271 - Semantic Grid: The Convergence of Technologies
Seminar Portal Documents (17)

05261 - Multi-Version Program Analysis
Seminar Portal Documents (2)

05241 - Synthesis and Planning
Seminar Portal Documents (2)

05221 - Geometric Modeling
Seminar Portal Documents (1)

05201 - Design and Analysis of Randomized and Approximation Algorithms
Seminar Portal Documents (1)

05191 - Graph Drawing
Seminar Portal Documents (7)

05181 - Mobile Computing and Ambient Intelligence: The Challenge of Multimedia
Seminar Portal Documents (15)

05171 - Nonmonotonic Reasoning, Answer Set Programming and Constraints
Seminar Portal Documents (8)

05161 - Transformation Techniques in Software Engineering
Seminar Portal Documents (9)

05152 - Perspectives Workshop: Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues
Seminar Portal Documents (1)

05151 - Annotating, Extracting and Reasoning about Time and Events
Seminar Portal Documents (13)

05142 - Disruption Tolerant Networking
Seminar Portal Documents (3)

05141 - Power-aware Computing Systems
Seminar Portal Documents (8)

05101 - Scheduling for Parallel Architectures: Theory, Applications, Challenges
Seminar Portal Documents (2)

05081 - Foundations of Global Computing
Seminar Portal Documents (8)

05061 - Foundations of Semistructured Data
Seminar Portal Documents (6)

05051 - Probabilistic, Logical and Relational Learning - Towards a Synthesis
Seminar Portal Documents (11)

05031 - Algorithms for Optimization with Incomplete Information
Seminar Portal Documents (32)

05021 - Mathematics, Algorithms, Proofs
Seminar Portal Documents (23)

05011 - Computing and Markets
Seminar Portal Documents (20)

2004

04511 - Architecting Systems with Trustworthy Components
Seminar Portal Documents (1)

04491 - Synchronous Programming - SYNCHRON'04
Seminar Portal Documents (6)

04461 - Practical Approaches to Multi-Objective Optimization
Seminar Portal Documents (20)

04451 - Future Generation Grids - FGG 2004
Seminar Portal Documents (1)

04441 - Mobile Information Management
Seminar Portal Documents (13)

04421 - Algebraic Methods in Computational Complexity
Seminar Portal Documents (6)

04411 - Service Management and Self-Organization in IP-based Networks
Seminar Portal Documents (22)

04401 - Algorithms and Complexity for Continuous Problems
Seminar Portal Documents (16)

04391 - Semantic Interoperability and Integration
Seminar Portal Documents (23)

04381 - Dependently Typed Programming
Seminar Portal Documents (2)

04371 - Perspectives of Model-Based Testing
Seminar Portal Documents (5)

04351 - Spatial Representation: Discrete vs. Continuous Computational Models
Seminar Portal Documents (22)

04301 - Cache-Oblivious and Cache-Aware Algorithms
Seminar Portal Documents (3)

04292 - Perspectives Workshop: Data Mining: The Next Generation
Seminar Portal Documents (1)

04281 - Integrative Bioinformatics - Aspects of the Virtual Cell
Seminar Portal Documents (1)

04271 - Preferences: Specification, Inference, Applications
Seminar Portal Documents (9)

04261 - Algorithmic Methods for Railway Optimization
Seminar Portal Documents (1)

04251 - Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision
Seminar Portal Documents (2)

04241 - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Seminar Portal Documents (4)

04231 - Scheduling in Computer and Manufacturing Systems
Seminar Portal Documents (1)

04221 - Robust and Approximative Algorithms an Particular Graph Classes
Seminar Portal Documents (1)

04211 - Algorithms and Number Theory
Seminar Portal Documents (1)

04201 - Content Distribution Infrastructures
Seminar Portal Documents (2)

04181 - Atomicity in System Design and Execution
Seminar Portal Documents (1)

04172 - Perspectives Workshop: Visualization and Image Processing of Tensor Fields
Seminar Portal Documents (1)

04171 - Logic Based Information Agents
Seminar Portal Documents (1)

04161 - Detecting Local Patterns
Seminar Portal Documents (1)

04131 - Geometric Properties from Incomplete Data
Seminar Portal Documents (1)

04122 - Wireless Sensor Networks and Applications
Seminar Portal Documents (1)

04121 - Evaluating Embodied Conversational Agents
Seminar Portal Documents (5)

04101 - Language Engineering for Model-Driven Software Development
Seminar Portal Documents (16)

04091 - Data Structures
Seminar Portal Documents (1)

04081 - Theory of Evolutionary Algorithms
Seminar Portal Documents (1)

04061 - Real Computation and Complexity
Seminar Portal Documents (2)

04051 - Perspectives Workshop: Empirical Theory and the Science of Software Engineering
Seminar Portal Documents (1)

04041 - Component-Base Modeling and Simulation
Seminar Portal Documents (1)

04021 - Content-Based Retrieval
Seminar Portal Documents (1)

2003

03471 - Design of Systems with Predictable Behaviour
Seminar Portal Documents (5)

03411 - Language-Based Security
Seminar Portal Documents (2)

 

 


DROPS-Home | Fulltext Search | Imprint Published by LZI