Milad Niqui

Available identifiers

Publication	Date of Publication	Type
Coalgebraic Representation Theory of Fractals	2016-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2863898	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	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Milad Niqui