Dagstuhl Seminar Proceedings

ISSN 1862 - 4405


2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003

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)

 

 


DROPS-Home | Fulltext Search | Imprint Published by LZI