PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gupta, Anubhav"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking: Back and Forth between Hardware and Software.

, , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 251-255. Springer, (2005)

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.

Shriya Gupta University of Stuttgart

Ratnesh Kumar Gupta University of Stuttgart

 

Other publications of authors with the same name

Automated assumption generation for compositional verification., , and . Formal Methods in System Design, 32 (3): 285-301 (2008)Fingerprint image super-resolution via ridge orientation-based clustered coupled sparse dictionaries., , and . J. Electronic Imaging, 24 (4): 043015 (2015)An On-Chip Coupling Capacitance Measurement Technique., , and . VLSI Design, page 495-499. IEEE Computer Society, (2001)Reconsidering CEGAR: Learning Good Abstractions without Refinement., and . ICCD, page 591-598. IEEE Computer Society, (2005)SAT-Based Image Computation with Application in Reachability Analysis., , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 354-371. Springer, (2000)A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit., , and . ACM Great Lakes Symposium on VLSI, page 273-276. ACM, (2003)Abstraction Refinement for Bounded Model Checking., and . CAV, volume 3576 of Lecture Notes in Computer Science, page 112-124. Springer, (2005)IJCNLP-2017 Task 3: Review Opinion Diversification (RevOpiD-2017)., , , , and . IJCNLP (Shared Tasks), page 17-25. Asian Federation of Natural Language Processing, (2017)Team Z: Wiktionary as a L2 Writing Assistant.. SemEval@COLING, page 624-627. The Association for Computer Linguistics, (2014)TeamZ: Measuring Semantic Textual Similarity for Spanish Using an Overlap-Based Approach.. SemEval@COLING, page 633-635. The Association for Computer Linguistics, (2014)