Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Gram-Schmidt Walk : A Cure for the Banaszczyk Blues

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Using Networks to Teach About Networks : (Report on Dagstuhl Seminar #17112)

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Special issue on Advanced stencil-code engineering

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Unravelling the Dodecahedral Spaces

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Open Problems in Computational Topology : Open Problems Column

Dagstuhl Seminar 17062, 05.02.17-10.02.17

Superhuman Sports : pplying Human Augmentation to Physical Exercise : article : pp. 14-17

Dagstuhl Seminar 17062, 05.02.17-10.02.17

A Dagstuhl Seminar Looks beyond Virtual and Augmented Reality : article : pp. 14-17

Dagstuhl Seminar 16452, 06.11.16-11.11.16

On the Relationship between k-Planar and k-Quasi Planar Graphs : article in EuroCG 2017, Malmö, Sweden, April 5 : 7, 2017 : pp. 152-155

Dagstuhl Seminar 16431, 23.10.16-28.10.16

On Two LZ78-style Grammars : Compression Bounds and Compressed-Space Computation

Dagstuhl Seminar 16431, 23.10.16-28.10.16

LZ78 Compression in Low Main Memory Space

Dagstuhl Event 16394, 25.09.16-30.09.16

Performance Engineering for Microservices : Research Challenges and Directions : article in ICPE '17 Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion : pp. 223-226

Dagstuhl Seminar 16381, 18.09.16-23.09.16

On Linear Resolution : Preliminary version

Dagstuhl Seminar 16361, 04.09.16-09.09.16

Security Challenges and Opportunities of Software-Defined Networking : article : pp. 98-102

Dagstuhl Seminar 16271, 03.07.16-08.07.16

Forming Tile Shapes with a Single Robot : article in EuroCG 2017, Malmö, Sweden, April 5 : 7, 2017 : pp. 9-12

Dagstuhl Seminar 16271, 03.07.16-08.07.16

Algorithmic Foundations of Programmable Matter : Dagstuhl Seminar 16271 : article

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Towards Life-Long Mobility : Accessible Transportation with Automation : article in Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications (Automotive UI ’16), October; 24 - 26, 2016, Ann Arbor, MI, US. : pp. 201-206

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Trust in Technology as a Safety Aspect in Highly Automated Driving : article : pp. 297-310

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Towards a Personalized Trust Model for Highly Automated Driving : article : In: Weyers, B. & Dittmar, A. (Hrsg.), Mensch und Computer 2016 : 6 pp.

Dagstuhl Seminar 16261, 26.06.16-01.07.16

Biomedical data analysis in translational research : article in ESANN 2017

Dagstuhl Seminar 16252, 19.06.16-24.06.16

I solemnly pledge : Lightning Talk : A Manifesto for Personal Responsibility in the Engineering of Academic Software : article in WSSSPE 2016 Workshop on Sustainable Software for Science: Practice and Experiences

Dagstuhl Seminar 16252, 19.06.16-24.06.16

Dagstuhl Manifesto : Engineering Academic : article : pp. 113-114

Dagstuhl Seminar 16252, 19.06.16-24.06.16

A Simple Profiling Framework for Software User-Producer Reciprocity Review : Lightning talk

Dagstuhl Seminar 16251, 19.06.16-22.06.16

Can We Make a Cake and Eat it Too? : : A Discussion of ICN Security and Privacy : article : pp. 49-54

Dagstuhl Event 16244, 12.06.16-15.06.16

Emerging Trends in Corporate Semantic Web : Selected Results of the 2016 Dagstuhl Workshop on Corporate Semantic Web : article : pp. 474-480

Dagstuhl Seminar 16241, 12.06.16-17.06.16

Density of Zeros of the Tutte Polynomial

Dagstuhl Seminar 16231, 05.06.16-10.06.16

Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science : Dagstuhl 2016, May 22nd - May 25th

Dagstuhl Seminar 16222, 29.05.16-03.06.16

Dagstuhl Manifesto : Engineering Moral Machines : pp. 467-472 : article

Dagstuhl Seminar 16221, 29.05.16-03.06.16

Subexponential parameterized algorithms for graphs of polynomial growth

Dagstuhl Seminar 16221, 29.05.16-03.06.16

Towards Moral Autonomous Systems

Dagstuhl Seminar 16192, 08.05.16-13.05.16

Enterprise Modelling for the Masses : From Elitist Discipline to Common Practice : article in "The Practice of Enterprise Modeling : 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skövde, Sweden, November 8-10, 2016, Proceedings" : pp. 225-237

Dagstuhl Seminar 16192, 08.05.16-13.05.16

A Case Study Exploring Suitability of Bottom Up Modelling and Actor-based Simulation for Decision Making : article in ISEC 2017 Workshops: ModSym, DIAS, and EDUDM

Dagstuhl Seminar 16192, 08.05.16-13.05.16

A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making : article in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD, 2017, Porto, Portugal

Dagstuhl Seminar 16192, 08.05.16-13.05.16

Actor Monitors for Adaptive Behaviour : article in ISEC '17 Proceedings of the 10th Innovations in Software Engineering Conference

Dagstuhl Seminar 16192, 08.05.16-13.05.16

A Simulation Based Aid for Complex Dynamic Decision Making : article in PoEM-DC 2016, Doctoral Consortium Papers at PoEM 2016

Dagstuhl Seminar 16192, 08.05.16-13.05.16

Actor Monitors for Adaptive Behaviour : article in SPLASH 2016

Dagstuhl Seminar 16192, 08.05.16-13.05.16

A Simulation-based Aid for Organisational Decision-making : article in Proceedings of the 11th International Joint Conference on Software Technologies, 109-116, 2016, Lisbon, Portugal

Dagstuhl Seminar 16191, 08.05.16-13.05.16

Optimized Execution of Business Processes on Blockchain

Dagstuhl Seminar 16191, 08.05.16-13.05.16

Optimized Execution of Business Processes on Blockchain : article in LNCS 10445 : pp. 130-146

Dagstuhl Event 16183, 01.05.16-04.05.16

Ausgezeichnete Informatikdissertationen 2015 : Bonn : Gesellschaft für Informatik e.V., 2016. - 388 S. - (Lecture notes in informatics / D ; 16)

Dagstuhl Seminar 16171, 24.04.16-29.04.16

An eigenmodel for iterative line planning, timetabling and vehicle scheduling in public transportation : article

Dagstuhl Seminar 16162, 17.04.16-22.04.16

Perspectives on Managing Technical Debt : A Transition Point and Roadmap from Dagstuhl : article in 1st International Workshop on Technical Debt Analytics (TDA 2016) : pp. 84-63

Dagstuhl Seminar 16162, 17.04.16-22.04.16

Co-Existence of the 'Technical Debt' and 'Software Legacy' Concepts : article in 1st International Workshop on Technical Debt Analytics (TDA) 2016

Dagstuhl Seminar 16152, 10.04.16-13.04.16

Dagstuhl Manifesto : Tensor Computing for the Internet of Things : pp. 403-405 : article

Dagstuhl Seminar 16151, 10.04.16-15.04.16

Research Directions for Principles of Data Management (Abridged) : article : pp. 5-17

Dagstuhl Seminar 16142, 03.04.16-08.04.16

Estimation of the Permeability Tensor of the Microvasculature of the Liver Through Fabric Tensors : article in "Wittek, A.: Computational Biomechanics for Medicine"

Dagstuhl Seminar 16142, 03.04.16-08.04.16

Prediction of apparent trabecular bone stiffness through fourth-order fabric tensors : article : pp 831–844

Dagstuhl Event 16133, 30.03.16-01.04.16

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XII : MBEES 2016

Dagstuhl Seminar 16131, 28.03.16-01.04.16

Space-Efficient Latent Contracts

Dagstuhl Seminar 16131, 28.03.16-01.04.16

Combining Effects and Coeffects via Grading : article in ICFP’ 16, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, September 18 - 24, 2016, Nara, Japan

Dagstuhl Seminar 16112, 13.03.16-18.03.16

Eff Directly in OCaml : article : ACM SIGPLAN 2016 ML Family Workshop, Sep 22, 2016, Nara, Japan

Dagstuhl Seminar 16101, 06.03.16-11.03.16

GPU multisplit : article in PPoPP '16 : Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Locality-sensitive hashing of curves

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Median-of-k Jumplists

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Quicksort Is Optimal For Many Equal Keys

Dagstuhl Seminar 16101, 06.03.16-11.03.16

GPU Multisplit : an extended study of a parallel algorithm

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Mathematical foundations of the GraphBLAS : article in 2016 IEEE High Performance Extreme Computing Conference (HPEC)

Dagstuhl Seminar 16092, 28.02.16-04.03.16

Robust Detection of Multiple Bioacoustic Events with Repetitive Structures : article in Interspeech 2016 : pp. 2631-2635

Dagstuhl Seminar 16092, 28.02.16-04.03.16

Using priors to improve estimates of music structure : article in ISMIR 2016 : pp. 554-560

Dagstuhl Seminar 16092, 28.02.16-04.03.16

Systematic Exploration of Computational Music Structure Research : article : ISMIR 2016 Proceedings : 7 pp.

Dagstuhl Seminar 16092, 28.02.16-04.03.16

MIREX : MSAF V0.1.0 submission : article, MIREX 2016

Dagstuhl Seminar 16091, 28.02.16-04.03.16

Benefit of Online Real-Time Data in the Braess Paradox with Anticipatory Routing : article in 2016 IEEE International Conference on Autonomic Computing (ICAC), 17-22 July 2016

Dagstuhl Seminar 16091, 28.02.16-04.03.16

Autonomous car and ride sharing : flexible road trains : (vision paper) : article in GIS '16 Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Article No. 10

Dagstuhl Seminar 16091, 28.02.16-04.03.16

How Good Is Predictive Routing in the Online Version of the Braess Paradox? : article in ECAI 2016 : 2 pp.

Dagstuhl Event 16082, 21.02.16-24.02.16

Dagstuhl-Erklärung: Bildung in der digitalen vernetzten Welt

Dagstuhl Seminar 16081, 21.02.16-26.02.16

The triangle scheduling problem

Dagstuhl Seminar 16081, 21.02.16-26.02.16

The local–global conjecture for scheduling with non-linear cost : article : pp. 239-254

Dagstuhl Seminar 16071, 14.02.16-19.02.16

A Bijection between the set of nesting-similarity classes and L&P matchings

Dagstuhl Seminar 16062, 07.02.16-12.02.16

S2CMAS : An Agent-Based System for Planning and Control in Semiconductor Supply Chains : article in LNAI 9872

Dagstuhl Seminar 16062, 07.02.16-12.02.16

A data model for planning in the semiconductor supply chain : article in "Proceedings of the 2016 Winter Simulation Conference"

Dagstuhl Seminar 16061, 07.02.16-12.02.16

Dagstuhl Manifesto : Data Visualization for Communication and Storytelling : pp. 242-245 : article

Dagstuhl Seminar 16042, 24.01.16-29.01.16

Solfege hand sign recognition with smart glasses : paper presented at First International Workshop on Egocentric Perception, Interaction, and Computing (EPIC 2016) : Oct 9, 2016

Dagstuhl Seminar 16042, 24.01.16-29.01.16

Smooth eye movement interaction using EOG glasses : article in ICMI 2016 Proceedings of the 18th ACM International Conference on Multimodal Interaction : pp. 307-311

Dagstuhl Seminar 16042, 24.01.16-29.01.16

Solar system : smooth pursuit interactions using EOG glasses : article in UbiComp '16 Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct : pp. 369-372

Dagstuhl Seminar 16041, 24.01.16-29.01.16

Increasing Reproducibility in IR : Findings from the Dagstuhl Seminar on “Reproducibility of Data-Oriented Experiments in e-Science” : article : pp. 68-82

Dagstuhl Seminar 16041, 24.01.16-29.01.16

Dagstuhl Manifesto : Reproducibility of Data-Oriented Experiments in e-Science : pp. 330-333 : article

Dagstuhl Seminar 16041, 24.01.16-29.01.16

Reproducibility Challenges in Information Retrieval Evaluation : article

Dagstuhl Seminar 16041, 24.01.16-29.01.16

The Road Towards Reproducibility in Science : The Case of Data Citation : paper presented at Italian Research Conference on Digital Libraries 2017 (IRCDL 2017)

Dagstuhl Seminar 16041, 24.01.16-29.01.16

Towards Open-Source Shared Implementations of Keyword-Based Access Systems to Relational Data : article in KARS 2017

Dagstuhl Seminar 16041, 24.01.16-29.01.16

Yin & Yang : Demonstrating Complementary Provenance from noWorkflow & YesWorkflow : article in LNCS 9672, IPAW 2016 : pp. 161-165 - Berlin : Springer, 2016.

Dagstuhl Seminar 16032, 17.01.16-20.01.16

A local electricity trading market : Security analysis : article in 2016 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe) : 6 pp.

Dagstuhl Seminar 16032, 17.01.16-20.01.16

Towards a Local Electricity Trading Market based on Secure Multiparty Computation

Dagstuhl Seminar 16032, 17.01.16-20.01.16

An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market : article in LNCS 10052, International Conference on Cryptology and Network Security, CANS 2016 : pp. 615-625

Dagstuhl Seminar 16031, 17.01.16-22.01.16

Noetherian Quasi-Polish Spaces : article

Dagstuhl Seminar 16022, 10.01.16-15.01.16

Towards a fully predictive model of flight paths in pigeons navigating in the familiar area : prediction across differing individuals : article

Dagstuhl Seminar 16022, 10.01.16-15.01.16

Computing Wave Impact in Self-Organised Mussel Beds : article in EuroCG 2017, Malmö, Sweden, April 5 - 7, 2017 : pp. 169-172

Dagstuhl Seminar 16021, 10.01.16-15.01.16

Invariant Subspace Attack Against Midori64 and The Resistance Criteria for S-box Designs : article pp. 33-56

Dagstuhl Seminar 16021, 10.01.16-15.01.16

Simpira v2 : A Family of Efficient Permutations Using the AES Round Function : article in LNCS 10031 : pp. 95-125

Dagstuhl Seminar 16021, 10.01.16-15.01.16

Exponential S-Boxes : a Link Between the S-Boxes of BelT and Kuznyechik/Streebog : article pp. 99-124

Dagstuhl Seminar 16021, 10.01.16-15.01.16

Stronger Security Variants of GCM-SIV : article : pp.134-157

Dagstuhl Seminar 16012, 04.01.16-07.01.16

Global Measurements : Practice and Experience : Report on Dagstuhl Seminar #16012 : article : pp. 32-39

Dagstuhl Seminar 16012, 04.01.16-07.01.16

Weak Keys for AEZ, and the External Key Padding Attackarticle in LNCS 10159 : pp. 223-237

Dagstuhl Seminar 16011, 04.01.16-08.01.16

Escaping Local Optima using Crossover with Emergent or Reinforced Diversity

Dagstuhl Seminar 16011, 04.01.16-08.01.16

Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article : 32 pp.

Dagstuhl Seminar 15512, 13.12.15-18.12.15

Computational Argumentation Quality Assessment in Natural Language : article in : Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL 17)

Dagstuhl Seminar 15512, 13.12.15-18.12.15

Debating Technology for Dialogical Argument : Sensemaking, Engagement, and Analytics : article

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Report on The Graph Isomorphism Problem : Dagstuhl Seminar 15511 on the Graph Isomorphism Problem : 13 - 18 December, 2015 ; article

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Cartan coherent configurations : article : pp. 525-552

Dagstuhl Seminar 15511, 13.12.15-18.12.15

A family of permutation groups with exponentially many non-conjugated regular elementary abelian subgroups : 6 pp.

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Solution-Graphs of Boolean Formulas and Isomorphism : article in SAT 2016: Theory and Applications of Satisfiability Testing : pp. 29-44

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Parameterized Complexity of Small Weight Automorphisms : 14 pp.

Dagstuhl Seminar 15511, 13.12.15-18.12.15

The threshold for subgroup profiles to agree is Ω (logn) : 14 pp.

Dagstuhl Seminar 15481, 22.11.15-27.11.15

Report on the Dagstuhl Seminar 15481 "Evaluation in the Crowd: Crowdsourcing and Human-Centred Experiments" (November 2015) : article in KuVS Newsletter PP. 13-14

Dagstuhl Seminar 15471, 15.11.15-20.11.15

SC2 : Satisfiability Checking Meets Symbolic Computation : article in LNAI 9791 "Intelligent Computer Mathematics : CICM 2016" : pp. 28-43

Dagstuhl Seminar 15471, 15.11.15-20.11.15

Solving Nonlinear Integer Arithmetic with MCSAT : article in LNCS 10145 "Model Checking, and Abstract Interpretation : VMCAI 2017" : pp. 330-346

Dagstuhl Seminar 15451, 01.11.15-06.11.15

Model Checking Spatial Logics for Closure Spaces : article : pp. 1- 51

Dagstuhl Seminar 15451, 01.11.15-06.11.15

The complexity of regular abstractions of one-counter languages : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 207-216

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Computer models solving intelligence test problems : Progress and implications : article, pp. 74-107

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Historical account of computer models solving IQ test : accepted paper : "EGPAI 2016 : 1st International Workshop on Evaluating General-Purpose AI", pp. 20-21

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Logging Data Scientists : Collecting Evidence for Data Science Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 3 pp.

Dagstuhl Seminar 15442, 25.10.15-30.10.15

General-Purpose Inductive Programming for Data Wrangling Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 4 pp.

Dagstuhl Seminar 15442, 25.10.15-30.10.15

How does Predicate Invention affect Human Comprehensibility? : article in 26th International Conference on Inductive Logic Programming (ILP), 2016

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Competitive Packet Routing with Priority Lists : article in 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 : pp. 1-14

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Protection of flows under targeted attacks

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Long Term Behavior of Dynamic Equilibria in Fluid Queuing Networks : article in LNCS 10328 : IPCO 2017 - Berlin : Springer, 2017. - pp. 161-172

Dagstuhl Seminar 15411, 04.10.15-09.10.15

Grasp Quality Evaluation in Underactuated Robotic Hands : article in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) : pp. 1946-1953

Dagstuhl Seminar 15401, 27.09.15-02.10.15

Two-variable Logic with a Between Relation : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 106-115

Dagstuhl Seminar 15401, 27.09.15-02.10.15

Descriptive Complexity of #AC0 Functions : article in Computer Science Logic 2016, CSL 2016

Dagstuhl Seminar 15401, 27.09.15-02.10.15

A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits: article in "Logic, Language, Information, and Computation" : pp 234-248

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Dividing by Zero - How Bad Is It, Really? : article in 41st International Symposium on Mathematical Foundations of Computer Science : pp. 1-14

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Reverse Mathematics of Matroids : article in LNCS 10010: Computability and Complexity : pp. 143-159

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Using Ramsey's Theorem Once

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Embeddings of Weighted Hilbert Spaces and Applications to Multivariate and Infinite-Dimensional Integration : article

Dagstuhl Seminar 15391, 20.09.15-25.09.15

A linear functional strategy for regularized ranking : article pp. 26-35

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Glycemic Control Indices and Their Aggregation in the Prediction of Nocturnal Hypoglycemia From Intermittent Blood Glucose Measurements : article : pp. 1245-1250

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Complexity of linear ill-posed problems in Hilbert space

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Prediction of nocturnal hypoglycemia by an aggregation of previously known prediction approaches : proof of concept for clinical application : article : pp. 179-186

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Property-Directed k-Induction : article in Formal Methods in Computer-Aided Design, FMCAD 2016 : pp. 85-92

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Computing a Complete Basis for Equalities Implied by a System of LRA Constraints

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Fast Cube Tests for LIA Constraint Solving : article in LNAI 9706: International Joint Conference on Automated Reasoning, IJCAR 2016, Automated Reasoning : pp.116-132

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Linear Arithmetic Satisfiability Via Strategy Improvement : article in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) : pp. 735-743

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Encryption faces quantum foe : Researchers urge readiness against attacks from future-generation computers : Online security braces for quantum revolution : article pp. 167-168

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Jetzt wappnen für den Quantenangriff : Artikel : 4 S.

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Computational Security of Quantum Encryption

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Semantic Security and Indistinguishability in the Quantum World

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Circuit-extension handshakes for Tor achieving forward secrecy in a quantum world : article in Proceedings on Privacy Enhancing Technologies 2016 : pp. 219–236

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Applying Grover’s Algorithm to AES : Quantum Resource Estimates : article in LNCS 9606 : pp. 29-43

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Report on Post-Quantum Cryptography

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3

Dagstuhl Seminar 15362, 30.08.15-04.09.15

Dagstuhl Manifesto : Perspectives Workshop : Present and Future of Formal Argumentation : pp. 84-86 : article

Dagstuhl Seminar 15362, 30.08.15-04.09.15

Abstract Dialectical Argumentation Among Close Relatives : article in Computational Models of Argument, ISBN 978-1-61499-685-9 : pp. 127-138

Dagstuhl Seminar 15361, 30.08.15-04.09.15

On the measure of Voronoi cells : article

Dagstuhl Seminar 15361, 30.08.15-04.09.15

Pattern Coding Meets Censoring : (almost) Adaptive Coding on Countable Alphabets

Dagstuhl Seminar 15352, 23.08.15-26.08.15

Control-Fluidic CoDesign for Paper-Based Digital Microfluidic Biochips : article in ICCAD '16 Proceedings of the 35th International Conference on Computer-Aided Design : 8 pp.

Dagstuhl Seminar 15351, 23.08.15-28.08.15

Testing and Validation of Computational Methods for Mass Spectrometry : article : pp.809-814

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Dagstuhl Manifesto : Power-Bounded HPC Performance Optimization : pp. 171-174 : article

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Power Tuning HPC Jobs on Power-Constrained Systems : article in Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, PACT '16 : pp. 179-191

Dagstuhl Seminar 15342, 16.08.15-21.08.15

A Power-Aware Cost Model for HPC Procurement : article in 2016 IEEE International Parallel and Distributed Processing Symposium Workshops : pp. 1110-1113

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Power Tuning for HPC Jobs under Manufacturing Variations

Dagstuhl Seminar 15302, 19.07.15-24.07.15

Dagstuhl Manifesto : Digital Scholarship and Open Science in Psychology and the Behavioral Sciences : pp. 572-573 : article

Dagstuhl Seminar 15301, 19.07.15-24.07.15

Testing Assignments to Constraint Satisfaction Problems : article in 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) : pp. 525-534

Dagstuhl Seminar 15301, 19.07.15-24.07.15

Even Delta-Matroids and the Complexity of Planar Boolean CSPs

Dagstuhl Event 15283, 05.07.15-10.07.15

Entertainment Computing and Serious Games : International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5 - 10, 2015, Revised Selected Papers - Heidelberg : Springer, 2016. - (Lecture notes in computer science : Tutorial ; 9970)

Dagstuhl Event 15253, 14.06.15-17.06.15

Corporate Semantic Web : Applications, Technology, Methodology : Summary of the Dagstuhl Workshop 2015 : article : pp. 57-63

Dagstuhl Seminar 15241, 07.06.15-12.06.15

Dagstuhl Manifesto : Computational Social Choice : Theory and Applications : pp. 423-426 : article

Dagstuhl Seminar 15222, 25.05.15-28.05.15

What does it mean to use a method? : Towards a practice theory for software engineering : article pp. 220-231

Dagstuhl Seminar 15221, 25.05.15-29.05.15

Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem : article in LNCS 9616 : pp. 65-82

Dagstuhl Seminar 15221, 25.05.15-29.05.15

Reasoning with Imperfect Information and Knowledge : Special Issue : pp. 1-257

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Upper bounds on expected hitting time of target subsets by genetic algorithm : article in Proceedings of the 6th International Conference "Optimization Problems and their Economical Applications" : pp.84-88

Dagstuhl Seminar 15211, 17.05.15-22.05.15

How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms : article : 39 pp.

Dagstuhl Seminar 15211, 17.05.15-22.05.15

First Steps Towards a Runtime Comparison of Natural and Artificial Evolution : article in GECCO '15 Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation : pp. 1455-1462

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Toward a unifying framework for evolutionary processes : article : pp. 28-43

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Projection-Based Restricted Covariance Matrix Adaptation for High Dimension : article in GECCO 2016, Genetic and Evolutionary Computation Conference 2016, Jul 2016, Denver, United States

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Example Landscapes to Support Analysis : article in LNCS 9921

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article pp. 61-68

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Artificial Immune Systems can Beat Evolutionary Algorithms in Combinatorial Optimisation : article : 8 pp

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article : 32 pp.

Dagstuhl Event 15202, 10.05.15-13.05.15

Ausgezeichnete Informatikdissertationen 2014

Dagstuhl Seminar 15191, 03.05.15-08.05.15

Possible values : Exploring a concept for concurrency : article

Dagstuhl Seminar 15182, 26.04.15-29.04.15

Formal Methods Tool Qualification

Dagstuhl Seminar 15171, 19.04.15-24.04.15

Total space in Resolution is at least width squared

Dagstuhl Seminar 15161, 12.04.15-17.04.15

Advanced stencil-code engineering : special issue : early view ; 2017

Dagstuhl Event 15133, 22.03.15-25.03.15

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XI : MBEES 2015

Dagstuhl Seminar 15102, 01.03.15-04.03.15

Toward a Taxonomy and Attacker Model for Secure Routing Protocols : article, pp. 43-48

Dagstuhl Seminar 15101, 01.03.15-06.03.15

The State of the Art in Integrating Machine Learning into Visual Analytics . early view article, 28 pp

Dagstuhl Seminar 15082, 15.02.15-20.02.15

On the Linear Extension Complexity of Regular n-gons : also published in "Linear Algebra and its Applications" : article

Dagstuhl Seminar 15082, 15.02.15-20.02.15

On the Linear Extension Complexity of Regular n-gons : article

Dagstuhl Seminar 15072, 08.02.15-11.02.15

Distributed Cloud Computing : Applications, Status Quo, and Challenges : article : pp. 38-43

Dagstuhl Seminar 15062, 01.02.15-06.02.15

Evaluating and comparing language workbenches : Existing results and benchmarks for the future : article pp. 24-47

Dagstuhl Seminar 15061, 01.02.15-06.02.15

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead : article : pp. 519-533

Dagstuhl Seminar 15052, 25.01.15-30.01.15

Placing Arrows in Directed Graph Drawings

Dagstuhl Seminar 15041, 18.01.15-23.01.15

Self-Aware Computing Systems : Heidelberg : Springer, 2017. - xviii, 722 Seiten

Dagstuhl Seminar 15022, 04.01.15-07.01.15

QoE beyond the MOS : Added Value Using Quantiles and Distributions : article in QoMEX 2015

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Towards a comprehensive framework for QOE and user behavior modelling : article in QoMEX 2015

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Impact of Perceived Quality and other Influencing Factors on Emotional Video Experience : article in QoMEX

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Dagstuhl Manifesto : Quality of Experience : from Assessment to Application : pp.315-318 : article

Dagstuhl Seminar 15022, 04.01.15-07.01.15

From Service Level Agreements (SLA) to Experience Level Agreements (ELA) : The challenges of selling QoE to the user : article in ICC'15 : IEEE ICC 2015 - Workshop on Quality of Experience-based Management for Future Internet Applications and Services (QoE-FI)

Dagstuhl Seminar 15022, 04.01.15-07.01.15

QoE beyond the MOS : an in-depth look at QoE via better metrics and their relation to MOS : article, 23 pp.

Dagstuhl Seminar 15021, 04.01.15-09.01.15

A simple deterministic algorithm for guaranteeing the forward progress of transactions : article : pp. 69-74

Dagstuhl Event 14502, 07.12.14-10.12.14

Informatik@Schule : Agenda für informatische Bildung in der Schule : 07. - 10. Dezmber 2014, GI-Dagstuhl Seminar 14502

Dagstuhl Event 14502, 07.12.14-10.12.14

3. Dagstuhl-Erklärung zur Informatischen Bildung in der Schule 2015 der Gesellschaft für Informatik e.V. (GI)

Dagstuhl Event 14502, 07.12.14-10.12.14

Dagstuhl Manifesto : GI-Dagstuhl-Seminar : Informatik@Schule : pp. 243-245 : article

Dagstuhl Seminar 14491, 30.11.14-05.12.14

"If you were attacked, you'd be sorry" : Counterfactuals as security arguments : article in NSPW 2015, Proceedings of the 2015 New Security Paradigms Workshop - New York : ACM, 2015. - pp. 112-123

Dagstuhl Seminar 14491, 30.11.14-05.12.14

Maybe Poor Johnny Really Cannot Encrypt : The Case for a Complexity Theory for Usable Security : article in NSPW 2015, Proceedings of the 2015 New Security Paradigms Workshop - New York : ACM, 2015. - pp. 85-99

Dagstuhl Seminar 14471, 16.11.14-21.11.14

Dagstuhl Manifesto : Towards an Affordable Internet Access for Everyone : The Quest for Enabling Universal Service Commitment : pp. 157-159 : article

Dagstuhl Event 14433, 19.10.14-24.10.14

Capturing Ambiguity in Artifacts to Support Requirements Engineering for Self-Adaptive Systems : article in REFSQ 2017 Joint Proceedings of the Co-Located Events /

Dagstuhl Event 14432, 19.10.14-24.10.14

DDI and Enhanced Data Citation : article : pp. 30-46

Dagstuhl Event 14422, 12.10.14-17.10.14

Dagstuhl Sprint Summary Report : October 31, 2014

Dagstuhl Seminar 14412, 05.10.14-10.10.14

Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5 - 10, 2014, Revised Papers

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Dual VP Classes

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Space-Efficient Approximations for Subset Sum

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Every list-decodable code for high noise has abundant near-optimal rate puncturings : Extended Abstract : article in Proceedings of the 2014 ACM Symposium on Theory of Computing : pp. 764-773

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Every list-decodable code for high noise has abundant near-optimal rate puncturings

Dagstuhl Seminar 14391, 21.09.14-26.09.14

It'll probably work out : improved list-decoding through random operations

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Reed-Muller codes for random erasures and errors : article in STOCS 2015

Dagstuhl Seminar 14391, 21.09.14-26.09.14

The Minimum Oracle Circuit Size Problem : article : pp. 469-496

Dagstuhl Seminar 14391, 21.09.14-26.09.14

Circuit Complexity of Powering in Fields of Odd Characteristic : article 10

Dagstuhl Event 14382, 14.09.14-19.09.14

Software Engineering Meets Control Theory : article in 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) : pp. 71-82

Dagstuhl Seminar 14381, 14.09.14-19.09.14

Neural-Symbolic Learning and Reasoning : Contributions and Challenges : article pp. 18-21 - Menlo Park : AAAI, 2015. - (AAAI Spring Symposium on Knowledge Representation and Reasoning 2015)

Dagstuhl Seminar 14292, 13.07.14-16.07.14

Insights on the Security and Dependability of Industrial Control Systems : article : pp. 75-78

Dagstuhl Seminar 14292, 13.07.14-16.07.14

Dagstuhl Manifesto : Network Attack Detection and Defense : Securing Industrial Control Systems for Critical Infrastructures : pp. 605-607 : article

Dagstuhl Seminar 14282, 06.07.14-09.07.14

Crowdsourcing and the Semantic Web : A Research Manifesto : article pp. 3-17

Dagstuhl Seminar 14272, 29.06.14-02.07.14

Dagstuhl Manifesto : Cartography of Wellth Creation : pp. 56-59

Dagstuhl Seminar 14272, 29.06.14-02.07.14

What You Wanted to Know About Wearables : Four experts weigh in on data security and usability : blog contribution : 30. Juni 2015 - Los Alamitos : IEEE, 2015. - 3 pp.

Dagstuhl Seminar 14272, 29.06.14-02.07.14

From field to office : translating brain-body benefits from sport to knowledge work : article : pp. 32-35

Dagstuhl Seminar 14272, 29.06.14-02.07.14

Wellth Creation : Using Computer Science to Support Proactive Health : article pp. 70-72

Dagstuhl Seminar 14272, 29.06.14-02.07.14

mHealth + Proactive Well-being = Wellth Creation : article : pp. 60-63

Dagstuhl Seminar 14272, 29.06.14-02.07.14

Moving Beyond e-Health and the Quantified Self : the Role of CSCW in Collaboration, Community and Practice for Technologically-Supported Proactive Health and Wellbeing : article in CSCW 2015 (Workshop)

Dagstuhl Event 14263, 25.06.14-27.06.14

Corporate Semantic Web : Wie semantische Anwendungen in Unternehmen Nutzen stiften

Dagstuhl Event 14252, 15.06.14-18.06.14

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science : Dagstuhl 2014, June 15 - 18, 2014

Dagstuhl Seminar 14221, 25.05.14-30.05.14

Special Issue of selected papers from the 2014 Dagstuhl seminar on Geometric Modeling : pp. 43-180

Dagstuhl Seminar 14211, 18.05.14-23.05.14

Refactoring : special issue : pp. 27-91

Dagstuhl Seminar 14202, 12.05.14-15.05.14

Respect for experts or respect for unanimity? : The liberal paradox in probabilistic opinion pooling / Frederik S. Herzberg. - Bielefeld : Universität, 2014. - 6 pp. - (Center for Mathematical Economics Working Papers ; 513)

Dagstuhl Seminar 14202, 12.05.14-15.05.14

Respect for experts vs. respect for unanimity : The liberal paradox in probabilistic opinion pooling : article in "Economics Letters" : pp. 44-47

Dagstuhl Event 14192, 04.05.14-07.05.14

Ausgezeichnete Informatikdissertationen 2013

Dagstuhl Event 14152, 06.04.14-09.04.14

Spring School on Individual-centered approaches to speech processing : April 6 - 9, 2014

Dagstuhl Seminar 14121, 16.03.14-21.03.14

Dual VP Classes

Dagstuhl Seminar 14121, 16.03.14-21.03.14

Space-Efficient Approximations for Subset Sum

Dagstuhl Seminar 14112, 10.03.14-13.03.14

Dagstuhl Manifesto : Massive Open Online Courses : Current State and Perspectives : article : pp. 364-367

Dagstuhl Seminar 14111, 09.03.14-14.03.14

Searching for Zimin patterns : article pp. 50-57

Dagstuhl Event 14103, 05.03.14-07.03.14

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme X : MBEES 2014

Dagstuhl Seminar 14092, 23.02.14-28.02.14

From IT forensics to forensic computing : special issue : pp. 337-393

Dagstuhl Seminar 14092, 23.02.14-28.02.14

Exploring the Space of Digital Evidence : Position Paper : article in LNCS 9722

Dagstuhl Seminar 14082, 16.02.14-21.02.14

Visualization and Processing of Higher Order Descriptors for Multi-Valued Data

Dagstuhl Seminar 14072, 09.02.14-14.02.14

Perspectives in Shape Analysis

Dagstuhl Seminar 14071, 09.02.14-14.02.14

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : preliminary version : Dagstuhl Seminars 13121, 13421, 14071 : 89 pp.

Dagstuhl Seminar 14071, 09.02.14-14.02.14

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : article in FOCS 2014 : 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 276-285

Dagstuhl Seminar 14052, 26.01.14-31.01.14

Ethics in Data Sharing : Developing a Model for Best Practice : article in 2014 IEEE Security and Privacy Workshops (SPW) : pp. 5-9

Dagstuhl Seminar 14031, 12.01.14-17.01.14

Survivability Evaluation of Gas, Water and Electricity Infrastructures : article pp. 5-25

Dagstuhl Seminar 14022, 05.01.14-10.01.14

Dagstuhl Manifesto : Connecting Performance Analysis and Visualization to Advance Extreme Scale : pp. 144-146 : article

Dagstuhl Seminar 14022, 05.01.14-10.01.14

Dagstuhl Manifesto : Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing : pp. 257-259 : article

Dagstuhl Seminar 14022, 05.01.14-10.01.14

State of the Art of Performance Visualization : article in Eurographics Conference on Visualization (EuroVis) (2014) : 20 S.

Dagstuhl Seminar 14022, 05.01.14-10.01.14

TorusVisND : unraveling high-dimensional torus networks for network traffic visualizations : article in VPA '14, Proceedings of the First Workshop on Visual Performance Analysis : pp. 9-16

Dagstuhl Seminar 13512, 15.12.13-19.12.13

Report from Dagstuhl : SocioPaths - Multimodal Door-to-Door Route planning via Social Paths : article in Proceedings of the 2nd International Workshop on Mining Urban Data (MUD2), CEUR-WS, 2015, vol. 1392 - CEUR-WS.org, 2015. - pp. 90-94

Dagstuhl Seminar 13502, 08.12.13-11.12.13

Comparing Computer Models Solving Number Series Problems : article in LNAI 9205 : pp. 352-361

Dagstuhl Seminar 13502, 08.12.13-11.12.13

Can Machine Intelligence be Measured in the Same Way as Human intelligence? : article : pp. 291-297

Dagstuhl Seminar 13502, 08.12.13-11.12.13

Inductive programming meets the real world : article : pp. 90-99

Dagstuhl Seminar 13491, 01.12.13-06.12.13

Managing Expectations When Publishing Tools and Methods for Computational Proteomics : article : pp. 2002-2004

Dagstuhl Seminar 13482, 24.11.13-29.11.13

From IT forensics to forensic computing : special issue : pp. 337-393

Dagstuhl Seminar 13481, 24.11.13-29.11.13

Lights, Camera, Action! : Business Process Movies for Online Process Discovery : article Published in Proceedings of the 3rd International Workshop on Theory and Applications of Process Visualization (TAProViz 2014) : 12 pp.

Dagstuhl Seminar 13481, 24.11.13-29.11.13

Predictive Monitoring of Business Processes : article in LNCS 8484 (Advanced Information Systems Engineering) : pp. 457-472

Dagstuhl Seminar 13481, 24.11.13-29.11.13

The Automated Discovery of Hybrid Processes : article in LNCS 8659 (Business Process Management) : pp 392-399

Dagstuhl Seminar 13481, 24.11.13-29.11.13

Dagstuhl Seminar 13481 Special Issue

Dagstuhl Seminar 13452, 03.11.13-08.11.13

The design of slow-motion feedback : article in "DIS '14 Proceedings of the 2014 conference on Designing interactive systems"

Dagstuhl Seminar 13452, 03.11.13-08.11.13

Dark Patterns in Proxemic Interactions : article in "DIS '14 Proceedings of the 2014 conference on Designing interactive systems"

Dagstuhl Seminar 13452, 03.11.13-08.11.13

HuddleLamp : Spatially-Aware Mobile Displays for Ad-hoc Around-the-Table Collaboration : article In: Proceedings of the 2014 ACM international conference on Interactive tabletops and surfaces (ITS '14)

Dagstuhl Seminar 13452, 03.11.13-08.11.13

Proxemics Play: Understanding Proxemics for Designing Digital Play Experiences : article in DIS 2014

Dagstuhl Seminar 13452, 03.11.13-08.11.13

Dagstuhl Seminar: Proxemics in Human-Computer Interaction : article : pp. 499-500

Dagstuhl Seminar 13452, 03.11.13-08.11.13

Dagstuhl Manifesto : Proxemics in Human-Computer Interaction : article : pp. 500-503

Dagstuhl Seminar 13451, 03.11.13-08.11.13

Needs and challenges in human computer interaction for processing social emotional information : article : pp. 41-51

Dagstuhl Seminar 13441, 27.10.13-01.11.13

Evaluation methodologies in information retrieval Dagstuhl Seminar 13341 : article : pp. 36-41

Dagstuhl Seminar 13431, 20.10.13-25.10.13

Digital Representations of the Real World : How to Capture, Model, and Render Visual Reality

Dagstuhl Seminar 13421, 13.10.13-18.10.13

Network sparsification for Steiner problems on planar and bounded-genus graphs : preliminary version : Dagstuhl Seminars 13121, 13421, 14071 : 89 pp.

Dagstuhl Seminar 13421, 13.10.13-18.10.13

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : article in FOCS 2014 : 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 276-285

Dagstuhl Seminar 13421, 13.10.13-18.10.13

Integrating and Sampling Cuts in Bounded Treewidth Graphs : article in "Advances in the Mathematical Sciences", 978-3-319-34137-8

Dagstuhl Seminar 13411, 06.10.13-11.10.13

Towards Conflict-Driven Learning for Virtual Substitution : article in LNCS 8660, CASC Workshop 2014

Dagstuhl Seminar 13401, 29.09.13-04.10.13

Special issue on automatic application tuning for HPC architectures

Dagstuhl Seminar 13392, 22.09.13-25.09.13

Inter-vehicle communication : Quo vadis : article pp. 170-177

Dagstuhl Seminar 13382, 15.09.13-20.09.13

Live Coding in Music Education : Special Issue

Dagstuhl Seminar 13362, 01.09.13-04.09.13

Crowdsourcing : Cloud-Based Software Development

Dagstuhl Seminar 13361, 01.09.13-04.09.13

Special issue on crowdsourcing : pp. 1-166

Dagstuhl Seminar 13342, 18.08.13-23.08.13

Dagstuhl Manifesto : ICT for Bridging Biology and Medicine : pp. 566-569 : article

Dagstuhl Seminar 13342, 18.08.13-23.08.13

Computational Pathology as the New Big Data : article : pp. 600-601 : editiorial : coming into focus

Dagstuhl Seminar 13342, 18.08.13-23.08.13

Computational Pathology : A Path Ahead : article : pp. 41-50

Dagstuhl Seminar 13342, 18.08.13-23.08.13

OpenHealth Platform for Interactive Contextualization of Population : article pp. 297-305

Dagstuhl Event 13329, 09.08.13-17.08.13

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets : book chapter

Dagstuhl Event 13329, 09.08.13-17.08.13

Synthesis and reengineering of persistent systems : article : pp. 35-60

Dagstuhl Event 13329, 09.08.13-17.08.13

Synthesis of Persistent Systems : book chapter

Dagstuhl Event 13329, 09.08.13-17.08.13

State space axioms for T-systems : article : pp. 133-152

Dagstuhl Event 13329, 09.08.13-17.08.13

Synthesis of Live and Bounded Persistent Systems : article : pp. 39-59

Dagstuhl Seminar 13322, 04.08.13-09.08.13

Understanding the importance of the Internet Infrastructure in Europe : Guidelines for enhancing the Resilience of eCommunication Networks : TLP Amber, December 2013

Dagstuhl Seminar 13312, 28.07.13-02.08.13

Trust and Privacy in Mobile Experience Sharing : Future Challenges and Avenues for Research : article : pp. 50-55

Dagstuhl Seminar 13311, 28.07.13-02.08.13

The connection of skew Boolean algebras and discriminator varieties to Church algebras : article : pp. 369-390

Dagstuhl Event 13282, 07.07.13-12.07.13

Business Intelligence : Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7 - 12, 2013, Tutorial Lectures

Dagstuhl Seminar 13271, 30.06.13-05.07.13

A Fixed Budget Analysis of Randomized Search Heuristics for the Traveling Salesperson Problem : article in GECCO '14 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation pp. 807-814

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Design and Analysis of Adaptive Migration Intervals in Parallel Evolutionary Algorithms : article in GECCO '14 Proceedings of the 2014 Conference on Genetic and Evolutionary Computation pp. 1047-1054

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Analysis of runtime of optimization algorithms for noisy functions over discrete codomains : article : pp. 42-50

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Run-Time Analysis of Population-Based Evolutionary in Noisy Environments article in FOGA '15 Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII Proceedings : pp. 69-75

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Level-Based Analysis of Genetic Algorithms and Other Search Processes : article in LNCS 8672 : pp. 912-921

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Clustering Problems for More Useful Benchmarking of Optimization Algorithms : article in SEAL 2014, LNCS 8886 : pp. 131-142

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Towards improved benchmarking of black-box optimization algorithms using clustering problems : article : 15 pp.

Dagstuhl Seminar 13271, 30.06.13-05.07.13

Fixed Budget Performance of the (1+1) EA on Linear Functions article in FOGA 2015 : pp. 52-61

Dagstuhl Seminar 13271, 30.06.13-05.07.13

On the Easiest and Hardest Fitness Functions : article : pp. 295-305

Dagstuhl Seminar 13271, 30.06.13-05.07.13

The Dynamics of Cumulative Step Size Adaptation on the Ellipsoid Model : article : pp. 25-57

Dagstuhl Event 13262, 23.06.13-28.06.13

Computational Oncology SummerSchool : 2nd Summer School in Computational Oncology : 1st p-medicine Summer School : June 23 - 28, 2013 : Schloss Dagstuhl in Wadern, Germany : Abstract Book

Dagstuhl Seminar 13241, 09.06.13-14.06.13

Virtual Realities : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9 - 14, 2013, Revised Selected Papers

Dagstuhl Seminar 13232, 02.06.13-07.06.13

Less Space : Indexing for Queries with Wildcards : article in LNCS 8283, pp. 89-99

Dagstuhl Seminar 13232, 02.06.13-07.06.13

Succinct Data Structures for Representing Equivalence Classes : article in LNCS 8283, pp. 502-512

Dagstuhl Seminar 13232, 02.06.13-07.06.13

Ranked Document Selection : article in LNCS 8503 SWAT 2014 : pp. 344-356

Dagstuhl Seminar 13231, 02.06.13-07.06.13

Constructing Argument Graphs with Deductive Arguments : A Tutorial : article pp. 5-30

Dagstuhl Seminar 13201, 12.05.13-17.05.13

Multivariate Network Visualization : Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12 - 17, 2013, Revised Discussions - Berlin : Springer, 2014. - XV, 235 S.

Dagstuhl Event 13193, 05.05.13-08.05.13

Ausgezeichnete Informatikdissertationen 2012

Dagstuhl Seminar 13182, 28.04.13-03.05.13

Research Questions for Validation and Verification in the Context of Model-Based Engineering : article : MoDeVVa 2013 : 10th Workshop on Model-Driven Engineering, Verification, and Validation

Dagstuhl Seminar 13171, 21.04.13-26.04.13

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme IV : MBEES 2013 - München

Dagstuhl Seminar 13151, 07.04.13-12.04.13

An Algorithmic Framework for Labeling Network Maps : article in LNCS 9198 COCOON 2015 : pp. 689-700

Dagstuhl Seminar 13131, 24.03.13-27.03.13

Is SDN the De-constraining Constraint of the Future Internet? : article : pp. 13-18

Dagstuhl Seminar 13131, 24.03.13-27.03.13

Dagstuhl Manifesto : Future Internet : pp. 65-67 : article

Dagstuhl Seminar 13131, 24.03.13-27.03.13

Adaptive scheduling algorithm for media-optimized traffic management in software defined networks : article : pp. 147-168

Dagstuhl Seminar 13121, 17.03.13-22.03.13

Network sparsification for Steiner problems on planar and bounded-genus graphs : preliminary version : Dagstuhl Seminars 13121, 13421, 14071

Dagstuhl Seminar 13121, 17.03.13-22.03.13

Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs : article in FOCS 2014 : 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 276-285

Dagstuhl Event 13112, 10.03.13-13.03.13

The Flip Diameter of Rectangulations and Convex Subdivisions : article in LNCS 8392 LATIN 2014 : pp. 478-489

Dagstuhl Seminar 13111, 10.03.13-15.03.13

Scheduling with State-Dependent Machine Speed : article in LNCS 9499: Approximation and Online Algorithms, WAOA 2015 : pp. 196-208

Dagstuhl Seminar 13091, 24.02.13-01.03.13

Variational Data Structures : Exploring Tradeoffs in Computing with Variability : article in "Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software" : pp. 213-226

Dagstuhl Seminar 13082, 17.02.13-22.02.13

An upper bound for nonnegative rank : article : pp. 126-132

Dagstuhl Seminar 13082, 17.02.13-22.02.13

The arctic rank of a Boolean matrix : article in "Journal of algebra" : pp. 168-182

Dagstuhl Seminar 13081, 17.02.13-22.02.13

Dagstuhl Seminar Review: Consistency in Distributed Systems : article : pp. 67-89

Dagstuhl Seminar 13071, 10.02.13-15.02.13

Dependence Logic : theory and Applications

Dagstuhl Seminar 12512, 16.12.12-21.12.12

Deriving movement properties and the effect of the environment from the Brownian bridge movement model in monkeys and birds : article : 11 pp.

Dagstuhl Seminar 12512, 16.12.12-21.12.12

Progress in Movement Analysis : Experiences with Real Data : Special Issue : pp. 1-68

Dagstuhl Seminar 12512, 16.12.12-21.12.12

Modeling Checkpoint-Based Movement with the Earth Mover’s Distance : article in LNCS 9927

Dagstuhl Seminar 12511, 16.12.12-21.12.12

Special Section on Touching the 3rd Dimension : Special Issue : pp. A2, 164

Dagstuhl Seminar 12462, 11.11.12-16.11.12

Constructing a Single Open Cell in a Cylindrical Algebraic Decomposition : article in ISSAC '13 Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation : pp. 133-140

Dagstuhl Seminar 12462, 11.11.12-16.11.12

Constructing a single cell in cylindrical algebraic decomposition : article : pp. 14-48

Dagstuhl Seminar 12452, 06.11.12-09.11.12

Dagstuhl Manifesto : Publication Culture : pp. 330-333 : article

Dagstuhl Seminar 12452, 06.11.12-09.11.12

Scalable Conferences : Adapting computing-research conferences to the growth of the field : article p. 5

Dagstuhl Seminar 12442, 28.10.12-31.10.12

Complexity of Systems Evolution : Requirements Engineering Perspective : Special Issue

Dagstuhl Event 12432, 21.10.12-26.10.12

Developing a Model-Driven DDI Specification : By Participants in 2012 Dagstuhl Seminar on DDI Moving Forward

Dagstuhl Seminar 12431, 21.10.12-26.10.12

Time-of-Flight and Depth Imaging : Sensors, Algorithms and Applications : Dagstuhl Seminar 2012 and GCPR Workshop on Imaging New Modalities

Dagstuhl Seminar 12421, 14.10.12-19.10.12

Unifying and generalizing known lower bounds via geometric complexity theory

Dagstuhl Seminar 12421, 14.10.12-19.10.12

Topology Matters in Communication : article in 2014 IEEE Annual Symposium on Foundations of Computer Science : pp. 631-640

Dagstuhl Seminar 12421, 14.10.12-19.10.12

Space-Efficient Approximations for Subset Sum

Dagstuhl Seminar 12411, 07.10.12-12.10.12

Coinductive Predicates and Final Sequences in a Fibration : article : pp. 197-214

Dagstuhl Seminar 12411, 07.10.12-12.10.12

From Branching to Linear Time, Coalgebraically : article pp. 379-406

Dagstuhl Event 12402, 30.09.12-05.10.12

Bericht zur Herbstschule „Information Retrieval“ 2012 : pp. 151-152

Dagstuhl Seminar 12401, 30.09.12-05.10.12

Special issue on Dagstuhl Seminar Web Application Security : pp. 467-657

Dagstuhl Seminar 12391, 23.09.12-28.09.12

Dagstuhl 2012 : Dedicated to J.F. Traub and G.W. Wasilkowski on the occasion of their 80th and 60th birthdays : special issue : pp. 1-144

Dagstuhl Seminar 12382, 18.09.12-21.09.12

OCR-Free Transcript Alignment : article in IACPR 2013 : pp. 1310-1314

Dagstuhl Seminar 12382, 18.09.12-21.09.12

Dagstuhl Manifesto : Computation and Palaegraphy : Potentials and Limits : pp. 196-198 : article

Dagstuhl Seminar 12382, 18.09.12-21.09.12

Document classification based on what is there and what should be there : article in "Digital Huminaties 2013" : 5 pp

Dagstuhl Seminar 12382, 18.09.12-21.09.12

Viral Transcript Alignment : article in "ICDAR 2015, International Conference on Document Analysis and Recognition" : 5 pp.

Dagstuhl Seminar 12382, 18.09.12-21.09.12

Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification : article in "Digital Humanities 2012" : 8 pp

Dagstuhl Seminar 12381, 16.09.12-21.09.12

DP5 : a Private Presence Service

Dagstuhl Seminar 12381, 16.09.12-21.09.12

DP5 : a Private Presence Service : article

Dagstuhl Seminar 12372, 09.09.12-14.09.12

Ontologies in Biological Data Visualization : article : pp. 8-15

Dagstuhl Seminar 12371, 09.09.12-14.09.12

Dagstuhl Manifesto : Selbstlernende Erkennung und Analyse von Cyberangriffen : article pp. 111-113

Dagstuhl Seminar 12362, 02.09.12-07.09.12

Language on the Web : article : pp. 70

Dagstuhl Seminar 12361, 02.09.12-05.09.12

Backscatter from the data plane : Threats to stability and security in information-centric network infrastructure : article pp. 3192-3206

Dagstuhl Seminar 12361, 02.09.12-05.09.12

Information-centric Networking : Baseline Scenarios draft-irtf-icnrg-scenarios-03

Dagstuhl Seminar 12351, 26.08.12-31.08.12

Visions and Visioning in CHI : CHI 2013 Special Interest Group Meeting

Dagstuhl Seminar 12351, 26.08.12-31.08.12

Interaction Beyond the Desktop : Special Issue : pp. 385-523

Dagstuhl Seminar 12351, 26.08.12-31.08.12

Kurzbericht zum Dagstuhl-Seminar ,,Interaction Beyond the Desktop“ : pp. 498-499 : article

Dagstuhl Seminar 12331, 12.08.12-17.08.12

Privacy through Uncertainty in Location-Based Services : article pp. 67-72 in: 2013 IEEE 14th International Conference on Mobile Data Management, 978-1-4673-6068-5

Dagstuhl Seminar 12331, 12.08.12-17.08.12

Report from Dagstuhl: the liberation of mobile location data and its implications for privacy research : article : pp. 7-18

Dagstuhl Seminar 12321, 05.08.12-10.08.12

Smooth Scan : Statistics-Oblivious Access Paths : article in ICDE 2015 : pp. 315-326

Dagstuhl Seminar 12272, 01.07.12-06.07.12

Architecture-Driven Semantic Analysis of Embedded Systems : special issue : pp. 1-92

Dagstuhl Seminar 12261, 24.06.12-29.06.12

Visual Encoding of Dissimilarity Data via Topology-Preserving Map Deformation : article : pp. 2200-2213

Dagstuhl Seminar 12261, 24.06.12-29.06.12

Semantic Word Cloud Representations : Hardness and Approximation Algorithms : article in LNCS 8392 LATIN 2014 : pp. 514-525

Dagstuhl Seminar 12261, 24.06.12-29.06.12

Table Cartograms : article in LNCS 8125 : Algorithms - ESA 2013

Dagstuhl Event 12252, 17.06.12-20.06.12

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science : Dagstuhl, 2012 : Research Training Group 1651 (SOAMED), HU Berlin, TU Berlin, Hasso-Plattner-Institut, Charite and Research Training Group 1424 (MuSAMA), Universität Rostock, June 18 - June 22, 2012

Dagstuhl Seminar 12212, 20.05.12-25.05.12

Dagstuhl Manifesto : Co-Design of Systems and Applications for Exascale : pp. 464-467 : article

Dagstuhl Event 12202, 13.05.12-16.05.12

Ausgezeichnete Informatikdissertationen 2011

Dagstuhl Seminar 12191, 06.05.12-11.05.12

A comparison of methods for player clustering via behavioral telemetry : article in FDG 2013, the 8th International Conference on the Foundations of Digital Games

Dagstuhl Seminar 12191, 06.05.12-11.05.12

Game Data Mining : chapter 12 : "Game Analytics : Maximizing the Value of Player Data"

Dagstuhl Seminar 12191, 06.05.12-11.05.12

Dagstuhl Manifesto : Artificial and Computational Intelligence in Games : pp. 410-412 : article

Dagstuhl Seminar 12191, 06.05.12-11.05.12

Artificial and Computational Intelligence in Games

Dagstuhl Seminar 12191, 06.05.12-11.05.12

Archetypical Motion : Supervised Game Behavior Learning with Archetypal Analysis : article in "The Proceedings of the IEEE Conference on Computational Intelligence in Games 2013"

Dagstuhl Seminar 12191, 06.05.12-11.05.12

A Panorama of Artificial and Computational Intelligence in Games : article : pp. 317-335

Dagstuhl Seminar 12191, 06.05.12-11.05.12

The 2014 General Video Game Playing Competition : article, pp. 229-243

Dagstuhl Seminar 12191, 06.05.12-11.05.12

Computacion Efimera : identicando retos para la investigacion en videojuegos

Dagstuhl Seminar 12182, 01.05.12-04.05.12

Dagstuhl Manifesto : Towards a Multi-Discipline Network Perspective : pp. 368-371 : article

Dagstuhl Seminar 12181, 01.05.12-04.05.12

Qualinet White Paper on Definitions of Quality of Experience : Output version of the Dagstuhl seminar 12181 : Version 1.1 Dagstuhl, June3, 2012

Dagstuhl Seminar 12131, 25.03.12-30.03.12

Special Issue on Design, Implementation and Evaluation of Modelling Tools

Dagstuhl Seminar 12111, 11.03.12-16.03.12

Normative Multi-Agent Systems

Dagstuhl Seminar 12101, 04.03.12-09.03.12

Group Activity Selection Problem : COMSOC 2012 : Accepted Paper

Dagstuhl Seminar 12101, 04.03.12-09.03.12

A characterization of the single-crossing domain : article pp. 989-998

Dagstuhl Seminar 12101, 04.03.12-09.03.12

A hardness result for core stability in additive hedonic games : article : pp. 101-104

Dagstuhl Seminar 12101, 04.03.12-09.03.12

Vote trading and subset sums : article : pp. 99–102

Dagstuhl Seminar 12091, 26.02.12-02.03.12

The rationale of PROV : article : pp. 235-257

Dagstuhl Event 12083, 21.02.12-24.02.12

From feature models to decision models and back again an analysis based on formal transformations : article in: SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 1

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Visualization of Processes in Self-Learning Systems : paper presented at Third Workshop on Trustworthy Self-Organizing Systems at the Tenth Annual Conference on Privacy, Security, and Trust : TSOS 2012, Paris, July 16th, 2012

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Dagstuhl Manifesto : Information Visualization, Visual Data Mining and Machine Learning : pp. 311-313 : article

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Visualization of processes in self-learning systems : article : pp. 244 - 249 in 2012 Tenth Annual International Conference on Privacy, Security and Trust (PST)

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Selecting Coherent and Relevant Plots in Large Scatterplot Matrices : article : pp. 1895-1908

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Improving Projection-based Data Analysis by Feature Space Transformations : article : 15 pp. : from SPIE Proceedings Conference Volume 8654, Visualization and Data Analysis 2013

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Odor recognition in robotics applications by discriminative time-series modeling : article : pp. 207-220

Dagstuhl Seminar 12081, 19.02.12-24.02.12

Soft Rank Neighbor Embeddings : article in ESANN 2013 proceedings : pp. 77-82

Dagstuhl Seminar 12071, 12.02.12-17.02.12

Reverse Engineering Variability in Source Code Using Clone Detection : A Case Study for Linux Variants of Consumer Electronic Devices : article in IEEE WRCE 2012 : pp. 357-366

Dagstuhl Event 12062, 06.02.12-08.02.12

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme VIII : Model-Based Development of Embedded Systems 06.02.2012 - 08.02.2012 : Tagungsband = MBEES 2012

Dagstuhl Seminar 12061, 05.02.12-10.02.12

Network Attack Detection and Defense : special issue : pp. 1-64

Dagstuhl Seminar 12051, 29.01.12-03.02.12

Bilateral Algorithms for Symbolic Abstraction : article in LNCS 7460: Static Analysis

Dagstuhl Seminar 12021, 08.01.12-13.01.12

Analogues of Chaitin's Omega in the computably enumerable sets : article : pp. 171-178

Dagstuhl Seminar 11501, 11.12.11-16.12.11

Adjugate Diffusion Tensors for Geodesic Tractography in White Matter : article : pp. 1-14

Dagstuhl Seminar 11501, 11.12.11-16.12.11

Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data

Dagstuhl Seminar 11501, 11.12.11-16.12.11

A Novel Riemannian Metric for Geodesic Tractography in DTI : article in "Schultz, Thomas: Computational Diffusion MRI and Brain Connectivity" : pp. 97-104

Dagstuhl Seminar 11481, 27.11.11-02.12.11

Models@run.time : Foundations, Applications, and Roadmaps

Dagstuhl Seminar 11471, 20.11.11-25.11.11

Efficient Algorithms for Global Optimization Methods in Computer Vision : International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20 - 25, 2011, Revised Selected Papers

Dagstuhl Seminar 11421, 16.10.11-21.10.11

Dagstuhl Manifesto : Recent Developments in Foundations of Distributed Data Management : pp. 233-235 : article

Dagstuhl Seminar 11411, 09.10.11-14.10.11

On the Separation Question for Tree Languages : article : pp. 833-855

Dagstuhl Seminar 11411, 09.10.11-14.10.11

Computing with infinite data : topological and logical foundations Part 1 : special issue : pp. 1463-1625

Dagstuhl Seminar 11411, 09.10.11-14.10.11

Computing with infinite data : topological and logical foundations Part 2 : special issue : pp. 1649-1823

Dagstuhl Seminar 11401, 03.10.11-07.10.11

From IT forensics to forensic computing : special issue : pp. 337-393

Dagstuhl Seminar 11381, 18.09.11-23.09.11

A note on quantum related-key attacks : article : pp. 40-44

Dagstuhl Event 11372, 11.09.11-16.09.11

Using RDF to Describe and Link Social Science Data to Related Resources on the Web : Leveraging the Data Documentation Initiative (DDI) Model

Dagstuhl Seminar 11371, 11.09.11-16.09.11

Special issue on uncertainty modeling and analysis with intervals : foundations, tools, applications

Dagstuhl Seminar 11361, 04.09.11-09.09.11

Special Issue on Dagstuhl Seminar 11361 Data Warehousing

Dagstuhl Seminar 11351, 28.08.11-02.09.11

Dagstuhl Seminar “Computer Science & Problem Solving: New Foundations" : Special Issue

Dagstuhl Seminar 11331, 15.08.11-18.08.11

Improving The Future of Research Communications and e-Scholarship : Force11 White Paper : 13 pp.

Dagstuhl Seminar 11331, 15.08.11-18.08.11

Dagstuhl Manifesto : Improving Future Research Communication and e-Scholarship : a Summary of Findings : article : pp. 56-58

Dagstuhl Seminar 11331, 15.08.11-18.08.11

Feel the FORCE(11) : An Interview with Cameron Neylon

Dagstuhl Event , ..-..

Story Driven Modeling (Forschungsaufenthalt 11299)

Dagstuhl Seminar 11271, 03.07.11-06.07.11

Dagstuhl Manifesto : Computer Science in Sports : pp. 621-623

Dagstuhl Seminar 11261, 26.06.11-01.07.11

Outdoor and Large-Scale Real-World Scene Analysis : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011 : Revised Selected Papers

Dagstuhl Seminar 11231, 05.06.11-10.06.11

Scientific Visualization : Uncertainty, Multifield, Biomedical, and Scalable Visualization

Dagstuhl Seminar 11231, 05.06.11-10.06.11

Dagstuhl Manifesto : Scientific Visualization : article : pp. 152-154