699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE23 papers
- German Research Centre for Artificial IntelligenceDE13 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 UniversityDE8 papers
- Universität HamburgDE8 papers
19 papers · 1 filter
Syntax versus Semantics
Reinhard Kahle, Wilfried Keller
We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophica…
Fluid Model Checking of Timed Properties
Luca Bortolussi, Roberta Lanciani
We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on t…
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed tr…
Length regulation of microtubules by molecular motors: Exact solution and density profiles
Chikashi Arita, Alexander Lück, Ludger Santen
In this work we study a microtubule (MT) model, whose length is regulated by the action of processive kinesin motors. We treat the case of infinite processivity, i.e. particle exch…
Robust PCA: Optimization of the Robust Reconstruction Error over the Stiefel Manifold
Anastasia Podosinnikova, Simon Setzer, Matthias Hein
It is well known that Principal Component Analysis (PCA) is strongly affected by outliers and a lot of effort has been put into robustification of PCA. In this paper we present a n…
Towards Realistic Team Formation in Social Networks based on Densest Subgraphs
Syama Sundar Rangapuram, Thomas Bühler, Matthias Hein
Given a task , a set of experts with multiple skills and a social network reflecting the compatibility among the experts, team formation is the problem o…