Constructive Reals in Coq: Axioms and Categoricity. - Herman Geuvers; Milad Niqui (TYPES, 2000)

QArith: Coq Formalisation of Lazy Rational Arithmetic. - Milad Niqui; Yves Bertot (TYPES, 2003)

Formalising Exact Arithmetic in Type Theory. - Milad Niqui (CiE, 2005)

Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. - Milad Niqui (TYPES, 2006)

Coinductive Field of Exact Real Numbers and General Corecursion. - Milad Niqui (CMCS, 2006)

Admissible digit sets. - Jesse Hughes; Milad Niqui (Theor. Comput. Sci., 2006)

Exact arithmetic on the Stern-Brocot tree. - Milad Niqui (J. Discrete Algorithms, 2007)

Constructive analysis, types and exact real numbers. - Herman Geuvers; Milad Niqui; Bas Spitters; Freek Wiedijk (Math. Struct. Comput. Sci., 2007)

Preface to the special issue: Constructive analysis, types and exact real numbers. - Bas Spitters; Herman Geuvers; Milad Niqui; Freek Wiedijk (Math. Struct. Comput. Sci., 2007)

Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. - Milad Niqui (Theory Comput. Syst., 2007)

Modular Development of Hybrid Systems for Verification in Coq. - Milad Niqui; Olga Tveretina (HSCC, 2008)

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. - Milad Niqui (TYPES, 2008)

Coinductive Formal Reasoning in Exact Real Arithmetic. - Milad Niqui (Log. Methods Comput. Sci., 2008)

Coinductive Predicates as Final Coalgebras. - Milad Niqui; Jan Rutten (FICS, 2009)

Sampling, Splitting and Merging in Coinductive Stream Calculus. - Milad Niqui; Jan J. M. M. Rutten (MPC, 2010)

Coalgebraic Representation Theory of Fractals. - Ichiro Hasuo; Bart Jacobs 001; Milad Niqui (MFPS, 2010)

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). - David Costa 001; Milad Niqui; Jan J. M. M. Rutten (FSEN, 2011)

A proof of Moessner's theorem by coinduction. - Milad Niqui; Jan J. M. M. Rutten (High. Order Symb. Comput., 2011)

A Validated Real Function Calculus. - Pieter Collins; Milad Niqui; Nathalie Revol (Math. Comput. Sci., 2011)

Preface. - Bart Jacobs 001; Milad Niqui; Jan J. M. M. Rutten; Alexandra Silva 001 (Theor. Comput. Sci., 2011)

Stream processing coalgebraically. - Milad Niqui; Jan J. M. M. Rutten (Sci. Comput. Program., 2013)