Manish Goyal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MEMOCODE | Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. | Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala |
| 2020 | ATVA | NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. | Manish Goyal, Parasara Sridhar Duggirala |
| 2019 | RTNS | Concurrency groups: a new way to look at real-time multiprocessor lock nesting. | Catherine E. Nemitz, Tanya Amert, Manish Goyal, James H. Anderson |
| 2002 | ICFHR | The effect of large training set sizes on online Japanese Kanji and English cursive recognizers. | Henry A. Rowley, Manish Goyal, John Bennett |
| 1997 | AMIA | A Visual Method for Input of Uncertain Time-Oriented Data. | Manish Goyal, Peter Szolovits |