Milad Niqui
发表
Herman Geuvers,
Milad Niqui,
Bas Spitters,
2007,
Mathematical Structures in Computer Science.
Milad Niqui,
2006,
CMCS.
Milad Niqui,
Jesse Hughes,
J. Hughes,
2006,
Theor. Comput. Sci..
Bart Jacobs,
Milad Niqui,
Ichiro Hasuo,
2010,
MFPS.
Milad Niqui,
2006,
Theory of Computing Systems.
Milad Niqui,
Yves Bertot,
2003,
TYPES.
Milad Niqui,
2006,
TYPES.
Herman Geuvers,
Milad Niqui,
H. Geuvers,
2000,
TYPES.
Nathalie Revol,
Milad Niqui,
Pieter Collins,
2011,
Math. Comput. Sci..
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010,
PAR.
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010
.
Herman Geuvers,
Milad Niqui,
Bas Spitters,
2007,
Math. Struct. Comput. Sci..
Milad Niqui,
2008,
TYPES.
Milad Niqui,
Jan J. M. M. Rutten,
David Costa,
2011,
FSEN.
Milad Niqui,
Olga Tveretina,
2008,
HSCC.
Milad Niqui,
Ekaterina Komendantskaya,
Ana Bove,
2010
.
Milad Niqui,
2008,
Log. Methods Comput. Sci..
Milad Niqui,
M. Niqui,
2005,
CiE.
Milad Niqui,
Jan J. M. M. Rutten,
J. Rutten,
2013,
Sci. Comput. Program..
Milad Niqui,
2010
.
Milad Niqui,
Eelis van der Weegen,
2007
.
Milad Niqui,
Jan J. M. M. Rutten,
2009,
FICS.
Milad Niqui,
Jan J. M. M. Rutten,
J. Rutten,
2009,
MPC.
CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science
Alexandra Silva,
Milad Niqui,
Jan Rutten,
2010
.
Milad Niqui,
Jan Rutten,
Alberto Rodrigues da Silva,
2010,
CMCS.
Milad Niqui,
Jan J. M. M. Rutten,
2011,
High. Order Symb. Comput..
Alexandra Silva,
Milad Niqui,
Jan J. M. M. Rutten,
2010,
CMCS.
Nathalie Revol,
Milad Niqui,
Pieter Collins,
2010
.