2D-Encryption Mode MA Abdel-Gawad, AA Belal Proceedings of SPIE's 47th Annual Meeting, Mathematics of Data/Image Coding …, 2002 | 21* | 2002 |
A Domain-Theoretic Model of Nominally-Typed Object-Oriented Programming MA AbdelGawad Electronic Notes in Theoretical Computer Science, 2013 | 20 | 2013 |
Inheritance IS Subtyping MAG Robert "Corky" Cartwright Nordic Workshop on Programming Theory (NWPT), 2013 | 17 | 2013 |
NOOP: A Mathematical Model of Object-Oriented Programming MA AbdelGawad Rice University, 2011 | 17 | 2011 |
An overview of nominal-typing versus structuraltyping in object-oriented programming (with code examples) AAG Moez Technical report, arXiv. org: 1309.2348 [cs. PL], 2013 | 14 | 2013 |
Domain theory: An introduction R Cartwright, R Parsons, M AbdelGawad arXiv preprint arXiv:1605.05858, 2016 | 11 | 2016 |
NOOP: A Nominal Mathematical Model of Object-Oriented Programming MA AbdelGawad Scholar's Press, 2013 | 10 | 2013 |
Why nominal-typing matters in OOP AAG Moez Preprint available at http://arxiv. org/abs 1606, 2016 | 9 | 2016 |
Towards a Java subtyping operad AAG Moez Proceedings of FTfJP’17, Barcelona, Spain (Extended version preprint …, 2017 | 8 | 2017 |
Towards understanding generics AAG Moez arXiv preprint arXiv:1605.01480, 2016 | 8 | 2016 |
A comparison of NOOP to structural domaintheoretic models of object-oriented programming AAG Moez Preprint available at http://arXiv. org/abs 1603, 2016 | 8 | 2016 |
Novel uses of category theory in modeling OOP AAG Moez Accepted (but unpublished) at The Nordic Workshop on Programming Theory …, 2017 | 7 | 2017 |
In nominally-typed OOP, objects are not mere records and inheritance Is subtyping MA AbdelGawad, R Cartwright Submitted for journal publication, 2016 | 7 | 2016 |
Towards taming Java wildcards and extending Java with interval types MA AbdelGawad arXiv preprint arXiv:1805.10931, 2018 | 6 | 2018 |
Java subtyping as an infinite self-similar partial graph product MA AbdelGawad arXiv preprint arXiv:1805.06893, 2018 | 6 | 2018 |
Towards an accurate mathematical model of generic nominally-typed OOP AAG Moez arXiv preprint arXiv:1610.05114, 2016 | 6 | 2016 |
Domain theory for modeling oop: A summary AAG Moez Technical report, arXiv. org: 1406.7497 [cs. PL], 2014 | 5 | 2014 |
Induction, coinduction, and fixed points in PL type theory MA AbdelGawad arXiv preprint arXiv:1903.05126, 2019 | 4 | 2019 |
Induction, coinduction, and fixed points: Intuitions and tutorial MA AbdelGawad arXiv preprint arXiv:1903.05127, 2019 | 3 | 2019 |
Induction, Coinduction, and Fixed Points: A Concise Comparative Survey MA AbdelGawad arXiv preprint arXiv:1812.10026, 2018 | 2 | 2018 |