Nikolaos Papaspyrou

Cited by

	All	Since 2018
Citations	873	190
h-index	17	8
i10-index	28	5

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 9 9 9 19 24 25 32 37 40 37 39 30 24 45 38 43 67 46 42 47 50 34 35 24 25 22

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, Budapest; Technical Advisor, SmartVerified email at kent.ac.uk
Hermann MaurerProfessor for Computer Science, Graz University of TechnologyVerified email at iicm.edu
Ioannis E. VenetisDepartment of Informatics, University of PiraeusVerified email at unipi.gr
Cleo SgouropoulouUniversity of West AtticaVerified email at uniwa.gr
Petros GeorgiakakisPhdVerified email at softlab.ntua.gr
Angelos CharalambidisDepartment of Informatics, University of AthensVerified email at di.uoa.gr
Ulf WigerWiger Pilotti Unlimited ABVerified email at wiger.net
Niki VazouIMDEA Software InstituteVerified email at cs.umd.edu

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	95	2002
A formal semantics for the C programming language NS Papaspyrou Doctoral Disseration. National Technical University of Athens. Athens …, 1998	82	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	47	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
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
Concolic testing for functional languages A Giantsios, N Papaspyrou, K Sagonas Proceedings of the 17th International Symposium on Principles and Practice …, 2015	38	2015
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	34	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	29	2004
Denotational semantics of ANSI C NS Papaspyrou Computer Standards & Interfaces 23 (3), 169-185, 2001	26	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	20	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
Continuations for prototyping concurrent languages EN Todoran, N Papaspyrou Technical Report CSD-SWTR-1-06, National Technical University of Athens …, 2006	17	2006
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	17	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	17	1996
Modeling learning technology systems as business systems P Avgeriou, S Retalis, N Papaspyrou Software & Systems Modeling 2, 120-133, 2003	15	2003
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	14	2016
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	14	2010

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