Abbas Edalat
发表
Abbas Edalat,
A. Edalat,
1993,
Theory and Formal Methods.
Abbas Edalat,
Martín Hötzel Escardó,
2000,
Inf. Comput..
Abbas Edalat,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
A. Edalat,
1997,
Bulletin of Symbolic Logic.
Abbas Edalat,
André Lieutier,
M. Krznarić,
2003,
MFPS.
Abbas Edalat,
Maurizio Alvarez-Manilla,
N. Saheb-Djahromi,
2000,
COMPROX.
Abbas Edalat,
David W. Matula,
Philipp Sünderhauf,
1999,
Electron. Notes Theor. Comput. Sci..
Abbas Edalat,
Dirk Pattinson,
A. Edalat,
2006,
J. Log. Algebraic Methods Program..
Abbas Edalat,
André Lieutier,
2004,
Math. Struct. Comput. Sci..
Abbas Edalat,
A. Edalat,
2013,
NIPS.
Abbas Edalat,
Klaus Keimel,
Marta Kwiatkowska,
2000
.
Abbas Edalat,
Peter John Potts,
A. Edalat,
1997
.
Abbas Edalat,
Reinhold Heckmann,
2002
.
Abbas Edalat,
Michael B. Smyth,
1993,
Appl. Categorical Struct..
Abbas Edalat,
Martín Hötzel Escardó,
Peter John Potts,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
André Lieutier,
Dirk Pattinson,
2013,
Inf. Comput..
Abbas Edalat,
2000,
Electron. Notes Theor. Comput. Sci..
Abbas Edalat,
Prakash Panangaden,
Josée Desharnais,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
André Lieutier,
Dirk Pattinson,
2005,
FoSSaCS.
Abbas Edalat,
Michael B. Smyth,
M. Smyth,
1991,
Category Theory and Computer Science.
Abbas Edalat,
2007,
CiE.
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Zheng Lin,
Abbas Edalat,
A. Edalat,
2014,
2014 International Joint Conference on Neural Networks (IJCNN).
Abbas Edalat,
Ali Asghar Khanban,
A. Edalat,
2003,
CCCG.
Abbas Edalat,
1995,
Theor. Comput. Sci..
Abbas Edalat,
A. Edalat,
1993,
Inf. Comput..
Abbas Edalat,
Philipp Sünderhauf,
Peter John Potts,
1998,
ICFP '98.
Abbas Edalat,
A. Edalat,
1999,
Mathematical Structures in Computer Science.
Abbas Edalat,
Dirk Pattinson,
A. Edalat,
2004,
PARA.
Abbas Edalat,
Michael B. Smyth,
1992,
REX Workshop.
Abbas Edalat,
Paul Bilokon,
2014,
CSL-LICS.
Abbas Edalat,
André Lieutier,
Ali Asghar Khanban,
2005,
CiE.
Abbas Edalat,
André Lieutier,
Ali Asghar Khanban,
2002,
CCA.
Abbas Edalat,
Georgios Sakellariou,
Ali Ghoroghi,
2012,
ArXiv.
Abbas Edalat,
1995,
MFPS.
Elham Kashefi,
Abbas Edalat,
André Lieutier,
2001,
CCCG.
Abbas Edalat,
Philipp Sünderhauf,
A. Edalat,
1999,
Theor. Comput. Sci..
Abbas Edalat,
David Cittern,
A. Edalat,
2015,
AAMAS.
Abbas Edalat,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
Ali Ghoroghi,
Samira Hossein Ghorban,
2018,
Games.
Abbas Edalat,
Samira Hossein Ghorban,
A. Edalat,
2018,
ArXiv.
Abbas Edalat,
2015
.
Glynn Winskel,
Thomas Ehrhard,
Abbas Edalat,
2009,
Math. Struct. Comput. Sci..
Abbas Edalat,
A. Edalat,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
A. Edalat,
1996,
Inf. Comput..
Abbas Edalat,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
Klaus Keimel,
Marta Z. Kwiatkowska,
1998,
Electron. Notes Theor. Comput. Sci..
Abbas Edalat,
2009,
Inf. Comput..
Abbas Edalat,
Philipp Sünderhauf,
David Matula,
2000
.
Abbas Edalat,
Reinhold Heckmann,
A. Edalat,
2000,
APPSEM.
Abbas Edalat,
A. Edalat,
1994,
Theory and Formal Methods.
Abbas Edalat,
Philipp Sünderhauf,
A. Edalat,
1999,
Theor. Comput. Sci..
Abbas Edalat,
Prakash Panangaden,
Josée Desharnais,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Abbas Edalat,
Reinhold Heckmann,
R. Heckmann,
1998,
Theor. Comput. Sci..
Abbas Edalat,
Dasha Nicholls,
Ibrahim Ghaznavi,
2020,
2020 IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR).
Abbas Edalat,
Peng He,
2011,
2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission.
Abbas Edalat,
David Cittern,
A. Edalat,
2015,
2015 International Joint Conference on Neural Networks (IJCNN).
Abbas Edalat,
A. Edalat,
2015,
Theor. Comput. Sci..
Abbas Edalat,
Dirk Pattinson,
2004,
ICALP.
Abbas Edalat,
Michael B. Smyth,
M. Smyth,
1993,
Theor. Comput. Sci..
Abbas Edalat,
Amin Farjudian,
Dirk Pattinson,
2020,
MFPS.
Abbas Edalat,
1992,
LFCS.
Abbas Edalat,
André Lieutier,
A. Lieutier,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
Dirk Pattinson,
A. Edalat,
2006,
MFPS.
Abbas Edalat,
David Cittern,
I Ghaznavi,
2017,
AISB 2017.
Abbas Edalat,
Mehrdad Maleki,
2018,
FoSSaCS.
Abbas Edalat,
Joseph Parry,
A. Edalat,
1997,
COMPROX.
Abbas Edalat,
R. Lyndon While,
David W. N. Sharp,
1997,
Inf. Process. Lett..
Abbas Edalat,
Mehrdad Maleki,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Abbas Edalat,
A. Edalat,
2015,
2015 International Joint Conference on Neural Networks (IJCNN).
Abbas Edalat,
Pietro Di Gianantonio,
2013,
FoSSaCS.
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
LICS 1996.
Abbas Edalat,
Prakash Panangaden,
Josée Desharnais,
2002,
Inf. Comput..
Abbas Edalat,
A. Edalat,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Abbas Edalat,
Paul Bilokon,
2017,
Theor. Comput. Sci..
Abbas Edalat,
Peter John Potts,
A. Edalat,
1997,
MFPS.
Abbas Edalat,
André Lieutier,
A. Lieutier,
1999,
SMA '99.
Abbas Edalat,
Federico Mancinelli,
2013,
The 2013 International Joint Conference on Neural Networks (IJCNN).
Abbas Edalat,
R. Lyndon While,
David W. N. Sharp,
1995,
1995 International Conference on Acoustics, Speech, and Signal Processing.
Abbas Edalat,
A. Edalat,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Abbas Edalat,
Marko Krznaric,
A. Edalat,
1999,
ICALP.
Abbas Edalat,
André Lieutier,
A. Lieutier,
2002,
Theor. Comput. Sci..
Abbas Edalat,
Dirk Pattinson,
2007,
J. Log. Algebraic Methods Program..
Abbas Edalat,
A. Edalat,
1997,
Mathematical Structures in Computer Science.
Abbas Edalat,
Achim Jung,
2004,
Math. Struct. Comput. Sci..
Abbas Edalat,
Dirk Pattinson,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Abbas Edalat,
André Lieutier,
Mohammad Javad Davari,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Abbas Edalat,
Neophytos Polydorou,
A. Edalat,
2021,
EAI Endorsed Trans. Pervasive Health Technol..
Abbas Edalat,
Sara Negri,
A. Edalat,
1998
.
Abbas Edalat,
Dirk Pattinson,
2006
.
Abbas Edalat,
David Cittern,
A. Edalat,
2014,
2014 IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain (CCMB).
Abbas Edalat,
2010
.
Abbas Edalat,
Maurizio Alvarez-Manilla,
A. Edalat,
2000
.
Abbas Edalat,
David Cittern,
A. Edalat,
2017,
Computational Psychiatry.
Abbas Edalat,
2004
.
Abbas Edalat,
Amin Farjudian,
Achim Jung,
2012
.
Abbas Edalat,
E. C. Zeeman,
E. Zeeman,
1992
.
Abbas Edalat,
Dirk Pattinson,
2007
.