Milad Niqui

According to our database, Milad Niqui authored at least 21 papers between 2000 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Stream processing coalgebraically.

Milad Niqui, Jan J. M. M. Rutten

Sci. Comput. Program., 2013

2011

A Validated Real Function Calculus.

Pieter Collins, Milad Niqui, Nathalie Revol

Math. Comput. Sci., 2011

A proof of Moessner's theorem by coinduction.

Milad Niqui, Jan J. M. M. Rutten

High. Order Symb. Comput., 2011

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).

David Costa, Milad Niqui, Jan J. M. M. Rutten

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Preface.

Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Coalgebraic Representation Theory of Fractals.

Ichiro Hasuo, Bart Jacobs, Milad Niqui

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Sampling, Splitting and Merging in Coinductive Stream Calculus.

Milad Niqui, Jan J. M. M. Rutten

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Coinductive Predicates as Final Coalgebras.

Milad Niqui, Jan Rutten

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

2008

Coinductive Formal Reasoning in Exact Real Arithmetic.

Milad Niqui

Log. Methods Comput. Sci., 2008

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.

Milad Niqui

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Modular Development of Hybrid Systems for Verification in Coq.

Milad Niqui, Olga Tveretina

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.

Milad Niqui

Theory Comput. Syst., 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

Constructive analysis, types and exact real numbers.

Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk

Math. Struct. Comput. Sci., 2007

Exact arithmetic on the Stern-Brocot tree.

Milad Niqui

J. Discrete Algorithms, 2007

2006

Admissible digit sets.

Jesse Hughes, Milad Niqui

Theor. Comput. Sci., 2006

Coinductive Field of Exact Real Numbers and General Corecursion.

Milad Niqui

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.

Milad Niqui

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005

Formalising Exact Arithmetic in Type Theory.

Milad Niqui

Proceedings of the New Computational Paradigms, 2005

2003

QArith: Coq Formalisation of Lazy Rational Arithmetic.

Milad Niqui, Yves Bertot

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2000

Constructive Reals in Coq: Axioms and Categoricity.

Herman Geuvers, Milad Niqui

Proceedings of the Types for Proofs and Programs, International Workshop, 2000