PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jain, Jawahar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient variable ordering and partial representation algorithm.

, , , , , und . VLSI Design, Seite 81-86. IEEE Computer Society, (1995)

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.

Ripu Jain University of Stuttgart

Shailja Jain University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes., , , und . Asian Test Symposium, Seite 460. IEEE Computer Society, (2005)Testing, Verification, and Diagnosis in the Presence of Unknowns., , , , , und . VTS, Seite 263-270. IEEE Computer Society, (2000)An Efficient Filter-Based Approach for Combinational Verification., , , , , und . DATE, Seite 132-137. IEEE Computer Society / ACM, (1999)Probabilistic Design Verification., , , und . ICCAD, Seite 468-471. IEEE Computer Society, (1991)A Partitioning Methodology for BDD-Based Verification., , , , , , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 399-413. Springer, (2004)Functional learning: a new approach to learning in digital circuits., , und . VTS, Seite 122-127. IEEE Computer Society, (1994)Comparing stress markers across various cohorts in a mobile setting., , , und . EMBC, Seite 7274-7277. IEEE, (2013)Reachability analysis using partitioned-ROBDDs., , , , und . ICCAD, Seite 388-393. IEEE Computer Society / ACM, (1997)A Survey of Techniques for Formal Verification of Combinational Circuits., , , und . ICCD, Seite 445-454. IEEE Computer Society, (1997)Error Detection Using BMC in a Parallel Environment., , , , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 354-358. Springer, (2005)