BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × France
Collaborated with:
J.Baumgartner A.Mishchenko R.K.Brayton V.Paruthi R.Kanzelman N.Eén P.K.Nalla
Talks about:
scalabl (2) redund (2) transform (1) properti (1) abstract (1) without (1) suspect (1) revisit (1) preserv (1) identif (1)

Person: Hari Mony

DBLP DBLP: Mony:Hari

Contributed to:

DATE 20132013
DATE 20092009
DAC 20052005

Wrote 4 papers:

DATE-2013-MishchenkoEBBMN #abstraction #named #revisited
GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.
DATE-2009-BaumgartnerM #liveness #scalability
Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
DATE-2009-MonyBMB #identification #scalability
Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.
DAC-2005-MonyBPK #proving
Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.