Diederik Verkest

From MaRDI portal
Person:836397

Available identifiers

zbMath Open verkest.diederikMaRDI QIDQ836397

List of research outcomes





PublicationDate of PublicationType
Exploiting the expressiveness of cyclo-static dataflow to model multimedia implementations2009-09-01Paper
https://portal.mardi4nfdi.de/entity/Q44717052004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44082012003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q44083062003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q27630302002-01-14Paper
A proof of the nonrestoring division algorithm and its implementation on an ALU1994-03-03Paper
On the comparison of HOL and Boyer-Moore for formal hardware verification1993-09-30Paper
https://portal.mardi4nfdi.de/entity/Q40281581993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40283321993-03-28Paper

Research outcomes over time

This page was built for person: Diederik Verkest

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:836397&oldid=10939146"
Powered by MediaWiki