Alexander Malkis, Yutaka Nagashima, Steffen Borgwardt und Claudia Eckert
The Diameter of Binary Multithreaded Programs
2013

Julia Bergbauer, Claudia Nieuwenhuis, Mohamed Souiai, Daniel Cremers
Morphological Proximity Priors: Spatial Relationships for Semantic Segmentation
2013

Hauke Stähle, Kai Huang, Alois Knoll
Drive-by-Wireless with the eCar Demonstrator
2013

Ciechanowicz, David;Aydt, Heiko;Lees, Michael;Knoll, Alois;Hamacher, Thomas
A Universal Scheme for Modeling Energy Systems
2013

Máté Kovács
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties (Proofs)
2013

Hardik Shah, Kai Huang, Alois Knoll
Weighted Execution Time Analysis of Applications on COTS Multi-core Architectures
2013

Florian Röhrbein, Sascha Griffiths, Laura Voss
On Industry-Academia Collaborations in Robotics
2013

Marco Kuhrmann
ArSPI: An Artifact Model for Software Process Improvement and Management
2013

Ernst W. Mayr;Jeremias Weihmann
Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities
2013

María Victoria Cengarle, Jonas Eckhardt, Jürgen Hairbucher, Oliver Hanka, Stefan Kuntz, Birgit Penzenstadler, Oliver Sander, Wolfgang Schwitzer, Astrid Steingrüber
ARAMiS Scenarios and Requirements
2013