Dagstuhl Seminar 19172, 22.04.19-25.04.19

Generative Design in Minecraft : Chronicle Challenge

Dagstuhl Event 19153, 10.04.19-12.04.19

Foundations of Digital Archæoludology

Dagstuhl Event 19023, 06.01.19-11.01.19

Towards a Characterization of Explainable Systems

Dagstuhl Event 19023, 06.01.19-11.01.19

Explainable Software for Cyber-Physical Systems : ES4CPS : Report from the GI Dagstuhl Seminar 19023, January 06 - 11 2019, Schloss Dagstuhl

Dagstuhl Seminar 18491, 02.12.18-07.12.18

Multicategories of Multiary Lenses : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019

Dagstuhl Seminar 18471, 18.11.18-23.11.18

Tool Support of Formal Methods for Privacy by Design

Dagstuhl Seminar 18421, 14.10.18-19.10.18

Enumerating minimal dominating sets in Kt-free graphs and variants : article

Dagstuhl Seminar 18421, 14.10.18-19.10.18

Open collaborative hyperpapers : a call to action : article

Dagstuhl Seminar 18412, 07.10.18-10.10.18

The Dagstuhl Beginners Guide to Reproducibility for Experimental Networking Research: article in ACM SIGCOMM Computer Communication Review : pp. 24-30

Dagstuhl Event 18383, 16.09.18-21.09.18

Autumn School for Information Retrieval and Foraging 2018 article : pp. 87-91

Dagstuhl Event 18343, 19.08.18-24.08.18

Software Engineering for Intelligent and Autonomous Systems : Report from the GI Dagstuhl Seminar 18343

Dagstuhl Event 18343, 19.08.18-24.08.18

Planning as Optimization : Dynamically Discovering Optimal Configurations for Runtime Situations

Dagstuhl Event 18343, 19.08.18-24.08.18

On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article to be presented at the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019)

Dagstuhl Seminar 18331, 12.08.18-17.08.18

Simulation of Programmable Matter Systems : Using Active Tile-Based Self-Assembly

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 18251, 17.06.18-22.06.18

Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96

Dagstuhl Event 18233, 03.06.18-06.06.18

Current trends in applied machine intelligence : article

Dagstuhl Event 18193, 06.05.18-09.05.18

Ausgezeichnete Informatikdissertationen 2017

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 18111, 11.03.18-16.03.18

A study of vectorization for matrix-free finite element methods

Dagstuhl Seminar 18111, 11.03.18-16.03.18

Loop Optimization Framework

Dagstuhl Seminar 18111, 11.03.18-16.03.18

User-Directed Loop-Transformations in Clang

Dagstuhl Seminar 18111, 11.03.18-16.03.18

A Proposal for Loop-Transformation Pragmas

Dagstuhl Seminar 18101, 04.03.18-09.03.18

A general framework for handling commitment in online throughput maximization

Dagstuhl Seminar 18081, 18.02.18-23.02.18

Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks

Dagstuhl Seminar 18081, 18.02.18-23.02.18

Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded

Dagstuhl Seminar 18081, 18.02.18-23.02.18

On the Relation between the Extended Supporting Hyperplane Algorithm and Kelley's Cutting Plane Algorithm

Dagstuhl Seminar 18081, 18.02.18-23.02.18

The running intersection relaxation of the multilinear polytope /

Dagstuhl Seminar 18081, 18.02.18-23.02.18

Mixed-Integer Nonlinear Programming 2018 : Special issue

Dagstuhl Seminar 18081, 18.02.18-23.02.18

Intersection disjunctions for reverse convex sets

Dagstuhl Seminar 18081, 18.02.18-23.02.18

Intersection cuts for factorable MINLP

Dagstuhl Seminar 18071, 11.02.18-16.02.18

Lagrangian Decomposition for Optimal Cost Partitioning

Dagstuhl Seminar 18071, 11.02.18-16.02.18

A Multi-Label A* Algorithm for Multi-Agent Pathfinding : article : ICAPS 2019

Dagstuhl Seminar 18071, 11.02.18-16.02.18

Non-Traditional Objective Functions for MDPs

Dagstuhl Seminar 18061, 04.02.18-09.02.18

Teaching Explicit Programming Strategies to Adolescents : article in ACM Technical Symposium on Computer Science Education (SIGCSE), Research Track

Dagstuhl Seminar 18061, 04.02.18-09.02.18

Interdisciplinary programming language design : article in Onward! 2018 Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Faster Genetic Programming GPquick via multicore and Advanced Vector Extensions : article : 18 pp.

Dagstuhl Seminar 18052, 28.01.18-02.02.18

A Journey Among Java Neutral Program Variants

Dagstuhl Seminar 18051, 28.01.18-02.02.18

Short Proofs in QBF Expansion

Dagstuhl Seminar 18052, 28.01.18-02.02.18

A spoonful of DevOps helps the GI go down : article in Proceedings of the 4th International Workshop on Genetic Improvement Workshop Pages 35-36 : GI '18

Dagstuhl Seminar 18051, 28.01.18-02.02.18

Cops-Robber Games and the Resolution of Tseitin Formulas : article in SAT 2018: Theory and Applications of Satisfiability Testing

Dagstuhl Seminar 18052, 28.01.18-02.02.18

In-vivo and offline optimisation of energy use in the presence of small energy signals : A case study on a popular Android library : article in MobiQuitous '18 : Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Applying genetic improvement to a genetic programming library in C++ : article

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Applying genetic improvement to a genetic programming library in C++ : article

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Continuous Long-Term Evolution of Genetic Programming : article in ALife 2019

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Novelty search for software improvement of a SLAM system : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference Companion

Dagstuhl Seminar 18052, 28.01.18-02.02.18

Neutrality and Epistasis in Program Space : article in GI '18 : Proceedings of the 4th International Workshop on Genetic Improvement Workshop

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 18041, 21.01.18-26.01.18

A Critical Analysis of the Evaluation Practice in Medical Visualization

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Breaking Message Integrity of an End-to-End Encryption Scheme of LINE : article in European Symposium on Research in Computer Security, ESORICS 2018 : Computer Security

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Affine linear cryptanalysis : article

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Cube Attacks on Non-Blackbox Polynomials Based on Division Property : article

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Towards Low Energy Stream Ciphers : article

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Fast Correlation Attack Revisited : Cryptanalysis on Full Grain-128a, Grain-128, and Grain-v1 : article in CRYPTO 2018 : Advances in Cryptology : CRYPTO 2018 : pp 129-159

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly : rticle in CRYPTO 2018: Advances in Cryptology : CRYPTO 2018

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Attacks and Countermeasures for White-box Designs : article in ASIACRYPT 2018: Advances in Cryptology : ASIACRYPT 2018

Dagstuhl Seminar 18021, 07.01.18-12.01.18

Quantum Chosen-Ciphertext Attacks Against Feistel Ciphers : article in CT-RSA 2019: Topics in Cryptology

Dagstuhl Seminar 17511, 17.12.17-20.12.17

BGP Communities : Even more Worms in the Routing Can : article in IMC '18 Proceedings of the Internet Measurement Conference 2018, Pages 279-292

Dagstuhl Seminar 17491, 03.12.17-08.12.17

Mind the Gap : Mapping Mass Spectral Databases in Genome-Scale Metabolic Networks Reveals Poorly Covered Areas : article : 14 pp.

Dagstuhl Seminar 17491, 03.12.17-08.12.17

Expanding the Use of Spectral Libraries in Proteomics : article

Dagstuhl Seminar 17491, 03.12.17-08.12.17

Comprehensive mass spectrometry-guided plant specialized metabolite phenotyping reveals metabolic diversity in the cosmopolitan plant family Rhamnaceae : article : also accepted in The Plant Journal, 2019

Dagstuhl Seminar 17491, 03.12.17-08.12.17

Did a plant-herbivore arms race drive chemical diversity in Euphorbia? : article

Dagstuhl Seminar 17492, 03.12.17-08.12.17

Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements : article

Dagstuhl Seminar 17492, 03.12.17-08.12.17

Multi-Level Constraints : article in MODELS-WS 2018

Dagstuhl Seminar 17492, 03.12.17-08.12.17

The Flexible Multi-Level Modelling and Execution Language (FMMLx)

Dagstuhl Seminar 17481, 26.11.17-01.12.17

Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data : article

Dagstuhl Seminar 17481, 26.11.17-01.12.17

Nemlineáris szimbolikus transformációk optimalizálási feladatokra : article

Dagstuhl Seminar 17481, 26.11.17-01.12.17

Rigorous numerical computations for 1D advection equations with variable coefficients : article : 22. pp

Dagstuhl Seminar 17481, 26.11.17-01.12.17

On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity : article in 2018 IEEE International Symposium on Circuits and Systems (ISCAS)

Dagstuhl Seminar 17481, 26.11.17-01.12.17

Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor : article

Dagstuhl Seminar 17471, 19.11.17-24.11.17

Infinite Art Gallery : A Game World of Interactively Evolved Artwork

Dagstuhl Seminar 17471, 19.11.17-24.11.17

Traditional Wisdom and Monte Carlo Tree Search Face-to-Face in the Card Game Scopone : article

Dagstuhl Seminar 17471, 19.11.17-24.11.17

An Integrated Framework for AI Assisted Level Design in 2D Platformers : article in 2018 IEEE Games, Entertainment, Media Conference (GEM)

Dagstuhl Seminar 17471, 19.11.17-24.11.17

DOOM Level Generation using Generative Adversarial Networks : article

Dagstuhl Seminar 17471, 19.11.17-24.11.17

Explainable AI for Designers : A Human-Centered Perspective on Mixed-Initiative Co-Creation : article in 2018 IEEE Conference on Computational Intelligence and Games (CIG)

Dagstuhl Seminar 17471, 19.11.17-24.11.17

Explainable PCGML via Game Design Patterns : article

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 17472, 19.11.17-22.11.17

From hype to reality : data science enabling personalized medicine : article

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 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report

Dagstuhl Seminar 17462, 12.11.17-15.11.17

A Taxonomy for Classifying Runtime Verification Tools

Dagstuhl Seminar 17451, 05.11.17-10.11.17

Object-Oriented Recovery for Non-volatile Memory : article

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Towards Making Distributed RDF Processing FLINKer : article in 2018 4th International Conference on Big Data Innovations and Applications

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 and Abstractions : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 8 pp.

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Stream Processing Languages in the Big Data Era

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Stream Query Optimization : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 9 pp.

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Continuous Queries : article in Encyclopedia of Big Data Technologies - Berlin : Springer, 2018. - 6 pp.

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Benchmarking Distributed Stream Data Processing Systems : article in 2018 IEEE 34th International Conference on Data Engineering (ICDE)

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Dagstuhl Seminar on Big Stream Processing : article : pp. 36-39

Dagstuhl Seminar 17441, 29.10.17-03.11.17

Cost-Aware Streaming Data Analysis : Industry Paper : Distributed vs Single-Thread : article in DEBS '18 Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems

Dagstuhl Seminar 17442, 29.10.17-03.11.17

The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction : article

Dagstuhl Seminar 17431, 22.10.17-27.10.17

Heterogeneous CPU-GPU Execution of Stencil Applications : article in proceedings of the International Workshop on Performance, Portability and Productivity in HPC (P3HPC) held as part of SC18 : preprint

Dagstuhl Seminar 17431, 22.10.17-27.10.17

Abstractions for Specifying Sparse Matrix Data Transformations : article in IMPACT 2018 : 8th International Workshop on Polyhedral Compilation Techniques

Dagstuhl Seminar 17421, 15.10.17-20.10.17

Expanding the Use of Spectral Libraries in Proteomics : article

Dagstuhl Seminar 17401, 01.10.17-06.10.17

HFERP : A New Multivariate Encryption : article in PQCrypto 2018, LNCS 10786

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 17382, 17.09.17-20.09.17

Ultra-Strong Machine Learning : comprehensibility of programs learned with ILP : article

Dagstuhl Seminar 17382, 17.09.17-20.09.17

Computer Models Solving Intelligence Test Problems : Progress and Implications : Extended Abstract : in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 17

Dagstuhl Seminar 17372, 10.09.17-13.09.17

POTs : Protective Optimization Technologies

Dagstuhl Seminar 17352, 27.08.17-30.08.17

Combining Tools for Optimization and Analysis of Floating-Point Computations : article in International Symposium on Formal Methods : FM 2018 : LNCS 10951

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 17282, 09.07.17-14.07.17

Towards an integrated science of movement : converging research on animal movement ecology and human mobility : article

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 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 Seminar 17222, 28.05.17-02.06.17

Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96

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 Event 17213, 21.05.17-24.05.17

Ausgezeichnete Informatikdissertationen 2016

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 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 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

Robust Mixed-Criticality Systems : article

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 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 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

The Choice and Agreement Problems of a Random Function

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

A note on Graph Automorphism and Smart Reductions

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 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

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

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 17102, 05.03.17-08.03.17

Rethinking Productivity in Software Engineering

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 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

Convexity-Increasing Morphs of Planar Graphs

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 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 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

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

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

Dagstuhl Seminar 17062, 05.02.17-10.02.17

Superhuman Sports : pplying Human Augmentation to Physical Exercise : 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 16491, 04.12.16-09.12.16

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro : article in VALUETOOLS 2017 Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools

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 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

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

Dagstuhl Seminar 16461, 13.11.16-18.11.16

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

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 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 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

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 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

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

LZ78 Compression in Low Main Memory Space

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 : 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

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

How is Performance Addressed in DevOps? : article in ICPE '19 Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering

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

Feedback from Operations to Software Development : A DevOps Perspective on Runtime Metrics and Logs : article in International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

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

Relating two width measures for resolution proofs

Dagstuhl Seminar 16381, 18.09.16-23.09.16

On Linear Resolution : Preliminary version

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

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 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 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

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 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

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

Dagstuhl Seminar 16261, 26.06.16-01.07.16

Biomedical data analysis in translational research : article in ESANN 2017

Dagstuhl Seminar 16262, 26.06.16-01.07.16

A Hidden Markov Frameblock to Capture Human–Machine Interaction in Automated Vehicles : article

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

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

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 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 16252, 19.06.16-24.06.16

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

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 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

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

Density of Zeros of the Tutte Polynomial

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 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

Immersive Analytics

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

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

Optimized Execution of Business Processes on Blockchain

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 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 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 : 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 16171, 24.04.16-29.04.16

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

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 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 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 16151, 10.04.16-15.04.16

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

Dagstuhl Seminar 16152, 10.04.16-13.04.16

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

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 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 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

Engineering a high-performance GPU B-Tree : article in PPoPP '19 Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming

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

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

Median-of-k Jumplists

Dagstuhl Seminar 16101, 06.03.16-11.03.16

Range Majorities and Minorities in Arrays

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

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

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

Collaborative urban transportation : Recent advances in theory and practice : article

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 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

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 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

Computational Complexity of Counting and Sampling

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

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 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

Modeling and Analysis of Semiconductor Supply Chains : Special Section : pp. 4521-4675

Dagstuhl Seminar 16061, 07.02.16-12.02.16

Data-Driven Storytelling

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

Dagstuhl Manifesto : Reproducibility of Data-Oriented Experiments in e-Science : pp. 330-333 : 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

Reproducibility in Information Retrieval : Tools and Infrastructures

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 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

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

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

Identifying influential neighbors in animal flocking

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 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 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

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

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 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 16012, 04.01.16-07.01.16

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

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 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 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 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

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 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

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 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

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

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

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 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 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 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 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 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

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

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 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 15362, 30.08.15-04.09.15

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

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 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 15351, 23.08.15-28.08.15

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

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 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