Milad Niqui

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coalgebraic representation theory of fractals Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
Coinductive field of exact real numbers and general corecursion	2013-12-04	Paper
A validated real function calculus Mathematics in Computer Science	2013-05-16	Paper
A proof of Moessner's theorem by coinduction Higher-Order and Symbolic Computation	2013-01-08	Paper
Intentional automata: a context-dependent model for component connectors (extended abstract) Fundamentals of Software Engineering	2012-06-29	Paper
Sampling, splitting and merging in coinductive stream calculus Lecture Notes in Computer Science	2010-07-26	Paper
Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme Lecture Notes in Computer Science	2009-07-02	Paper
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers Lecture Notes in Computer Science	2009-03-10	Paper
Coinductive Formal Reasoning in Exact Real Arithmetic Logical Methods in Computer Science	2008-11-13	Paper
Modular Development of Hybrid Systems for Verification in Coq Hybrid Systems: Computation and Control	2008-09-02	Paper
Exact arithmetic on the Stern-Brocot tree Journal of Discrete Algorithms	2007-10-30	Paper
Productivity of Edalat-Potts exact arithmetic in constructive type theory Theory of Computing Systems	2007-09-06	Paper
Constructive analysis, types and exact real numbers Mathematical Structures in Computer Science	2007-04-12	Paper
Admissible digit sets Theoretical Computer Science	2006-03-20	Paper
New Computational Paradigms Lecture Notes in Computer Science	2006-01-11	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2085168 (Why is no real title available?)	2004-08-09	Paper

Research outcomes over time

This page was built for person: Milad Niqui