Autor der Publikation

Mechanically Verifying a Family of Multiplier Circuits.

, und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 135-146. Springer, (1996)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report., und . ASIAN, Volume 2896 von Lecture Notes in Computer Science, Seite 125-145. Springer, (2003)DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients., , und . ICSH, Volume 9545 von Lecture Notes in Computer Science, Seite 340-349. Springer, (2015)Automated Reasoning About Parallel Algorithms Using Powerlists., und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 416-430. Springer, (1995)Extending Decision Procedures with Induction Schemes., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 324-345. Springer, (2000)A Novel Approach for Embedding and Traversing Problems in Serious Games., , , und . SIGITE, Seite 229-235. ACM, (2020)Summarizing developer work history using time series segmentation: challenge report., , und . MSR, Seite 137-140. ACM, (2008)Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images., , , , , , und . BIBE, Seite 767-772. IEEE, (2020)The transient combinator, higher-order strategies, and the distributed data problem., und . Sci. Comput. Program., (2004)Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography., , , , und . iTextbooks@AIED, Volume 2674 von CEUR Workshop Proceedings, Seite 90-102. CEUR-WS.org, (2020)Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space., , und . FIE, Seite 1-5. IEEE, (2023)