Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety Assurance for Emergent Collaboration of Open Distributed Systems., und . ISSRE Workshops, Seite 249-256. IEEE Computer Society, (2016)Counting self-avoiding walks on free products of graphs., und . Discrete Mathematics, 340 (3): 325-332 (2017)Access control for semantic data federations in industrial product-lifecycle management., , , , und . Computers in Industry, 63 (9): 930-940 (2012)Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas, und . CoRR, (2011)Protter: interactive protein feature visualization and integration with experimental proteomic data., , , und . Bioinformatics, 30 (6): 884-886 (2014)Nondeterministic Instance Complexity and Proof Systems with Advice., , und . Electronic Colloquium on Computational Complexity (ECCC), (2008)Dynamic Safety Contracts for Functional Cooperation of Automotive Systems., und . SAFECOMP Workshops, Volume 9923 von Lecture Notes in Computer Science, Seite 171-182. Springer, (2016)Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes., und . SAFECOMP Workshops, Volume 10489 von Lecture Notes in Computer Science, Seite 225-236. Springer, (2017)Distributed constraint optimization for medical appointment scheduling., und . Agents, Seite 139-140. ACM, (2001)A multi-layer software-based fault-tolerance approach for heterogenous multi-core systems., , , , und . LATS, Seite 1-6. IEEE Computer Society, (2015)