Nikolaos Papaspyrou

Cited by

	All	Since 2019
Citations	905	167
h-index	17	7
i10-index	28	5

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 7 8 10 20 25 26 33 37 38 35 39 30 26 48 39 43 68 45 42 48 48 35 33 27 24 29 19

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
Symeon RetalisProfessor University of Piraeus, Department of Digital SystemsVerified email at unipi.gr
Bratin SahaAmazonVerified email at amazon.com
Zhong ShaoYale UniversityVerified email at yale.edu
Andreas PapasalourosUniversity of the AegeanVerified email at AEGEAN.GR
Panos RondogiannisProfessor, Department of Informatics and Telecommunications, National and Kapodistrian UniversityVerified email at di.uoa.gr
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
Aggelos GiantsiosPhD Student, National Technical University of AthensVerified email at softlab.ntua.gr
Paris AvgeriouFull Professor of Software Engineering, University of GroningenVerified email at rug.nl
Phil TrinderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Francesco CesariniErlang SolutionsVerified email at erlang-solutions.com
Natalia ChechinaDeveloper at Erlang Solutions and Honorary Research Fellow at Glasgow UniversityVerified email at glasgow.ac.uk
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, BudapestVerified email at kent.ac.uk
Ioannis E. VenetisDepartment of Informatics, University of PiraeusVerified email at unipi.gr
Hermann MaurerProfessor for Computer Science, Graz University of TechnologyVerified email at iicm.edu
Cleo SgouropoulouUniversity of West AtticaVerified email at uniwa.gr
Angelos CharalambidisDepartment of Informatics and Telematics, Harokopio UniversityVerified email at hua.gr
Petros GeorgiakakisPhdVerified email at softlab.ntua.gr
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu
Ulf WigerWiger Pilotti Unlimited ABVerified email at wiger.net

Nikolaos Papaspyrou

National Technical University of Athens

Verified email at softlab.ntua.gr - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A type system for certified binaries Z Shao, B Saha, V Trifonov, N Papaspyrou Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	96	2002
A formal semantics for the C programming language NS Papaspyrou Doctoral Disseration. National Technical University of Athens. Athens …, 1998	81	1998
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	51	2012
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	47	2005
Concolic testing for functional languages A Giantsios, N Papaspyrou, K Sagonas Proceedings of the 17th International Symposium on Principles and Practice …, 2015	43	2015
A resumption monad transformer and its applications in the semantics of concurrency NS Papaspyrou Proceedings of the 3rd Panhellenic Logic Symposium, 17-22, 2001	42	2001
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	35	2005
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	32	2011
Semantic description of educational adaptive hypermedia based on a conceptual model A Papasalouros, S Retalis, N Papaspyrou Journal of Educational Technology & Society 7 (4), 129-142, 2004	30	2004
Denotational semantics of ANSI C NS Papaspyrou Computer Standards & Interfaces 23 (3), 169-185, 2001	29	2001
Continuations for parallel logic programming E Todoran, NS Papaspyrou Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000	26	2000
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	22	1998
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	19	2011
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software: (Project Paper) O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ... Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013	18	2013
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	18	2000
Methods and systems for transportation of objects and people through collaboration networks of people connected via trust relationships AL Prodromidis, L Mousselimis, A Dailianas, N Papaspyrou US Patent App. 14/905,009, 2016	17	2016
Continuations for prototyping concurrent languages EN Todoran, N Papaspyrou Technical Report CSD-SWTR-1-06, National Technical University of Athens …, 2006	17	2006
Race-free and memory-safe multithreading: Design and implementation in Cyclone P Gerakios, N Papaspyrou, K Sagonas Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010	16	2010
Modeling learning technology systems as business systems P Avgeriou, S Retalis, N Papaspyrou Software & Systems Modeling 2, 120-133, 2003	16	2003
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors