Person:817860

Available identifiers

zbMath Open niqui.miladMaRDI QIDQ817860

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Milad Niqui