A Logic-Based Framework for Reasoning Support in Software Evolution. - Vassilios C. Vescoukis; Nikolaos Papaspyrou; Emmanuel Skordalakis (CAiSE, 1996)

Towards a novel networked learning environment. - Anastasios Koutoumanos; Nikolaos Papaspyrou; Symeon Retalis; Emmanuel Skordalakis (WebNet, 1996)

An Ongoing experiment in ODL using new technologies. - Nikolaos Papaspyrou; Anastasios Koutoumanos; Hermann A. Maurer; Emmanuel Skordalakis (WebNet, 1996)

A Framework for Programming Denotational Semantics in C++. - Nikolaos Papaspyrou (ACM SIGPLAN Notices, 1996)

Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study. - Vassilis Makrakis; Symeon Retalis; Anastasios Koutoumanos; Nikolaos Papaspyrou; Manolis Skordalakis (J. Univers. Comput. Sci., 1998)

A Model of Collaborating Agents for Content-Based Electronic Document Filtering. - Nikolaos Papaspyrou; Cleo Sgouropoulou; Emmanuel Skordalakis (J. Intell. Robotic Syst., 1999)

Continuations for parallel logic programming. - Eneia Todoran; Nikolaos Papaspyrou (PPDP, 2000)

A study of evaluation order semantics in expressions with side effects. - Nikolaos Papaspyrou; Dragan Macos (J. Funct. Program., 2000)

Denotational semantics of ANSI C. - Nikolaos S. Papaspyrou (Comput. Stand. Interfaces, 2001)

Modeling learning technology systems as business systems. - Paris Avgeriou; Symeon Retalis; Nikolaos Papaspyrou (Softw. Syst. Model., 2003)

Automating Standards-Based Courseware Development Using UML. - Andreas Papasalouros; Symeon Retalis; Nikolaos Papaspyrou (ICWE, 2004)

Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model. - Andreas Papasalouros; Symeon Retalis; Nikolaos Papaspyrou (J. Educ. Technol. Soc., 2004)

GLU embedded in C++: a marriage between multidimensional and object-oriented programming. - Nikolaos Papaspyrou; Ioannis T. Kassios (Softw. Pract. Exp., 2004)

A type system for certified binaries. - Zhong Shao 001; Valery Trifonov; Bratin Saha; Nikolaos Papaspyrou (ACM Trans. Program. Lang. Syst., 2005)

Quantum Data and Control Made Easier. - Michael Lampis; Kyriakos G. Ginis; Michalis A. Papakyriakou; Nikolaos S. Papaspyrou (QPL, 2006)

Efficient Intensional Implementation for Lazy Functional Languages. - Angelos Charalambidis; Athanasios Grivas; Nikolaos S. Papaspyrou; Panos Rondogiannis (Math. Comput. Sci., 2008)

A Concurrent Language with a Uniform Treatment of Regions and Locks - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (PLACES, 2009)

Race-free and memory-safe multithreading: design and implementation in cyclone. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (TLDI, 2010)

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (PLACES, 2010)

A Type and Effect System for Implementing Functional Arrays with Destructive Updates. - Georgios Korfiatis; Michalis A. Papakyriakou; Nikolaos Papaspyrou (FedCSIS, 2011)

Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. - Niki Vazou; Michalis A. Papakyriakou; Nikolaos Papaspyrou (FedCSIS, 2011)

Dynamic deadlock avoidance in systems code using statically inferred effects. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas; Panagiotis Vekris (PLOS@SOSP, 2011)

A type and effect system for deadlock avoidance in low-level languages. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (TLDI, 2011)

A scalability benchmark suite for Erlang/OTP. - Stavros Aronis; Nikolaos Papaspyrou; Katerina Roukounaki; Konstantinos Sagonas; Yiannis Tsiouris; Ioannis E. Venetis (Erlang Workshop, 2012)

On preserving term sharing in the Erlang virtual machine. - Nikolaos Papaspyrou; Konstantinos Sagonas (Erlang Workshop, 2012)

Test Set Embedding into Low-Power BIST Sequences Using Maximum Bipartite Matching. - Ioannis Voyiatzis; Kyriakos Axiotis; Nikolaos S. Papaspyrou; Hera Antonopoulou; Costas Efstathiou (Panhellenic Conference on Informatics, 2012)

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). - Olivier Boudeville; Francesco Cesarini; Natalia Chechina; Kenneth Lundin; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Phil Trinder; Ulf T. Wiger (Trends in Functional Programming, 2012)

Teaching Programming through Problem Solving: The Role of the Programming Language. - Nikolaos S. Papaspyrou; Stathis Zachos (FedCSIS, 2013)

Compilation to Quantum Circuits for a Language with Quantum Data and Control. - Yannis Rouselakis; Nikolaos S. Papaspyrou; Yiannis Tsiouris; Eneia Todoran (FedCSIS, 2013)

The Generalized Intensional Transformation for Implementing Lazy Functional Languages. - Georgios Fourtounis 001; Nikolaos Papaspyrou; Panos Rondogiannis (PADL, 2013)

Supporting Separate Compilation in a Defunctionalizing Compiler. - Georgios Fourtounis 001; Nikolaos S. Papaspyrou (SLATE, 2013)

Tagged Dataflow: a Formal Model for Iterative Map-Reduce. - Angelos Charalambidis; Nikolaos Papaspyrou; Panos Rondogiannis (EDBT/ICDT Workshops, 2014)

An efficient representation for lazy constructors using 64-bit pointers. - Georgios Fourtounis 001; Nikolaos Papaspyrou (FHPC@ICFP, 2014)

Modular polymorphic defunctionalization. - Georgios Fourtounis 001; Nikolaos S. Papaspyrou; Panagiotis Theofilopoulos (Comput. Sci. Inf. Syst., 2014)

Static safety guarantees for a low-level multithreaded language with regions. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (Sci. Comput. Program., 2014)

Stathis Zachos at 70! - Eleni Bakali; Panagiotis Cheilaris; Dimitris Fotakis 001; Martin Fürer; Costas D. Koutras; Euripides Markou; Christos Nomikos; Aris Pagourtzis; Christos H. Papadimitriou; Nikolaos S. Papaspyrou; Katerina Potika (CIAC, 2017)

Concurrency Semantics in Continuation-Passing Style. - Eneia Nicolae Todoran; Nikolaos Papaspyrou (Fundam. Informaticae, 2017)

Concolic testing for functional languages. - Aggelos Giantsios; Nikolaos Papaspyrou; Konstantinos Sagonas (Sci. Comput. Program., 2017)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. - Phil Trinder; Natalia Chechina; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Stephen Adams 002; Stavros Aronis; Robert Baker 001; Eva Bihari; Olivier Boudeville; Francesco Cesarini; Maurizio Di Stefano; et al. (ACM Trans. Program. Lang. Syst., 2017)

Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. - Lykourgos Mastorou; Nikolaos Papaspyrou; Niki Vazou (Haskell, 2022)