Aditi Barthwal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2010
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CSL | A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. | Aditi Barthwal, Michael Norrish |
| 2010 | WoLLIC | Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. | Aditi Barthwal, Michael Norrish |
| 2009 | ESOP | Verified, Executable Parsing. | Aditi Barthwal, Michael Norrish |