Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis., , , , and . Formal Methods Syst. Des., 19 (3): 237-273 (2001)On the verification of synthesized designs using automatically generated transformational witnesses., , and . DATE, page 798. IEEE Computer Society, (2001)Improvements to services at the European Nucleotide Archive., , , , , , , , , and 19 other author(s). Nucleic Acids Res., 38 (Database-Issue): 39-45 (2010)A novel MAC layer protocol for space division multiple access in wireless ad hoc networks., , , , and . ICCCN, page 614-619. IEEE, (2002)Verification of Basic Block Schedules Using RTL Transformations., , and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 173-178. Springer, (2001)Petabyte-scale innovations at the European Nucleotide Archive., , , , , , , , , and 17 other author(s). Nucleic Acids Res., 37 (Database-Issue): 19-25 (2009)Transfreight Reduces Costs and Balances Workload at Georgetown Crossdock., , and . Interfaces, 39 (4): 316-328 (2009)A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs., , , and . VLSI Design, page 91-. IEEE Computer Society, (2003)Political engineering: optimizing a U.S. Presidential candidate's platform., , , and . Ann. Oper. Res., 215 (1): 63-87 (2014)EBI metagenomics - a new resource for the analysis and archiving of metagenomic data., , , , , , , , , and 13 other author(s). Nucleic Acids Res., 42 (Database-Issue): 600-606 (2014)