| Execution time of λ-terms via denotational semantics and intersection types D De Carvalho Mathematical Structures in Computer Science 28 (7), 1169-1203, 2018 | 186 | 2018 |
| Execution time of λ-terms via denotational semantics and intersection types D de Carvalho Mathematical Structures in Computer Science 28 (7), 1169-1203, 2018 | 186 | 2018 |
| Sémantiques de la logique linéaire et temps de calcul D de Carvalho Université Aix-Marseille II, 2007 | 122 | 2007 |
| A semantic measure of the execution time in linear logic D De Carvalho, M Pagani, LT de Falco Theoretical Computer Science 412 (20), 1884-1902, 2011 | 89 | 2011 |
| A semantic account of strong normalization in linear logic D de Carvalho, LT de Falco Information and Computation 248, 104-129, 2016 | 33 | 2016 |
| The relational model is injective for multiplicative exponential linear logic D de Carvalho arXiv preprint arXiv:1502.02404, 2015 | 33 | 2015 |
| The relational model is injective for multiplicative exponential linear logic (without weakenings) D de Carvalho, LT de Falco Annals of Pure and Applied Logic 163 (9), 1210-1236, 2012 | 30 | 2012 |
| Intersection types for light affine lambda calculus D de Carvalho Electronic Notes in Theoretical Computer Science 136, 133-152, 2005 | 17 | 2005 |
| Teaching programming and design-by-contract D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... The Challenges of the Digital Transformation in Education: Proceedings of …, 2020 | 14 | 2020 |
| Taylor expansion in linear logic is invertible D De Carvalho Logical Methods in Computer Science 14, 2018 | 11 | 2018 |
| An implicit characterization of the polynomial-time decidable sets by cons-free rewriting D de Carvalho, JG Simonsen Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA …, 2014 | 11 | 2014 |
| Reflections on teaching formal methods for software development in higher education M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown Frontiers in Software Engineering Education: First International Workshop …, 2020 | 4 | 2020 |
| Towards a Broader Acceptance of Formal Verification Tools: The Role of Education M Khazeev, M Mazzara, H Aslam, D de Carvalho The Impact of the 4th Industrial Revolution on Engineering Education …, 2020 | 4 | 2020 |
| A note on weak algebraic theories D De Carvalho INRIA, 2008 | 4 | 2008 |
| Towards a broader acceptance of formal verification tools: the role of education M Khazeev, M Mazzara, D De Carvalho, H Aslam arXiv preprint arXiv:1906.01430, 2019 | 3 | 2019 |
| Execution time of lambda-terms via non-uniform semantics and intersection types D de Carvalho Preprint IML, 2006 | 3 | 2006 |
| Towards static typechecking for jolie B Mingela, N Troshkov, M Mazzara, L Safina, A Tchitchigin, ... arXiv preprint arXiv:1702.07146, 2017 | 2 | 2017 |
| Code Review in the Classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara arXiv preprint arXiv:2004.08774, 2020 | 1 | 2020 |
| Towards code review guideline in a classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara Frontiers in Software Engineering Education: First International Workshop …, 2020 | 1 | 2020 |
| Jolie Static Type Checker: a prototype D de Carvalho, M Mazzara, B Mingela, L Safina, A Tchitchigin, ... arXiv preprint arXiv:1702.07146, 2017 | 1 | 2017 |
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringVerified email at innopolis.ru
