| Method and system for implementing graphically editable parameterized cells A Ginetti, TA Paone, G Tarroux, J Newton, PIC Jean-Noel US Patent 8,347,261, 2013 | 28 | 2013 |
| A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams J Newton, D Verna ACM Transactions on Computational Logic (TOCL) 20 (1), 1-36, 2019 | 20 | 2019 |
| Method and system for implementing graphically editable parameterized cells A Ginetti, TA Paone, G Tarroux, J Newton, PIC Jean-Noel US Patent 8,527,934, 2013 | 19 | 2013 |
| Encapsulating parameterized cells (pcells) JE Newton, C Scheiba US Patent 7,293,247, 2007 | 15 | 2007 |
| Tissue Doppler indices of diastolic function in critically ill patients and association with mortality–a systematic review D Garry, J Newton, C Colebourn Journal of the Intensive Care Society 17 (1), 51-62, 2016 | 10 | 2016 |
| Programmatic manipulation of Common Lisp type specifiers JE Newton, DE Verna, M Colange European Lisp Symposium 2017, 2017 | 9 | 2017 |
| Type-Checking of Heterogeneous Sequences in Common Lisp JE Newton, AE Demaille, DE Verna European Lisp Symposium 2016, 2016 | 9 | 2016 |
| Custom specializers in object-oriented Lisp J Newton, C Rhodes The Journal of Universal Computer Science 14 (20), 3370-3388, 2008 | 9 | 2008 |
| Representing and computing with types in dynamically typed languages J Newton Sorbonne Université, 2018 | 7 | 2018 |
| Strategies for typecase optimization JE Newton, DE Verna European Lisp Symposium, 2018 | 5 | 2018 |
| Analysis of algorithms calculating the maximal disjoint decomposition of a set J Newton Technical report, EPITA/LRDE, 2017 | 3 | 2017 |
| Recognizing heterogeneous sequences by rational type expression JE Newton, D Verna Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta …, 2018 | 2 | 2018 |
| Acute and critical care echocardiography C Colebourn, J Newton Oxford Clinical Imaging Guides, 2017 | 2 | 2017 |
| A Portable, Simple, Embeddable Type System J Newton, A Pommellet ELS 2021, the 14th European Lisp Symposium, 11--20, 2021 | 1 | 2021 |
| Implementing Baker's SUBTYPEP Decision Procedure. L Valais, JE Newton, D Verna ELS, 12-19, 2019 | 1 | 2019 |
| An Elegant and Fast Algorithm for Partitioning Types JE Newton | | 2023 |
| Comparing Use-Cases of Tree-Fold vs Fold-Left J Newton, A Klebinger | | 2022 |
| Performance Comparison of Several Folding Strategies J Newton Trends in Functional Programming, 2020 | | 2020 |
| Implementing Baker's\textttSUBTYPEP decision procedure L Valais, J Newton, DE Verna ELS 2019, the 12th European Lisp Symposium, 2019 | | 2019 |
| Finite Automata Theory Based Optimization of Conditional Variable Binding J Newton, DE Verna ELS 2019, the 12th European Lisp Symposium, 2019 | | 2019 |
