 | 2008 |
|---|
| 14 |       | Milad Niqui,
Olga Tveretina:
Modular Development of Hybrid Systems for Verification in Coq.
HSCC 2008: 638-641 |
| 13 | | Milad Niqui:
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.
TYPES 2008: 272-288 |
| 12 | | Milad Niqui:
Coinductive Formal Reasoning in Exact Real Arithmetic
CoRR abs/0807.1669: (2008) |
| 11 | | Milad Niqui:
Coinductive Formal Reasoning in Exact Real Arithmetic.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 10 | | Milad Niqui:
Exact arithmetic on the Stern-Brocot tree.
J. Discrete Algorithms 5(2): 356-379 (2007) |
| 9 | | Bas Spitters,
Herman Geuvers,
Milad Niqui,
Freek Wiedijk:
Preface to the special issue: Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 1 (2007) |
| 8 | | Herman Geuvers,
Milad Niqui,
Bas Spitters,
Freek Wiedijk:
Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 3-36 (2007) |
| 7 | | Milad Niqui:
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.
Theory Comput. Syst. 41(1): 127-154 (2007) |
| 2006 |
|---|
| 6 | | Milad Niqui:
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.
TYPES 2006: 203-220 |
| 5 | | Milad Niqui:
Coinductive Field of Exact Real Numbers and General Corecursion.
Electr. Notes Theor. Comput. Sci. 164(1): 121-139 (2006) |
| 4 | | Jesse Hughes,
Milad Niqui:
Admissible digit sets.
Theor. Comput. Sci. 351(1): 61-73 (2006) |
| 2005 |
|---|
| 3 | | Milad Niqui:
Formalising Exact Arithmetic in Type Theory.
CiE 2005: 368-377 |
| 2003 |
|---|
| 2 | | Milad Niqui,
Yves Bertot:
QArith: Coq Formalisation of Lazy Rational Arithmetic.
TYPES 2003: 309-323 |
| 2000 |
|---|
| 1 | | Herman Geuvers,
Milad Niqui:
Constructive Reals in Coq: Axioms and Categoricity.
TYPES 2000: 79-95 |
