( en | de | ru )

 

Disambiguierung von "Dasgupta, Pallab"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The power of first-order quantification over states in branching and linear time temporal logics.

, , und . Inf. Process. Lett., 91 (5): 201-210 (2004)

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.

Shivaji Dasgupta

Shyamal Dasgupta

Subho Dasgupta

Subhoranjan Dasgupta

Shyamal Dasgupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Interpretation of Assertion-Based Features on AMS Designs., und . IEEE Des. Test, 32 (1): 9-17 (2015)The Notion of Cross Coverage in AMS Design Verification., , , , , und . ASP-DAC, Seite 217-222. IEEE, (2020)Counterexample Ranking Using Mined Invariants., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (12): 1978-1991 (2013)Feature Indented Assertions for Analog and Mixed-Signal Validation., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (11): 1928-1941 (2016)Model checking on timed-event structures., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (5): 601-611 (2000)Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework., , , , und . ISED, Seite 267-271. IEEE, (2012)Formal methods for coverage analysis of architectural power states in power-managed designs., , , und . ASP-DAC, Seite 585-590. IEEE, (2012)Some results on Parametric Temporal Logic., , und . Inf. Process. Lett., 111 (20): 994-998 (2011)V_THR: An Adaptive Load Balancing Algorithm., , und . J. Parallel Distributed Comput., 42 (2): 101-108 (1997)Differential Fault Analysis Automation., , , und . IACR Cryptology ePrint Archive, (2017)