Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Milad Niqui
2010 – today
- 2013
[j13]Milad Niqui, Jan J. M. M. Rutten: Stream processing coalgebraically. Sci. Comput. Program. 78(11): 2192-2215 (2013)- 2011
- [j12]Milad Niqui, Jan J. M. M. Rutten: A proof of Moessner's theorem by coinduction. Higher-Order and Symbolic Computation 24(3): 191-206 (2011)
- [j11]Pieter Collins, Milad Niqui, Nathalie Revol: A Validated Real Function Calculus. Mathematics in Computer Science 5(4): 437-467 (2011)
- [j10]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011)
- [c8]David Costa, Milad Niqui, Jan J. M. M. Rutten: Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). FSEN 2011: 335-342
- 2010
- [j9]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Electr. Notes Theor. Comput. Sci. 264(2): 1-2 (2010)
- [j8]Ichiro Hasuo, Bart Jacobs, Milad Niqui: Coalgebraic Representation Theory of Fractals. Electr. Notes Theor. Comput. Sci. 265: 351-368 (2010)
- [c7]Milad Niqui, Jan J. M. M. Rutten: Sampling, Splitting and Merging in Coinductive Stream Calculus. MPC 2010: 310-330
- [e1]Ana Bove, Ekaterina Komendantskaya, Milad Niqui (Eds.): Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers. EPTCS 43, 2010
2000 – 2009
- 2008
- [j7]Milad Niqui: Coinductive Formal Reasoning in Exact Real Arithmetic. Logical Methods in Computer Science 4(3) (2008)
- [c6]Milad Niqui, Olga Tveretina: Modular Development of Hybrid Systems for Verification in Coq. HSCC 2008: 638-641
- [c5]Milad Niqui: Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. TYPES 2008: 272-288
- [i1]
- 2007
- [j6]
- [j5]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)
- [j4]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)
- [j3]Milad Niqui: Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. Theory Comput. Syst. 41(1): 127-154 (2007)
- 2006
- [j2]Milad Niqui: Coinductive Field of Exact Real Numbers and General Corecursion. Electr. Notes Theor. Comput. Sci. 164(1): 121-139 (2006)
- [j1]
- [c4]Milad Niqui: Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. TYPES 2006: 203-220
- 2005
- [c3]
- 2003
- [c2]Milad Niqui, Yves Bertot: QArith: Coq Formalisation of Lazy Rational Arithmetic. TYPES 2003: 309-323
- 2000
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team