Dagstuhl Event 18283, 08.07.18-13.07.18

Visualizing systems and software performance : Report on the GI-Dagstuhl seminar for young researchers, July 9 - 13, 2018

Dagstuhl Seminar 18161, 15.04.18-20.04.18

Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article, Dagstuhl Seminar 18041 and 18161

Dagstuhl Seminar 18041, 21.01.18-26.01.18

Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article : Dagstuhl Seminar 18041 and 18161

Dagstuhl Seminar 17471, 19.11.17-24.11.17

Evolving Mario Levels in the Latent Space of a Deep Convolutional Generative Adversarial Network : article in GECCO ’18, July 15 - 19, 2018, Kyoto, Japan

Dagstuhl Seminar 17462, 12.11.17-15.11.17

A Taxonomy for Classifying Runtime Verification Tools

Dagstuhl Seminar 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report

Dagstuhl Seminar 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report : article in HILDA'18 Proceedings of the Workshop on Human-In-the-Loop Data Analytics

Dagstuhl Seminar 17442, 29.10.17-03.11.17

The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction : article

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Streams and Tables : Two Sides of the Same Coin : article in BIRTE '18 Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Stream Processing Languages in the Big Data Era

Dagstuhl Seminar 17421, 15.10.17-20.10.17

Expanding the Use of Spectral Libraries in Proteomics : article

Dagstuhl Seminar 17392, 24.09.17-29.09.17

Body-centric computing : results from a weeklong Dagstuhl seminar in a German castle : article

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Perfect Simulation of the Hard Disks Model by Partial Rejection Sampling : article in ICALP 2018

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Counting Hypergraph Colourings in the Local Lemma Regime : article in STOC 2018 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Algorithmic Pirogov-Sinai theory

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Extensor-Coding : article in STOC 2018 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Dagstuhl Seminar 17341, 20.08.17-25.08.17

Note on “The Complexity of Counting Surjective Homomorphisms and Compactions" : article

Dagstuhl Seminar 17332, 13.08.17-18.08.17

Short Plane Supports for Spatial Hypergraphs

Dagstuhl Seminar 17301, 23.07.17-28.07.17

An Information Nutritional Label for Online Documents : article

Dagstuhl Seminar 17292, 16.07.17-21.07.17

A Kernel for Multi-Parameter Persistent Homology : article : (also published in CGWeek Young Researchers Forum 2018)

Dagstuhl Seminar 17281, 09.07.17-14.07.17

A survey of similarities in banking malware behaviours : article

Dagstuhl Event 17273, 05.07.17-07.07.17

Semantic Applications : Methodology, Technology, Corporate Use

Dagstuhl Seminar 17261, 25.06.17-30.06.17

On the Complexity of Extended and Proportional Justified Representation : article in Thirty-Second AAAI Conference on Artificial Intelligence

Dagstuhl Seminar 17231, 05.06.17-09.06.17

EFP and PG-EFP : article in Twenty-Eighth International Conference on Automated Planning and Scheduling

Dagstuhl Seminar 17231, 05.06.17-09.06.17

Game Description Language and Dynamic Epistemic Logic Compared : article in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018)

Dagstuhl Seminar 17222, 28.05.17-02.06.17

G-CORE : A Core for Future Graph Query Languages : article in Proceedings of the 2018 International Conference on Management of Data

Dagstuhl Seminar 17222, 28.05.17-02.06.17

JCC-H : Adding Join Crossing Correlations with Skew to TPC-H : article in LNCS 10661: Performance Evaluation and Benchmarking for the Analytics Era

Dagstuhl Seminar 17221, 28.05.17-02.06.17

A New Class of Guided C2 Subdivision Surfaces Combining Good Shape with Nested Refinement : article

Dagstuhl Seminar 17221, 28.05.17-02.06.17

T-junctions in Spline Surfaces : article

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Refinable polycube G-splines : article in Special Issue on SMI 2016

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Improved shape for refinable surfaces with singularly parameterized irregularities : article

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Computing medial axis transformations of 2D point clouds : article

Dagstuhl Event 17213, 21.05.17-24.05.17

Ausgezeichnete Informatikdissertationen 2016

Dagstuhl Seminar 17192, 07.05.17-12.05.17

What Does Explainable AI Really Mean? : A New Conceptualization of Perspectives

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Quality Gain Analysis of the Weighted Recombination Evolution Strategy on General Convex Quadratic Functions

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Linear multi-objective drift analysis : article

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift theory in continuous search spaces : expected hitting time of the (1 + 1)-ES with 1/5 success rule : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Medium step sizes are harmful for the compact genetic algorithm : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Dagstuhl Seminar 17191, 07.05.17-12.05.17

A General Dichotomy of Evolutionary Algorithms on Monotone Functions : article

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift Analysis : article

Dagstuhl Seminar 17191, 07.05.17-12.05.17

The Benefits of Population Diversity in Evolutionary Algorithms : A Survey of Rigorous Runtime Analyses : article

Dagstuhl Seminar 17162, 17.04.17-20.04.17

Hiding in the Crowd : an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale : article in WWW '18, Proceedings of the 2018 World Wide Web Conference

Dagstuhl Seminar 17161, 17.04.17-20.04.17

A Survey of Attention Management Systems in Ubiquitous Computing Environments : Article No. 58 in Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, IMWUT

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Feel the Movement : Real Motion Influences Responses to Take-over Requests in Highly Automated Vehicles : article No. 246 in CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Understanding systems that are designed to support human cognition : article : Rethinking Interaction - CHI 2018 workshop

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Composition Closure of Linear Extended Top-down Tree Transducers : article

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Multiple context-free tree grammars: Lexicalization and characterization : article

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Meaning of pWCET Distributions and their use in Schedulability Analysis : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Existence of a Cyclic Schedule for Non-Preemptive Periodic Tasks with Release Offset : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Sustainability in Mixed-Criticality Scheduling : article in Real-Time Systems Symposium (RTSS), 2017 IEEE

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines : article in Workshop on Mixed Criticality Systems 2017 : WMC 2017

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling : article in RTNS '17 Proceedings of the 25th International Conference on Real-Time Networks and Systems

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Mixed Criticality Systems with Varying Context Switch Costs : article in RTAS 2018 : 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal

Dagstuhl Seminar 17121, 19.03.17-24.03.17

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

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Computing Hitting Set Kernels By AC0-Circuits

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Minimum Circuit Size, Graph Isomorphism, and Related Problems : article

Dagstuhl Seminar 17121, 19.03.17-24.03.17

A note on Graph Automorphism and Smart Reductions

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

The iLab Concept : Making Teaching Better, at Scale : article pp. 178-185

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Challenges with Reproducibility : article in Reproducibility '17 : Proceedings of the Reproducibility Workshop : Pages 1-4

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Scalable inference of decision tree ensembles : Flexible design for CPU-FPGA platforms : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Reproducible Floating-Point Aggregation in RDBMSs

Dagstuhl Seminar 17101, 05.03.17-10.03.17

doppioDB : A hardware accelerated database : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Adopting OpenCAPI for High Bandwidth Database Accelerators : article in Third International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC'17), At Denver, USA

Dagstuhl Seminar 17082, 19.02.17-22.02.17

Grand Challenges in Shape-Changing Interface Research : article in CHI 2018 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On Low for Speed Oracles : article in 35th Symposium on Theoretical Aspects of Computer Science

Dagstuhl Seminar 17081, 19.02.17-24.02.17

Lowness and logical depth

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A hierarchy of computably enumerable degrees

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On a question of Kalimullin

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A Friedberg enumeration of equivalence structures : article

Dagstuhl Seminar 17081, 19.02.17-24.02.17

Dimension 1 sequences are close to randoms

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 17072, 12.02.17-17.02.17

Lombardi Drawings of Knots and Links : article in LNCS 10692, GD 2017

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Convexity-Increasing Morphs of Planar Graphs

Dagstuhl Seminar 17072, 12.02.17-17.02.17

On the Topology of Walkable Environments : article in EuroCG 2018 European Workshop on Computational Geometry

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Tightening curves on surfaces via local moves : article in SODA '18 Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Computing Optimal Homotopies over a Spiked Plane with Polygonal Boundary : article in 25th Annual European Symposium on Algorithms

Dagstuhl Seminar 17071, 12.02.17-17.02.17

Mining the Usage Patterns of ROS Primitives : article in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) September 24 - 28, 2017, Vancouver, BC, Canada

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 17051, 29.01.17-03.02.17

Gradual Session Types : article

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Microservices : A Language-Based Approach : article in "Present and Ulterior Software Engineering"

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Session Types with Linearity in Haskell : book chapter : Behavioural Types: from Theory to Tools, Editors: Simon Gay, Antonio Ravara, River Publishers, eBook ISBN: 9788793519817

Dagstuhl Seminar 17041, 22.01.17-27.01.17

Directed Hamiltonicity and Out-Branchings via Generalized Laplacians : article in 44th International Colloquium on Automata, Languages, and Programming

Dagstuhl Seminar 16482, 27.11.16-02.12.16

Tropical Combinatorial Nullstellensatz and Fewnomials Testing : article in LNCS 10472 : International Symposium on Fundamentals of Computation Theory, FCT 2017

Dagstuhl Seminar 16481, 27.11.16-02.12.16

Convolutional Gaussian Processes : article : Advances in Neural Information Processing Systems 30 : NIPS 2017 - nips.cc, 2018. - 10 pp.

Dagstuhl Seminar 16481, 27.11.16-02.12.16

Gaussian Processes and Kernel Methods : A Review on Connections and Equivalences

Dagstuhl Seminar 16462, 13.11.16-18.11.16

Hyperspectral image coding using graph wavelets

Dagstuhl Seminar 16462, 13.11.16-18.11.16

Diffusion-Based Inpainting for Coding Remote-Sensing Data : article

Dagstuhl Seminar 16461, 13.11.16-18.11.16

Reconciling Multiple Objectives : Politics or Markets? : article in LNCS 10476

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 16452, 06.11.16-11.11.16

On the Relationship Between k-Planar and k-Quasi-Planar Graphs : article in LNCS 10520 : WG 2017

Dagstuhl Seminar 16452, 06.11.16-11.11.16

The number of crossings in multigraphs with no empty lens

Dagstuhl Seminar 16452, 06.11.16-11.11.16

Orthogonal and Smooth Orthogonal Layouts of 1-Planar Graphs with Low Edge Complexity

Dagstuhl Seminar 16451, 06.11.16-11.11.16

Fine-Grained Complexity of Analyzing Compressed Data : Quantifying Improvements over Decompress-And-Solve : article in FOCS'17 : Proceedings of the 58th Annual IEEE Symposium on Foundations of Computer Science

Dagstuhl Seminar 16451, 06.11.16-11.11.16

Tree edit distance cannot be computed in strongly subcubic time (unless APSP can) : article in SODA '18 Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms

Dagstuhl Seminar 16451, 06.11.16-11.11.16

Distributed PCP Theorems for Hardness of Approximation in P : Extended Abstract : article in 58th Annual IEEE Symposium on Foundations of Computer Science

Dagstuhl Seminar 16442, 30.10.16-04.11.16

Recording Vocal Interactivity among Turtles using AUVs : article in Proceedings of the 1st International Workshop on Vocal Interactivity in-and-between Humans : VIHAR 2017 : pp. 29-30

Dagstuhl Seminar 16442, 30.10.16-04.11.16

Proceedings of the 1st International Workshop on Vocal interactivity in-and-between Humans, Animals and Robots : VIHAR 2017

Dagstuhl Seminar 16441, 30.10.16-04.11.16

Real-Time Ticks for Synchronous Programming

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 Seminar 16431, 23.10.16-28.10.16

LZ78 Compression in Low Main Memory Space : article in LNCS 10508 "String Processing and Information Retrieval 2017" : pp. 38-50

Dagstuhl Seminar 16431, 23.10.16-28.10.16

On Two LZ78-style Grammars : Compression Bounds and Compressed-Space Computation : article in LNCS 10508 "String Processing and Information Retrieval 2017" : pp. 51-67

Dagstuhl Seminar 16412, 09.10.16-14.10.16

A Generic Bet-and-Run Strategy for Speeding Up Stochastic Local Search : article in Thirty-First AAAI Conference on Artificial Intelligence

Dagstuhl Seminar 16412, 09.10.16-14.10.16

Improving local search in a minimum vertex cover solver for classes of networks : article in 2017 IEEE Congress on Evolutionary Computation (CEC)

Dagstuhl Seminar 16412, 09.10.16-14.10.16

Learning a Reactive Restart Strategy to Improve Stochastic Search : article in LNCS 10556 : LION 2017

Dagstuhl Seminar 16411, 09.10.16-14.10.16

The border support rank of two-by-two matrix multiplication is seven

Dagstuhl Seminar 16411, 09.10.16-14.10.16

A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy : article in LNCS 10307 : CiE 2017

Dagstuhl Seminar 16411, 09.10.16-14.10.16

Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable

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 Event 16394, 25.09.16-30.09.16

Software Performance Engineering in the DevOps World

Dagstuhl Event 16394, 25.09.16-30.09.16

Exploiting load testing and profiling for Performance Antipattern Detection : article

Dagstuhl Seminar 16382, 18.09.16-23.09.16

Cluster validation by measurement of clustering characteristics relevant to the user

Dagstuhl Seminar 16381, 18.09.16-23.09.16

On Linear Resolution : Preliminary version

Dagstuhl Seminar 16381, 18.09.16-23.09.16

Relating two width measures for resolution proofs

Dagstuhl Seminar 16371, 11.09.16-16.09.16

Memory-Tight Reductions : article in CRYPTO 2017 : Advances in Cryptology : pp 101-132

Dagstuhl Seminar 16371, 11.09.16-16.09.16

A Modular Analysis of the Fujisaki-Okamoto Transformation : article in TCC 2017 : Theory of Cryptography : pp 341-371

Dagstuhl Seminar 16371, 11.09.16-16.09.16

CRYSTALS - Kyber : a CCA-secure module-lattice-based KEM

Dagstuhl Seminar 16371, 11.09.16-16.09.16

Be Adaptive, Avoid Overcommitting

Dagstuhl Seminar 16361, 04.09.16-09.09.16

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

Dagstuhl Event 16353, 28.08.16-02.09.16

GI-Dagstuhl Seminar 16353 on Aware Machine to Machine Communication : pp. 466-470 : article

Dagstuhl Seminar 16341, 21.08.16-26.08.16

Complex Event Recognition Languages : Tutorial : article in DEBS '17 Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, pp. 7-10

Dagstuhl Seminar 16341, 21.08.16-26.08.16

Events in Business Process Implementation : Early Subscription and Event Buffering

Dagstuhl Seminar 16341, 21.08.16-26.08.16

Event-based Failure Prediction in Distributed Business Processes

Dagstuhl Seminar 16321, 07.08.16-12.08.16

Further Generalisations of Twisted Gabidulin Codes : article accepted at the International Workshop on Coding and Cryptography (WCC) 2017

Dagstuhl Seminar 16321, 07.08.16-12.08.16

Covering Radius of Matrix Codes Endowed with the Rank Metric : article

Dagstuhl Seminar 16321, 07.08.16-12.08.16

Rank metric codes and zeta functions : article

Dagstuhl Seminar 16321, 07.08.16-12.08.16

The Zeta Function of a Rank-Metric Code : article in The Tenth International Workshop on Coding and Cryptography 2017 : WCC 2017

Dagstuhl Seminar 16321, 07.08.16-12.08.16

On the Rank-Metric Covering Radius : article in The Tenth International Workshop on Coding and Cryptography 2017

Dagstuhl Seminar 16281, 10.07.16-13.07.16

Security and Privacy in Device-to-Device (D2D) Communication : A Review : article pp. 1054-1079

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 16271, 03.07.16-08.07.16

A Stochastic Approach to Shortcut Bridging in Programmable Matter : article in DNA Computing and Molecular Programming, LNCS 10467 : pp. 122-138

Dagstuhl Seminar 16271, 03.07.16-08.07.16

Forming Tile Shapes with Simple Robots : rticle in LNCS 11145 : International Conference on DNA Computing and Molecular Programming, DNA 2018

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 16262, 26.06.16-01.07.16

1st Workshop on Understanding Automation : Interfaces that Facilitate User Understanding of Vehicle Automation : article in Adjunct Proceedings of the 9th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI ’17)

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Developing a Highly Automated Driving Scenario to Investigate User Intervention : When Things Go Wrong : article in Adjunct Proceedings of the 9th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI ’17)

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Towards Adaptive Ambient In-Vehicle Displays and Interactions : Insights and Design Guidelines from the 2015 AutomotiveUI Dedicated Workshop : Chapter in "Automotive User Interfaces, Gerrit Meixner, Christian Müller" 978-3-319-49447-0

Dagstuhl Seminar 16262, 26.06.16-01.07.16

1st Workshop on Ethically Inspired User Interfaces for Automated Driving : article in Proceedings : AutomotiveUI '16 Adjunct Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications

Dagstuhl Seminar 16262, 26.06.16-01.07.16

1st Workshop on Situational Awareness in Semi-Automated Vehicles : article in Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI ’16)

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Assisting Drivers with Ambient Take-Over Requests in Highly Automated Driving : article in Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications (AutomotiveUI ’16)

Dagstuhl Seminar 16262, 26.06.16-01.07.16

Tutorial on Design and Evaluation Methods for Attention Directing Cues : article in Adjunct Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular, Applications (AutomotiveUI ’16)

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 16241, 12.06.16-17.06.16

The Bipartition Polynomial of a Graph : Reconstruction, Decomposition, and Applications

Dagstuhl Seminar 16241, 12.06.16-17.06.16

Counting Dominating Sets of Graphs

Dagstuhl Seminar 16232, 05.06.16-10.06.16

Fair Division of a Graph : article in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017)

Dagstuhl Seminar 16232, 05.06.16-10.06.16

Catch-Up : A Rule That Makes Service Sports More Competitive

Dagstuhl Seminar 16232, 05.06.16-10.06.16

Fair Allocation based on Diminishing Differences

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 16231, 05.06.16-10.06.16

Immersive solutions for future Air Traffic Control and Management : article in ISS Companion '16 : Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces

Dagstuhl Seminar 16231, 05.06.16-10.06.16

HoloStation : Augmented Visualization and Presentation : article in SA '16 : SIGGRAPH ASIA 2016 Symposium on Visualization

Dagstuhl Seminar 16231, 05.06.16-10.06.16

An Evaluation of Interaction Methods for Controlling RSVP Displays in Visual Search Tasks : article in Big Data Visual Analytics (BDVA), 2016

Dagstuhl Seminar 16231, 05.06.16-10.06.16

ePlant : Visualizing and Exploring Multiple Levels of Data for Hypothesis Generation in Plant Biology : article

Dagstuhl Seminar 16231, 05.06.16-10.06.16

Demonstrating David Meets Goliath Combining Smartwatches with a Large Vertical Display for Visual Data Exploration : article in CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems

Dagstuhl Seminar 16231, 05.06.16-10.06.16

Immersive Analytics

Dagstuhl Seminar 16222, 29.05.16-03.06.16

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

Dagstuhl Seminar 16222, 29.05.16-03.06.16

How Did They Know? Model-Checking for Analysis of Information Leakage in Social Networks : article in LNAI 10315 : pp. 42-59

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 16202, 16.05.16-20.05.16

Sensitized Path PUF : A Lightweight Embedded Physical Unclonable Function : article in 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Dagstuhl Seminar 16202, 16.05.16-20.05.16

Securing the hardware of cyber-physical systems : article in Design Automation Conference (ASP-DAC), 2017 22nd Asia and South Pacific

Dagstuhl Seminar 16202, 16.05.16-20.05.16

Security aspects of analog and mixed-signal circuits : article in Mixed-Signal Testing Workshop (IMSTW), 2016 IEEE 21st International

Dagstuhl Seminar 16202, 16.05.16-20.05.16

Small Scale AES Toolbox : Algebraic and Propositional Formulas, Circuit-Implementations and Fault Equation

Dagstuhl Seminar 16202, 16.05.16-20.05.16

Trojans in Early Design Steps : An Emerging Threat

Dagstuhl Seminar 16202, 16.05.16-20.05.16

Towards mixed structural-functional models for algebraic fault attacks on ciphers : article in Verification and Security Workshop (IVSW), 2017 IEEE 2nd International

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 16192, 08.05.16-13.05.16

A conceptual model for organisational decision-making and its possible realisations : article in Modelling and Simulation 2016; the European Simulation and Modelling Conference 2016 : ESM '2016 : October 26-28, 2016, Las Palmas, Gran Canaria, Spain

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 "Business Process Management 2017" : pp. 130-146

Dagstuhl Seminar 16191, 08.05.16-13.05.16

The Internet-of-Things Meets Business Process Management : Mutual Benefits and Challenges

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 16172, 24.04.16-27.04.16

Machine Learning for Dynamic Software Analysis : Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24 - 27, 2016, Revised Papers

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 Seminar 16142, 03.04.16-08.04.16

Modeling, Analysis, and Visualization of Anisotropy

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 16101, 06.03.16-11.03.16

Space-efficient construction of compressed indexes in deterministic linear time : article in SODA '17 Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms : Pages 408-424

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Locality-Sensitive Hashing of Curves : article in SoCG 2017

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Range Majorities and Minorities in Arrays

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 16092, 28.02.16-04.03.16

Evaluating Hierarchical Structure in Music Annotations : article : 17 pp

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 Seminar 16091, 28.02.16-04.03.16

Equilibrium with predictive routeing in the online version of the Braess paradox : article pp. 165-170

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 16081, 21.02.16-26.02.16

Exact speedup factors and sub-optimality for non-preemptive scheduling : article : pp. 1-39

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 16061, 07.02.16-12.02.16

Data-Driven Storytelling

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 16022, 10.01.16-15.01.16

Identifying influential neighbors in animal flocking

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 16021, 10.01.16-15.01.16

New Second Preimage Attacks on Dithered Hash Functions with Low Memory Complexity : article in Selected Areas in Cryptography : SAC 2016, LNCS 10532

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 15482, 22.11.15-27.11.15

The Next Generation of Socio-Technical Systems : Realizing the Potential, Protecting the Value : special section : pp. 46-80

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 15481, 22.11.15-27.11.15

Evaluation in the Crowd : Crowdsourcing and Human-Centered Experiments : Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 - 27, 2015, Revised Contributions

Dagstuhl Seminar 15481, 22.11.15-27.11.15

Information Visualization Evaluation Using Crowdsourcing : article : EuroVis 2018

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 15442, 25.10.15-30.10.15

Generating Tests by Example : article in LNCS 10747 : VMCAI 2018, International Conference on Verification, Model Checking, and Abstract Interpretation

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 15392, 20.09.15-25.09.15

The proof-theoretic strength of Ramsey's theorem for pairs and two colors : article

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 15391, 20.09.15-25.09.15

Embeddings of weighted Hilbert spaces and applications to multivariate and infinite-dimensional integration . article : pp. 8-39

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 : pp. 394-408

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 15221, 25.05.15-29.05.15

Normative and descriptive rationality : from nature to artifice and back : article

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 : pp. 237-274

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 15192, 03.05.15-08.05.15

Perception, cognition and reasoning about shadows : special issue

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

Dagstuhl Event 15133, 22.03.15-25.03.15

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

Dagstuhl Seminar 15111, 08.03.15-13.03.15

Improved Bounds on Information Dissemination by Manhattan Random Waypoint Model

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 15031, 11.01.15-16.01.15

Special issue on understanding complexity in multiobjective optimization

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 Seminar 14201, 11.05.14-16.05.14

Horn Formulas, Directed Hypergraphs, Lattices and Closure Systems : Related Formalism and Application : Special Issue : pp. 263-42

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