( en | de | ru )

 

Disambiguation of "Singhal, Vigyan"

Author of the publication

copydeleteadd this publication to your clipboard
Heuristic Minimization of Synchronous Relations.

, , and . ICCD, page 428-433. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anil Singhal

Nishant Singhal

Rohit Singhal

Ashok Kumar Singhal

 

Other publications of authors with the same name

Optimizing designs containing black boxes., , and . ACM Trans. Design Autom. Electr. Syst., 6 (4): 591-601 (2001)Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 72-83. Springer, (1999)The Verifiacation Problem for Safe Replaceability., and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)Equivalences for Fair Kripke Structures., , , , and . ICALP, volume 820 of Lecture Notes in Computer Science, page 364-375. Springer, (1994)Compositional Reasoning Gotchas in Practice., , , , and . FMCAD, page 17-24. IEEE, (2015)BDD Decomposition for Efficient Logic Synthesis., , and . ICCD, page 626-. IEEE Computer Society, (1999)Analysis of Locking Behavior in Three Real Database Systems., and . VLDB J., 6 (1): 40-52 (1997)Model-checking continous-time Markov chains., , , and . ACM Trans. Comput. Log., 1 (1): 162-170 (2000)Sequential optimization in the absence of global reset., , , , and . ACM Trans. Design Autom. Electr. Syst., 8 (2): 222-251 (2003)It Usually Works: The Temporal Logic of Stochastic Systems., , and . CAV, volume 939 of Lecture Notes in Computer Science, page 155-165. Springer, (1995)