Milad Niqui

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Stream Processing

Data Management

Top Venues

Sci. Comput. Program.

Publications

Milad Niqui, Jan J. M. M. Rutten
Stream processing coalgebraically. Sci. Comput. Program. 78 (11) (2013)
Pieter Collins, Milad Niqui, Nathalie Revol
A Validated Real Function Calculus. Math. Comput. Sci. 5 (4) (2011)
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
Preface. Theor. Comput. Sci. 412 (38) (2011)
Milad Niqui, Jan J. M. M. Rutten
A proof of Moessner's theorem by coinduction. High. Order Symb. Comput. 24 (3) (2011)
David Costa, Milad Niqui, Jan J. M. M. Rutten
Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). FSEN (2011)
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
Preface. CMCS (2010)
Milad Niqui, Jan J. M. M. Rutten
Sampling, Splitting and Merging in Coinductive Stream Calculus. MPC (2010)
Ichiro Hasuo, Bart Jacobs, Milad Niqui
Coalgebraic Representation Theory of Fractals. MFPS (2010)
Milad Niqui, Jan Rutten
Coinductive Predicates as Final Coalgebras. FICS (2009)
Milad Niqui, Olga Tveretina
Modular Development of Hybrid Systems for Verification in Coq. HSCC (2008)
Milad Niqui
Coinductive Formal Reasoning in Exact Real Arithmetic. Log. Methods Comput. Sci. 4 (3) (2008)
Milad Niqui
Coinductive Formal Reasoning in Exact Real Arithmetic CoRR (2008)
Milad Niqui
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. TYPES (2008)
Milad Niqui
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. Theory Comput. Syst. 41 (1) (2007)
Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk
Preface to the special issue: Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. 17 (1) (2007)
Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk
Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. 17 (1) (2007)
Milad Niqui
Exact arithmetic on the Stern-Brocot tree. J. Discrete Algorithms 5 (2) (2007)
Jesse Hughes, Milad Niqui
Admissible digit sets. Theor. Comput. Sci. 351 (1) (2006)
Milad Niqui
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. TYPES (2006)
Milad Niqui
Coinductive Field of Exact Real Numbers and General Corecursion. CMCS (2006)
Milad Niqui
Formalising Exact Arithmetic in Type Theory. CiE (2005)
Milad Niqui, Yves Bertot
QArith: Coq Formalisation of Lazy Rational Arithmetic. TYPES (2003)
Herman Geuvers, Milad Niqui
Constructive Reals in Coq: Axioms and Categoricity. TYPES (2000)