| A type system for certified binaries Z Shao, B Saha, V Trifonov, N Papaspyrou ACM SIGPLAN Notices 37 (1), 217-232, 2002 | 85 | 2002 |
| A formal semantics for the C programming language NS Papaspyrou Doctoral Disseration. National Technical University of Athens. Athens …, 1998 | 71 | 1998 |
| A type system for certified binaries Z Shao, V Trifonov, B Saha, N Papaspyrou ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (1), 1-45, 2005 | 40 | 2005 |
| A scalability benchmark suite for Erlang/OTP S Aronis, N Papaspyrou, K Roukounaki, K Sagonas, Y Tsiouris, IE Venetis Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop, 33-42, 2012 | 35 | 2012 |
| A resumption monad transformer and its applications in the semantics of concurrency NS Papaspyrou Proceedings of the 3rd Panhellenic Logic Symposium, 17-22, 2001 | 35 | 2001 |
| Semantic description of educational adaptive hypermedia based on a conceptual model A Papasalouros, S Retalis, N Papaspyrou Journal of Educational Technology & Society 7 (4), 2004 | 31 | 2004 |
| A type and effect system for deadlock avoidance in low-level languages P Gerakios, N Papaspyrou, K Sagonas Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and …, 2011 | 25 | 2011 |
| Continuations for parallel logic programming E Todoran, NS Papaspyrou Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000 | 24 | 2000 |
| Evaluating the usability of web-based learning management systems P Georgiakakis, A Papasalouros, S Retalis, K Siassiakos, N Papaspyrou THEMES in Education 6 (1), 45-59, 2005 | 22 | 2005 |
| Denotational semantics of ANSI C NS Papaspyrou Computer Standards & Interfaces 23 (3), 169-185, 2001 | 20 | 2001 |
| RELEASE: a high-level paradigm for reliable large-scale server software O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ... International Symposium on Trends in Functional Programming, 263-278, 2012 | 19 | 2012 |
| A case study of an enriched classroom model based on the World Wide Web S Retalis, V Makrakis, N Papaspyrou, M Skordalakis Active Learning, 15-19, 1998 | 19 | 1998 |
| A study of evaluation order semantics in expressions with side effects NS Papaspyrou, D MAĆO Journal of Functional Programming 10 (3), 227-244, 2000 | 16 | 2000 |
| Towards a Novel Networked Learning Environment. A Koutoumanos, N Papaspyrou, S Retalis, H Maurer, E Skordalakis Web site: http://aace. virginia. edu/aace/conf/webnet/html/124/124. htm, 1996 | 16 | 1996 |
| Web-based teaching in software engineering N Papaspyrou, S Retalis, S Efremidis, G Barlas, E Skordalakis Advances in engineering software 30 (12), 901-906, 1999 | 15 | 1999 |
| Concolic testing for functional languages A Giantsios, N Papaspyrou, K Sagonas Science of Computer Programming 147, 109-134, 2017 | 14 | 2017 |
| Dynamic deadlock avoidance in systems code using statically inferred effects P Gerakios, N Papaspyrou, K Sagonas, P Vekris Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011 | 14 | 2011 |
| Continuations for prototyping concurrent languages EN Todoran, N Papaspyrou Technical Report CSD-SWTR-1-06, National Technical University of Athens …, 2006 | 14 | 2006 |
| Modeling learning technology systems as business systems P Avgeriou, S Retalis, N Papaspyrou Software & Systems Modeling 2 (2), 120-133, 2003 | 13 | 2003 |
| Evaluating the effectiveness of an ODL hypermedia system and courseware at the National Technical University of Athens: A case study V Makrakis, S Retalis, A Koutoumanos, N Papaspyrou, M Skordalakis Journal of Universal Computer Science 4 (3), 259-272, 1998 | 12 | 1998 |
