PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Zaraket, Fadi A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated FPGA implementations of BIP designs.

, , , , und . SIES, Seite 165-170. IEEE, (2016)

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.

A. Laukemann

A. Laukemann

A. Laukemann

A. Vo{\ss}

A. Afkari

 

Weitere Publikationen von Autoren mit dem selben Namen

Coverage Specification for Test Case Intent Preservation in Regression Suites., , und . ICST Workshops, Seite 392-395. IEEE Computer Society, (2013)MATAr: Morphology-based Tagger for Arabic., und . AICCSA, Seite 1-4. IEEE Computer Society, (2013)Verification at RTL Using Separation of Design Concerns., , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 38 (8): 1529-1542 (2019)GUICop: Approach and Toolset for Specification-based GUI Testing., , und . CoRR, (2016)Specification Construction Using Behaviours, Equivalences, and SMT Solvers., , , und . CoRR, (2013)Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules., und . COLING (Demos), Seite 517-526. Indian Institute of Technology Bombay, (2012)Arabic Cross-Document NLP for the Hadith and Biography Literature., und . FLAIRS Conference, AAAI Press, (2012)Enhancing Fault Localization via Multivariate Visualization., , , und . ICST, Seite 737-741. IEEE Computer Society, (2012)From high-level modeling toward efficient and trustworthy circuits., , , und . STTT, 21 (2): 143-163 (2019)UCov: a User-Defined Coverage Criterion for Test Case Intent Verification., , und . CoRR, (2014)