Milad Niqui - RankMe

26 papers B 2C 1Journal 11Unranked 9

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Stream processing coalgebraically. Sci. Comput. Program. Milad Niqui, Jan J. M. M. Rutten
2012	—	`ed.`	Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010 PAR@ITP Ekaterina Komendantskaya, Ana Bove, Milad Niqui
2011	J	`jnl`	A Validated Real Function Calculus. Math. Comput. Sci. Pieter Collins, Milad Niqui, Nathalie Revol
2011	J	`jnl`	A proof of Moessner's theorem by coinduction. High. Order Symb. Comput. Milad Niqui, Jan J. M. M. Rutten
2011	—	`conf`	Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). FSEN David Costa, Milad Niqui, Jan J. M. M. Rutten
2011	J	`jnl`	Preface. Theor. Comput. Sci. Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010	B	`conf`	Coalgebraic Representation Theory of Fractals. MFPS Ichiro Hasuo, Bart Jacobs, Milad Niqui
2010	—	`conf`	Preface. CMCS@ETAPS Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010	—	`ed.`	Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. PAR Ana Bove, Ekaterina Komendantskaya, Milad Niqui
2010	—	`ed.`	Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010 CMCS@ETAPS Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010	B	`conf`	Sampling, Splitting and Merging in Coinductive Stream Calculus. MPC Milad Niqui, Jan J. M. M. Rutten
2009	—	`conf`	Coinductive Predicates as Final Coalgebras. FICS Milad Niqui, Jan Rutten
2008	—	`conf`	Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. TYPES Milad Niqui
2008	J	`jnl`	Coinductive Formal Reasoning in Exact Real Arithmetic CoRR Milad Niqui
2008	J	`jnl`	Coinductive Formal Reasoning in Exact Real Arithmetic. Log. Methods Comput. Sci. Milad Niqui
2008	—	`conf`	Modular Development of Hybrid Systems for Verification in Coq. HSCC Milad Niqui, Olga Tveretina
2007	J	`jnl`	Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk
2007	J	`jnl`	Exact arithmetic on the Stern-Brocot tree. J. Discrete Algorithms Milad Niqui
2007	J	`jnl`	Preface to the special issue: Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk
2007	J	`jnl`	Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory. Theory Comput. Syst. Milad Niqui
2006	J	`jnl`	Admissible digit sets. Theor. Comput. Sci. Jesse Hughes, Milad Niqui
2006	—	`conf`	Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. TYPES Milad Niqui
2006	—	`conf`	Coinductive Field of Exact Real Numbers and General Corecursion. CMCS Milad Niqui
2005	C	`conf`	Formalising Exact Arithmetic in Type Theory. CiE Milad Niqui
2003	—	`conf`	QArith: Coq Formalisation of Lazy Rational Arithmetic. TYPES Milad Niqui, Yves Bertot
2000	—	`conf`	Constructive Reals in Coq: Axioms and Categoricity. TYPES Herman Geuvers, Milad Niqui