Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Research / Science organisation
Location:
Kaiserslautern (head quarters),
Germany (DE)
ISNI: 000000040621750X
ROR: https://ror.org/01ayc5b57
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning (2018)
Keszocze O, Schmitz K, Schloeter J, Drechsler R
Conference contribution, Conference Contribution
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling (2018)
Schmitz K, Keszocze O, Tietjen J, Drechsler R
Conference contribution, Conference Contribution
Speech Acts in Actual Processes: Evaluation of Interfaces and Triggers in ITIL (2018)
Tenschert J, Rehse JR, Fettke P, Lenz R
Conference contribution, Original article
Towards Dynamic Execution Environment for System Security Protection against Hardware
Flaws (2018)
Schmitz K, Keszocze O, Schmidt J, Grosse D, Drechsler R
Conference contribution, Conference Contribution
On the Complexity of Design Tasks for Digital Microfluidic Biochips (2018)
Keszocze O, Niemann P, Friedemann A, Drechsler R
Journal article, Original article
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips (2018)
Keszocze O, Ibrahim M, Wille R, Chakrabarty K, Drechsler R
Conference contribution, Conference Contribution
Generating FPGA-based Image Processing Accelerators with Hipacc (2017)
Reiche O, Özkan MA, Membarth R, Teich J, Hannig F
Conference contribution, Conference Contribution
Reliable wireless communication and positioning enabling mobile control and safety applications in industrial environments (2017)
Ehrig M, Petri M, Sark V, Tesfay AG, Melnyk S, Schotten H, Anwar W, et al.
Conference contribution
A Human-Centered Approach to Routing for Digital Microfluidic Biochips (2017)
Keszocze O, Pols A, Drechsler R
Conference contribution, Conference Contribution
Speech Acts in Actual Processes: Evaluation of Interfaces and Triggers in ITIL (2017)
Tenschert J, Rehse JR, Fettke P, Lenz R
Conference contribution