( en | de | ru )

 

Disambiguierung von "Das, Satyaki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Checking of Aggregation Abstractions Through State Enumeration.

, , und . FORTE, Volume 107 von IFIP Conference Proceedings, Seite 207-222. Chapman & Hall, (1997)

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.

Romy Das

Bio-economic modeling of soil resource conservation in Mid Hill Region of Nepal. Uni Gießen, (2009)

Anita Das

Arabindo Das

Amitabh Das

Animesh Das

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 28 (4): 591-595 (2009)Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates., , , und . ICCAD, Seite 188-193. IEEE Computer Society, (2007)Refining Approximations in Software Predicate Abstraction., , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2004)Automatic checking of aggregation abstractions through stateenumeration., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (10): 1202-1210 (2000)Automatic Checking of Aggregation Abstractions Through State Enumeration., , und . FORTE, Volume 107 von IFIP Conference Proceedings, Seite 207-222. Chapman & Hall, (1997)Toward Improved Deep Learning-based Vulnerability Detection., , , und . ICSE, Seite 62:1-62:12. ACM, (2024)Successive Approximation of Abstract Transition Relations., und . LICS, Seite 51-58. IEEE Computer Society, (2001)Experience with Predicate Abstraction., , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 160-171. Springer, (1999)Counter-Example Based Predicate Discovery in Predicate Abstraction., und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 19-32. Springer, (2002)