Browsing by Author "Niqui, M."
Now showing items 114 of 14

Stream processing coalgebraically
Niqui, M.; Rutten, J.2013, Article / Letter to editor (Science of Computer Programming, 78, 11, (2013), pp. 21922215) 
Intentional Automata: A ContextDependent Model for Component Connectors
Costa, D.; Niqui, M.; Rutten, J.2012, Part of book or chapter of book (Arbab, F.; Sirjani, M. (ed.), Fundamentals of Software Engineering : 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011;Tehran;20 April 2011through22 April 2011, pp. 335342) 
CMCS Tenth Anniversary Meeting. Preface
Jacobs, B.P.F.; Niqui, M.; Rutten, J.; Silva, A.2011, Article / Letter to editor (Theoretical Computer Science, 412, 38, (2011), pp. 49674968) 
CMCS 2010 : Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science
Jacobs, B.P.F.; Niqui, M.; Rutten, J.J.M.M.; Silva, A.2010, Article in monograph or in proceedings (Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), pp. 1198) 
Sampling, Splitting and Merging in Coinductive Stream Calculus
Bolduc, C.; Desharnais, J.; Ktari, B.; Niqui, M.; Rutten, J.2010, Part of book or chapter of book (Mathematics of Program Construction, pp. 310330) 
Coalgebraic representation theory of fractals
Hasuo, I.; Jacobs, B.; Niqui, M.2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, 265, C, (2010), pp. 351368) 
CMCS 2010 : Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science. Preface
Jacobs, B.P.F.; Niqui, M.; Rutten, J.; Silva, A.2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, 264, 2, (2010), pp. 12) 
Constructive analysis, types and exact real numbers (overview article)
Geuvers, Herman; Niqui, Milad; Spitters, Bas; Wiedijk, Freek2007, Article / Letter to editor (Mathematical Structures in Computer Science, 17, 1, (2007), pp. 336) 
Preface to the special issue: Constructive analysis, types and exact real numbers
Spitters, B.; Geuvers, J.H.; Niqui, M.; Wiedijk, F.2007, Article / Letter to editor (Mathematical Structures in Computer Science, 17, 1, (2007), pp. 1) 
Coinductive Field of Exact Real Numbers and General Corecursion
Niqui, Milad2006, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, 164, 1, (2006), pp. 121139) 
Admissible Digit Sets
Hughes, Jesse; Niqui, Milad2006, Article / Letter to editor (Theoretical Computer Science, 351, 1, (2006), pp. 6173) 
Formalising Exact Arithmetic in Type Theory
Niqui, M.2005, Article in monograph or in proceedings (S. Barry Cooper, Leen Toren (ed.), New Computational Paradigms: First Conference on Computability in Europe , CiE 2005, Amsterdam, The Netherlands, June 812, pp. 368377) 
Formalising Exact Arithmetic. Representations, Algorithms and Proofs
Niqui, M.2004, Dissertation