yusuke1997/dblp-id-title huggingface dataset:
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
10411 Executive Summary - Computational Video
The Formal Specification Language mCRL2
08461 Abstracts Collection - Planning in Multiagent Systems
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007
Bericht der Arbeitsgruppe "Metainformation"
An Action System Approach to the Steam Boiler Problem
Diskussionspapier zur Arbeitsgruppe "Ganzheitliche Sicht des Integrationsproblems von Umweltdaten"
04401 Summary - Algorithms and Complexity for Continuous Problems
Compact Routing
Assisted and Independent Living - The User Perspective
Explorative Graph Visualization
Interactive Graphics Design with Situated Agents
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together
Papyrus: A UML2 Tool for Domain-Specific Language Modeling
Network Analysis: Methodological Foundations [outcome of a Dagstuhl seminar, 13-16 April 2004]
Equilibrium Computation, 18.11. - 23.11.2007
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009
Interarrival Times Characterization and Fitting for Markovian Traffic Analysis
An Experimental Comparison of Speed Scaling Algorithms with Deadline Feasibility Constraints
Opportunistic Spectrum Access in Cognitive Radio Ad Hoc Networks
Information Access to Historical Documents from the Early New High German Period
Online Traveling Salesman Problems with Flexibility
From CAD Models to Assembly Planning
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors
The Construction of Finer Compact Topologies
On-Line Searching in Simple Polygons
07291 Abstracts Collection - Scientific Visualization
05381 Abstracts Collection -- Form and Content in Sensor Networks
From Event-Driven Workflows Towards a Posteriori Computing
Decomposition and Coordination for Multiobjective Complex Systems
Shape Analysis of Sets
Hierarchical Self-Optimization of SaaS Applications in Clouds
Introducing Product Lines through Open Source Tools
Computing and Diagnosing Changes in Unit Test Energy Consumption
VR-Assisted Physical Rehabilitation: Adapting to the Needs of Therapists and Patients
A Comparative Revisitation of Some Program Transformation Techniques
Embodied Interaction in Play: Body-Based and Natural Interaction in Games
A geometry of information, I: Nerves, posets and differential forms
Behavior-Based Cooperative Robotics Applied to Multi-Target Observation
Self-redundancy in Music
Power-aware Computing Systems, 3.-8. April 2005
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Degrees of Belief
04201 Summary - Content Distribution Infrastructures
After the search is over ... the work begins
End-to-end communication across hybrid networks
04201 Abstracts Collection - Content Distribution Infrastructures
Binary Lambda Calculus and Combinatory Logic
Reflection and Norms: Towards a Model for Dynamic Adaptation for MAS
A Polynomial Chaos Approach to Robust Multiobjective Optimization
Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010
Approximation Algorithms for CSPs
Visualizing Critical Points of Arbitrary Poincaré-Index
Culture Heritage Digital Repositories. Research Questions
Learning Parities in the Mistake-Bound model
Enriched categories and models for spaces of dipaths
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04
Are we Ready to Embrace the Semantic Web?
Cognitive Control of a FPGA-based RF Interface for Cognitive Radio in Disaster Scenarios
Associative Storage Modification Machines
Discussion: Parallelism
Future Operating Systems: An Environmental Scenario and Consequential Challenges
The rube Framework for Personalized 3-D Software Visualization
07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism
Cube Testers and Key Recovery Attacks On Reduced-Round MD6 and Trivium
05151 Abstracts Collection - Annotating, Extracting and Reasoning about Time and Events
Deciding Properties of Message Sequence Charts
Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007
How fast does the stationary distribution of the Markov chain modelling EAs concentrate on the homogeneous populations for small mutation rate?
The Model-Integrated Computing Tool Suite
09041 Working Group on EMO for Robust Multiobjective Optimization (1st Round)
An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy
The Real-Time Behavior of the Steam Boiler
SHOE: A Blueprint for the Semantic Web
Multiple-Robot Motion Planning = Parallel Processing + Geometry
Rethinking Measurement to Support Incremental Process Improvement
05321 - Panel on belief change
04091 Abstracts Collection - Data Structures
Model Evolution and Management
Rule-based search in historical text databases - Visualization techniques
Automated Mechanism Design
Numerical Approximation of Parabolic Stochastic Partial Differential Equations
Hand Pose Recognition - Overview and Current Research
A Journey through the Secret Life of Models
09021 Executive Summary - Software Service Engineering
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability
Interactive Visualization of Environmental Measurement Networks
10421 Summary - Model-Based Testing in Practice
Incremental branching programs
Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures
Towards a reconfigurable hardware architecture for implementing a LDPC module suitable for software radio systems
GRAS für Windows - Kartografische Visualisierung von Sachobjekten
Metacomputation: Metasystem Transitions plus Supercompilation
08412 Abstracts Collection - Science of Design : High-Impact Requirements for Software-Intensive Systems
The Peptide MS/MS-Fragmentome: A Set of Predictable Fragment Ions with Highly Redundant Sequence Information
08421 Working Group: Uncertainty and Trust
Exception-Safety in Generic Components
Towards Probabilistic Program Slicing
Understanding Social Dynamics: The Cellular Automata Approach
Self-Reconfigurable Robots: Platforms for Emerging Functionality
09191 Abstracts Collection - Fault Tolerance in High-Performance Computing and Grids
Non--binary error correcting codes with noiseless feedback, localized errors, or both
Reductions to Sets of Low Information Content
Roadmapping Working Group 4 Results
Parallel Implementation of Guarded Horn Clauses
The Explainable Operating System
09401 Abstracts Collection - Machine learning approaches to statistical dependences and causality
Abstracts Collection
Software platforms for quantitative proteomics
Semantic Grid: The Convergence of Technologies, 3.-8. July 2005
Model-driven Engineering for Environmental Modeling with Cellular Automata
Quantization of self-similar Probabilities
Cellfast: Interactive unstructured volume rendering and classification
Spreadsheet Computation with imprecise and uncertain Data
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic
Security: System Development in a New Context
Agent-Environment Interaction in Visual Homing
Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010
Interactive Learning of World Model Information for a Service Robot
A Decision Support System for Market Mechanisms Choice in e-Procurement
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]
Lurupa - Rigorous Error Bounds in Linear Programming
DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems
SEmantic portAL: The SEAL Approach
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services
Visualization and Monitoring of Network Traffic, 17.05. - 20.05.2009
Counting Results in Weak Formalisms
Part II. Testing of Labeled Transition Systems
A Personal Outlook on Generator Research (A Position Paper)
An Introduction to Interacting Simulated Annealing
A Design Space for Self-Adaptive Systems
10281 Abstracts Collection - Dynamically Reconfigurable Architectures
Multivariate Networks in Software Engineering
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008
Computational Proteomics, 20.-25. November 2005
A Method for Pinpoint Clustering of Web Pages with Pseudo-Clique Search
04511 Abstracts Collection - Architecting Systems with Trustworthy Components
Roadmapping Working Group 1 Results
Federation over the Web - International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers
Meta-Design: A Conceptual Framework for End-User Software Engineering
C-XSC 2.0: A C++ Library for Extended Scientific Computing
The State of Change: A Survey
Geographic Privacy-Aware Knowledge Discovery and Delivery, 16.11. - 21.11.2008
Classification of the SHA-3 Candidates
Dynamic Service Analysis
On Sampling the Spectrum of Approaches Toward Cognitive Vision Systems
An Overview of the GXL Graph Exchange Language
Reachability analysis of multithreaded software with asynchronous communication
Decision-Theoretic Control of Planetary Rovers
Reduce connection awareness
08142 Abstracts Collection - Combining the Advantages of Product Lines and Open Source
Informatik und die Philosophie des Geistes
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
End Users Creating More Effective Software
Comparison of Point and Line Features and Their Combination for Rigid Body Motion Estimation
05382 Executive Summary - Efficient Text Entry
07431 Executive Summary - Computational Issues in Social Choice
Social Comparisons and Contributions to Online Communities: A Field Experiment on MovieLens
10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware
04122 Abstracts Collection -- Wireless Sensor Networks and Applications
Metadatenklassen
Code generation for embedded processors: an introduction
Organising Computation through Dynamic Grouping
Automation of Protein Sequence Characterization and Its Application in Whole Proteome Analysis
8102 Working Group -- Attack Taxonomy
Using Abstraction in Modular Verification of Synchronous Adaptive Systems
The Role of Simulation in Software Engineering Experimentation
Aspect-Oriented Techniques for Web Services: a Model-Driven Approach
Implementation Aspects
09021 Abstracts Collection - Software Service Engineering
Representation of Operators in the Time-Frequency Domain and Generalzed Gabor Multipliers
04081 Abstracts Collection - Theory of Evolutionary Algorithms
08302 Abstracts Collection - Countering Insider Threats
An Automatic Amortized Analysis of the Resource Consumption of Functional Programs
Grafische Deponieplanung und Visualisierung von Deponiedaten
Understanding the Crowd: Ethical and Practical Matters in the Academic Use of Crowdsourcing
On Adaptability in Grid Systems
Topology Matters: Smoothed Competitiveness of Metrical Task Systems
Collision Detection : A Geometric Approach
Gewinnung von dichten Tiefenbildern aus Farbsteueraufnahmen durch "Simuliertes Ausfrieren"
Power Optimization in advanced Channel Coding
The Role of Performance, Scheduling and Resource Reservation in Multimedia Systems
Introduction to the Theory of Complexity and Approximation Algorithms
QoE in Cooperative Wireless Networks
Preserving the Intent behind
The Ideal Storage Cellular Automaton Model
Shape Description and Search for Similar Objects in Image Databases
07132 Report - Towards Interoperability of Biomedical Ontologies
08281 Executive Summary - Software Engineering for Tailor-made Data Management
Notes on Computational-space-based Ray-casting for Curvilinear Volumes
08021 Summary - Numerical Validation in Current Hardware Architectures
Negotiation Fever: Loss Aversion in Multi-Issue Negotiations
Probabilistic Analysis of LLL Reduced Bases
Parameterized complexity and approximation algorithms, 13.12. - 17.12.2009
Scattered Data Techniques for Surfaces
Simulating Multi-Agent Interdependencies. A Two-Way Approach to the Micro-Macro Link
05501 Abstracts Collection - Automatic Performance Analysis
Robot Navigation, 15.10. - 20.10.2006
On Relating Rewriting Systems and Graph Grammars to Event Structures
Synthesis of Hardware Simulators for Use in Model Checking
WordNet-Inspired Terminological Resources for Bio-NLP
A Computer Algebra System: Risa/Asir
A Computational Model for Generic Graph Functions
Multimedia transport protocol and multicast communication
On the Competitive Complexity of Navigation Tasks
Norms of Conversation in a Framework for Agent Communication Languages
Relating two standard notions of secrecy
Topology Control with Better Radio Models: Implications for Energy and Multi-Hop Interference
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs
Informatik und Gesellschaft
Trajectory Planning and Task Allocation of Cooperating Vehicles: Discrete-Continuous Modeling and Optimization
05061 Abstracts Collection - Foundations of Semistructured Data
Are Operating Systems at RISC?
Full-Text Indexes in External Memory
Fast Invariant Feature Extraction for Image Retrieval
Additional Queries and Algorithmically Random Languages
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007
09041 Working Group 4: MCDM and RIMO
Program Optimization in the Domain of High-Performance Parallelism
10232 Report - The Semantics of Information
Automatic architectural enforcement
The Cell Probe Complexity of Succinct Data Structures
Towards Expressive Stream Reasoning
06431 Summary -- Scalable Data Management in Evolving Networks"
Human Motion, Understanding, Modelling, Capture, and Animation [Dagstuhl Seminar, 11.06. - 16.06.2006]
CoCoME - The Common Component Modeling Example
Transfinite B-spline Interpolation with Derivates
Information-Theoretical Aspects of Embodied Artificial Intelligence
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences
Implementierung einer funktionalen Programmiersprache auf einem Transputernetz
Introduction to Logics for Databases and Information Systems
Structure Discovery in Biology: Motifs, Networks & Phylogenies, 06.06. - 11.06.2010
Systems for the Nineties - Distributed Multimedia Systems
Smart Environments and Self-Organizing Appliance Ensembles
Geometric Properties from Incomplete Data, 21.03. - 26.03.2004
08061 Executive Summary -- Types, Logics and Semantics for State
Parameters for Distributed MIMO Systems
Frauenforschung in der Informatik: Wissenschafliche Analyse oder sozial Bewegung?
2D Tensor Field Segmentation
A Language and Tool for Generating Efficient Virtual Machine Interpreters
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Role of semantics in Autonomic and Adaptive Web Services & Processes
ElipSys
Philosophische Wurzeln der Informatik im Wiener Kreis
Automatic Performance Analysis, 12.-16. December 2005
Machine Learning for Software Analysis: Models, Methods, and Applications
User-driven Visual Interfaces for Smart Meeting Rooms
Normal Form Theorem for Logic Programs with Cardinality Constraints
Data Stream Management Systems
Computational Biology at the Beginning of the Post-genomic Era
06221 Abstracts Collection - Computational Aestethics in Graphics, Visualization and Imaging
Ranking Revision Reloaded
04041 Abstracts Collection - Component-Based Modeling and Simulation
10431 Report - Software Engineering for Self-Adaptive Systems
Digital Object Characterization: Document Conversion and Qualiity Assurance
Unifying Hardware and Software Components for Embedded System Development
A Framework for Robust and Efficient Movement-Based Message Forwarding
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS
On Evolutionary Design, Embodiment, and Artificial Regulatory Networks
GrAM: Reasoning with Grounded Action Models by Combining Knowledge Representation and Data Mining
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems
Data Exchange, Integration, and Streams
Spanning Trees of Bounded Degree Graphs
Component-Interaction Automata Approach (CoIn)
Scalability Considerations for Multivariate Graph Visualization
Model-Based Testing in Practice, 17.10. - 22.10.2010
05491 Report of the Session: The Role of Spatial Cognition for Robotics
Coherent Bicartesian and Sesquicartesian Categories
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009
Visualization over the World Wide Web
Mobile Computing and Ambient Intelligence: The Challenge of Multimedia, 1.-4. May 2005
Teaching Empirical Methods to Undergraduate Students Working Group Results
Alternating Tree Automata and Parity Games
06461 Executive Summary -- Negotiation and Market Engineering
09071 Abstracts Collection - Delay and Disruption-Tolerant Networking (DTN) II
Ideas and Tools in Material Space - an extended spatial model of creativity
Infrastructure for Semantic Interoperability and Integration: Breakout Discussion Summary
Argumentation based Resolution of Conflicts Between Desires and Normative Goals
Computational Social Systems and the Internet, 1.7. - 6.7.2007
09181 Executive Summary - Sampling-based Optimization in the Presence of Uncertainty
Efficient Large-Scale Model Checking
Specializing visualization algorithms
Modelling the CoCoME with the Java/AComponent Model
04451 Abstracts Collection - Future Generation Grids
Reduziertes Denken. Informatik in der Tradition des formalistischen Forschungsprogramms
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006
A note on the size of Craig Interpolants
Formal Methods in Molecular Biology, 22.02. - 27.02.2009
Two Algorithms for Motion Estimation from Alternate Exposure Images
Scientific Workflow and Semantic Grid - Presentation
10181 Executive Summary - Program Development for Extreme-Scale Computing
Software Support Tools and Experimental Work
Methods and Metrics for Reliability Assessment
Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009
Multiobjective Optimization, Interactive and Evolutionary Approaches [outcome of Dagstuhl seminars]
Mobile Information Management, 24.-29. October 2004
Action Design Research - An Integrative Research Method for Studying Design
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations
Improving Performance in Corruption-susceptible Networks
Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, November 1-5, 2004, Dagstuhl, Germany
10061 Executive Summary - Circuits, Logic, and Games
09031 Executive Summary - Symmetric Cryptography
TRIO Specification of a Steam Boiler Controller
Ercatons and Organic Programming: Say Good-Bye to Planned Economy
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997)
Consistent Query Answers in Virtual Data Integration Systems
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Local Density
Upper Error Bounds for Approximations of Stochastic Differential Equations with Markovian Switching
Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems, 10.-15. July 2005
Model-Based Engineering Applied to the Interpretation of the Human Genome
Fusion of Multimodal Information in Music Content Analysis
Autonomous Heterogeneous Computing - Some Open Problems
Discovery of DNA Regulatory Motifs
From Programs to Object Code using Logic and Logic Programming
Correlation-based Data Representation
An Approach to Automatic Proof Support for Code Generator Verification
10141 Abstracts Collection - Distributed Usage Control
Metrical Task Systems, the Server Problem and the Work Function Algorithm
Object based manipulation with 3D scenes in mobile environment
A Decision Support System for Choosing Market Mechanisms in e-Procurement
06302 Abstracts Collection -- Aspects For Legacy Applications
Trace-Driven Memory Simulation: A Survey
Environment Modelling Without Interpretation
Visualisierung von Umweltdaten, 4. Workshop, 30. Januar - 2. Februar 1994, Dagstuhl
Informatikerinnen als Minderheit. Theoretische Informatik als Zugangsschneise für Frauen?
Technology Transfer
On the Performance of Pedestrian Content Distribution
Normative Multi-agent Systems, 18.03. - 23.03.2007
Adaptive, Output Sensitive, Online and Parameterized Algorithms, 19.04. - 24.04.2009
04101 Abstracts Collection - Language Engineering for Model-Driven Software Development
Construction of Implicit Surfaces from Point Clouds Using a Feature-based Approach
Operating Systems of the 90s and Beyond, International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991, Proceedings
08492 Executive Summary - Structured Decompositions and Efficient Algorithms
Cartographic and semantic aspects on web services
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code
Why deterministic logic is hard to learn but Statistical Relational Learning works
The language component of the FASTY predictive typing system
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Design for Time-Predictability
Experimental Software Engineering Should Concentrate on Software Evolution
One-shot Learning of Poisson Distributions in fast changing environments
Charging Service Compositions in a Service-Oriented Peer-to-Peer Network
Simplicity Considered Fundamental to Design for Predictability
Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings
Systems for Late Code Modification
Distributed and Predictive Control of UAV Swarms for Measurement of Scalar Fields in Lower Airspace
Local Pattern Detection, International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
Session 5 Summary: Packaging for Reuse
08041 Summary -- Recurrent Neural Networks - Models, Capacities, and Applications
A convention or (tacit) agreement betwixt us
Globalized Domain Specific Language Engineering
Hybrid Tractable Classes of Constraint Problems
Locating and Detecting Arrays for Interaction Faults
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors
Global Control for Partial Deduction through Characteristic Atoms and Global Trees
Distributed parameter and state estimation in a network of sensors
Data Model for Scientific Models and Hypotheses
A data model for adaptive multi-resolution scientific data
08181 Abstracts Collection - The Evolution of Conceptual Modeling
Human Computer Music Performance
Notes on Future Operating Systems for Real-Time Dependable Distributed Computing
Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles
Three results on the PageRank vector: eigenstructure, sensitivity, and the derivative
Linear Ramified Higher Type Recursion and Parallel Complexity
Generic Programming in POOMA and PETE
Linking the Semantics Ecosystem with Semantics Derivation Rules for Multimedia Content
Frauenförderung an der Universität Hamburg - Was wurde aus den Trämen?
09041 Working Group on MCDM for Robust Multiobjective Optimization (1st Round)
10231 Abstracts Collection - Structure Discovery in Biology: Motifs, Networks & Phylogenies
Modellieren statt Programmieren
Ordering Parameters in the Rule Space of Social Systems
Orthogonal Graph Drawing
Self-Organized Data Replication in Wireless Multihop Ad-Hoc Networks
Subwords in reverse-complement order
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
The Optimization of Interconnection Networks in FPGAs
Time Synchronization
Learning Process' Evaluation in Vocational Schools for the IT Sector's Training Occupations
Analyzing Self-Adaptation Via Model Checking of Stochastic Games
Maintaining Diversity: Simulating the Role of Nonliniarity and Discreteness in Dynamic Social Impact
Towards a General Framework for Modelling Roles
On Dynamic Graph Partitioning and Graph Clustering using Diffusion
Model-Driven and Pattern-Based Integration of Process-Driven SOA Models
Conditional Random Fields for Detection of Visual Object Classes
Grid Application Programming Environments