search result

Cover von Model Counting for CNF Formulas of Bounded Modular Treewidth

Model Counting for CNF Formulas of Bounded Modular Treewidth

Year: 2013
Media group: ARTICLE
Cover von Construction algorithms for higher order polynomial lattice rules

Construction algorithms for higher order polynomial lattice rules

Year: 2011
Dagstuhl 2009
Media group: ARTICLE
Cover von Static-Priority Real-Time Scheduling : Response Time Computation Is NP-Hard
article pp. 397-406
Author: Eisenbrand, Friedrich; Rothvoß, Thomas Search for this author
Year: 2008
Publisher: Los Alamitos, IEEE
Series: RTSS 2008 Real-Time Systems Symposium; pp. 397-406
Media group: ARTICLE
Cover von EDF-schedulability of synchronous periodic task systems is coNP-hard
article in SODA 2010 : pp. 1029-1034
Author: Eisenbrand, Friedrich; Rothvoß, Thomas Search for this author
Year: 2010
Publisher: New York, ACM
Series: SODA '10 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms; pp. 1029-1034
Media group: ARTICLE
Cover von Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods
article in LNCS 6346 : pp. 11-22
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : 6346; pp. 11-22
Media group: ARTICLE
Cover von A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation
article in LNCS 5125 : pp. 246-257
Author: Eisenbrand, Friedrich; Rothvoß, Thomas Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5125 : article
Media group: ARTICLE
Cover von DNA Computing
14th International Meeting on DNA Computing, Prague, Czech Republic, June 2 - 9, 2008, Revised Selected Papers
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5347
Media group: MONOGRAPHIE
Cover von Künstliche Intelligenz in der Forschung
Neue Möglichkeiten und Herausforderungen für die Wissenschaft
Author: Gethmann, Carl Friedrich Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Ethics of Science and Technology Assessment; 48
Media group: MONOGRAPHIE
Cover von Combining Crown Structures for Vulnerability Measures

Combining Crown Structures for Vulnerability Measures

Year: 2024
Media group: LIPIcs
Cover von On the Giant Component of Geometric Inhomogeneous Random Graphs

On the Giant Component of Geometric Inhomogeneous Random Graphs

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0