Milad Niqui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2010
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MPC | Sampling, Splitting and Merging in Coinductive Stream Calculus. | Milad Niqui, Jan J. M. M. Rutten |
| 2005 | CiE | Formalising Exact Arithmetic in Type Theory. | Milad Niqui |