699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE25 papers
- German Research Centre for Artificial IntelligenceDE14 papers
- Karlsruhe Institute of TechnologyDE11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Helmholtz Center for Information SecurityDE10 papers
- Leipzig UniversityDE10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Institute for Solid State Physics and OpticsHU9 papers
- Max Planck SocietyDE9 papers
- RWTH Aachen UniversityDE9 papers
- Universität HamburgDE8 papers
30 papers · 1 filter
ManyDSL: A Host for Many Languages
Piotr Danilewski, Philipp Slusallek
Domain-specific languages are becoming increasingly important. Almost every application touches multiple domains. But how to define, use, and combine multiple DSLs within the same…
PRIMA: Privacy-Preserving Identity and Access Management at Internet-Scale
Muhammad Rizwan Asghar, Michael Backes, Milivoj Simeonovski
The management of identities on the Internet has evolved from the traditional approach (where each service provider stores and manages identities) to a federated identity managemen…
Building Code with Dynamic Staging
Piotr Danilewski, Philipp Slusallek
When creating a new domain-specific language (DSL) it is common to embed it as a part of a flexible host language, rather than creating it entirely from scratch. The semantics of a…
Cavity-enhanced single photon source based on the silicon vacancy center in diamond
Julia Benedikter, Hanno Kaupp, Thomas Hümmer +7
Single photon sources are an integral part of various quantum technologies, and solid state quantum emitters at room temperature appear as a promising implementation. We couple the…
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
Swen Jacobs, Roderick Bloem
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic.…
The Complexity of Shelflisting
Yongjie Yang, Dinko Dimitrov
Optimal shelflisting invites profit maximization to become sensitive to the ways in which purchasing decisions are order-dependent. We study the computational complexity of the cor…