Milad Niqui - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2013

Stream processing coalgebraicallyMilad Niqui, Jan J. M. M. Rutten. SCP, 78(11):2192-2215, 2013. [doi]

2011

A Validated Real Function CalculusPieter Collins, Milad Niqui, Nathalie Revol. mics, 5(4):437-467, 2011. [doi]

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract)David Costa, Milad Niqui, Jan J. M. M. Rutten. fsen 2012: 335-342 [doi]

PrefaceBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. TCS, 412(38):4967-4968, 2011. [doi]

A proof of Moessner's theorem by coinductionMilad Niqui, Jan J. M. M. Rutten. lisp, 24(3):191-206, 2011. [doi]

2010

Coalgebraic Representation Theory of FractalsIchiro Hasuo, Bart Jacobs, Milad Niqui. ENTCS, 265:351-368, 2010. [doi]

PrefaceBart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. ENTCS, 264(2):1-2, 2010. [doi]

Sampling, Splitting and Merging in Coinductive Stream CalculusMilad Niqui, Jan J. M. M. Rutten. mpc 2010: 310-330 [doi]

2009

Coinductive Predicates as Final CoalgebrasMilad Niqui, Jan Rutten. fics 2009: 79-85 [doi]

2008

Modular Development of Hybrid Systems for Verification in CoqMilad Niqui, Olga Tveretina. hybrid 2008: 638-641 [doi]

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration SchemeMilad Niqui. TYPES 2009: 272-288 [doi]

Coinductive Formal Reasoning in Exact Real ArithmeticMilad Niqui. lmcs, 4(3), 2008. [doi]

2007

Constructive analysis, types and exact real numbersHerman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk. mscs, 17(1):3-36, 2007. [doi]

Exact arithmetic on the Stern-Brocot treeMilad Niqui. jda, 5(2):356-379, 2007. [doi]

Productivity of Edalat-Potts Exact Arithmetic in Constructive Type TheoryMilad Niqui. mst, 41(1):127-154, 2007. [doi]

Preface to the special issue: Constructive analysis, types and exact real numbersBas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk. mscs, 17(1):1, 2007. [doi]

2006

Admissible digit setsJesse Hughes, Milad Niqui. TCS, 351(1):61-73, 2006. [doi]

Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real NumbersMilad Niqui. TYPES 2007: 203-220 [doi]

Coinductive Field of Exact Real Numbers and General CorecursionMilad Niqui. ENTCS, 164(1):121-139, 2006. [doi]

2005

Formalising Exact Arithmetic in Type TheoryMilad Niqui. cie 2005: 368-377 [doi]

2003

QArith: Coq Formalisation of Lazy Rational ArithmeticMilad Niqui, Yves Bertot. TYPES 2004: 309-323 [doi]

2000

Constructive Reals in Coq: Axioms and CategoricityHerman Geuvers, Milad Niqui. TYPES 2002: 79-95 [doi]

Sign in or sign up to see more results.

runs on WebDSL