Milad Niqui

From MaRDI portal
Revision as of 00:31, 13 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Milad Niqui to Milad Niqui: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:817860

Available identifiers

zbMath Open niqui.miladMaRDI QIDQ817860

List of research outcomes





PublicationDate of PublicationType
Coalgebraic Representation Theory of Fractals2016-07-08Paper
https://portal.mardi4nfdi.de/entity/Q28638982013-12-04Paper
A validated real function calculus2013-05-16Paper
A proof of Moessner's theorem by coinduction2013-01-08Paper
Intentional Automata: A Context-Dependent Model for Component Connectors2012-06-29Paper
Sampling, Splitting and Merging in Coinductive Stream Calculus2010-07-26Paper
Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme2009-07-02Paper
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers2009-03-10Paper
Coinductive Formal Reasoning in Exact Real Arithmetic2008-11-13Paper
Modular Development of Hybrid Systems for Verification in Coq2008-09-02Paper
Exact arithmetic on the Stern-Brocot tree2007-10-30Paper
Productivity of Edalat-Potts exact arithmetic in constructive type theory2007-09-06Paper
Constructive analysis, types and exact real numbers2007-04-12Paper
Admissible digit sets2006-03-20Paper
New Computational Paradigms2006-01-11Paper
Types for Proofs and Programs2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q47363912004-08-09Paper

Research outcomes over time

This page was built for person: Milad Niqui

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:817860&oldid=10994718"
Powered by MediaWiki