( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

, , , , und . ICCAD, Seite 286-292. IEEE Computer Society, (2001)

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.

Aarti Singh

Ashutosh Kumar Gupta

Renee Gupta

Jan Chandra Gupta

Ajay Kumar Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

From Hardware Verification to Software Verification: Re-use and Re-learn.. Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 14-15. Springer, (2007)Interprocedural Exception Analysis for C++., , , , und . ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 583-608. Springer, (2011)Localization and Register Sharing for Predicate Abstraction., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2005)Reasoning About Threads Communicating via Locks., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 505-518. Springer, (2005)Efficient Modeling of Embedded Memories in Bounded Model Checking., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 440-452. Springer, (2004)Model Checking Concurrent Programs.. VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 2. Springer, (2009)A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , und . FJCC, Seite 325-334. IEEE Computer Society, (1986)Program Analysis Using Symbolic Ranges, , und . SAS, Volume 4634 von LNCS, Seite 366-383. (2007)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , und . CAV'06, Seite 137-151. (2006)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , und . CoRR, (2018)