Milad Niqui

Available identifiers

Publication	Date of Publication	Type
Coalgebraic representation theory of fractals	2016-07-08	Paper
Coinductive field of exact real numbers and general corecursion	2013-12-04	Paper
A validated real function calculus	2013-05-16	Paper
A proof of Moessner's theorem by coinduction	2013-01-08	Paper
Intentional automata: a context-dependent model for component connectors (extended abstract)	2012-06-29	Paper
Sampling, splitting and merging in coinductive stream calculus	2010-07-26	Paper
Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme	2009-07-02	Paper
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers	2009-03-10	Paper
Coinductive Formal Reasoning in Exact Real Arithmetic	2008-11-13	Paper
Modular Development of Hybrid Systems for Verification in Coq	2008-09-02	Paper
Exact arithmetic on the Stern-Brocot tree	2007-10-30	Paper
Productivity of Edalat-Potts exact arithmetic in constructive type theory	2007-09-06	Paper
Constructive analysis, types and exact real numbers	2007-04-12	Paper
Admissible digit sets	2006-03-20	Paper
New Computational Paradigms	2006-01-11	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736391	2004-08-09	Paper

This page was built for person: Milad Niqui