default search action
Nikolaos S. Papaspyrou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c27]Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou:
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Haskell 2022: 1-12
2010 – 2019
- 2017
- [j15]Eneia Nicolae Todoran, Nikolaos Papaspyrou:
Concurrency Semantics in Continuation-Passing Style. Fundam. Informaticae 153(1-2): 125-146 (2017) - [j14]Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. Sci. Comput. Program. 147: 109-134 (2017) - [j13]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - [c26]Eleni Bakali, Panagiotis Cheilaris, Dimitris Fotakis, Martin Fürer, Costas D. Koutras, Euripides Markou, Christos Nomikos, Aris Pagourtzis, Christos H. Papadimitriou, Nikolaos S. Papaspyrou, Katerina Potika:
Stathis Zachos at 70! CIAC 2017: 469-484 - [i1]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2015
- [c25]Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. PPDP 2015: 137-148 - 2014
- [j12]Georgios Fourtounis, Nikolaos S. Papaspyrou, Panagiotis Theofilopoulos:
Modular polymorphic defunctionalization. Comput. Sci. Inf. Syst. 11(4): 1417-1434 (2014) - [j11]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. 80: 223-263 (2014) - [c24]Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis:
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops 2014: 29-36 - [c23]Georgios Fourtounis, Nikolaos Papaspyrou:
An efficient representation for lazy constructors using 64-bit pointers. FHPC@ICFP 2014: 23-30 - 2013
- [c22]Nikolaos S. Papaspyrou, Stathis Zachos:
Teaching Programming through Problem Solving: The Role of the Programming Language. FedCSIS 2013: 1533-1536 - [c21]Yannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia Todoran:
Compilation to Quantum Circuits for a Language with Quantum Data and Control. FedCSIS 2013: 1537-1544 - [c20]Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis:
The Generalized Intensional Transformation for Implementing Lazy Functional Languages. PADL 2013: 157-172 - [c19]Georgios Fourtounis, Nikolaos S. Papaspyrou:
Supporting Separate Compilation in a Defunctionalizing Compiler. SLATE 2013: 39-49 - 2012
- [c18]Nikolaos Papaspyrou, Konstantinos Sagonas:
On preserving term sharing in the Erlang virtual machine. Erlang Workshop 2012: 11-20 - [c17]Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis:
A scalability benchmark suite for Erlang/OTP. Erlang Workshop 2012: 33-42 - [c16]Ioannis Voyiatzis, Kyriakos Axiotis, Nikolaos S. Papaspyrou, Hera Antonopoulou, Costas Efstathiou:
Test Set Embedding into Low-Power BIST Sequences Using Maximum Bipartite Matching. Panhellenic Conference on Informatics 2012: 74-79 - [c15]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - 2011
- [c14]Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou:
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. FedCSIS 2011: 833-840 - [c13]Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou:
A Type and Effect System for Implementing Functional Arrays with Destructive Updates. FedCSIS 2011: 879-886 - [c12]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris:
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP 2011: 5:1-5:5 - [c11]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28 - 2010
- [c10]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26 - [c9]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. PLACES 2010: 44-58
2000 – 2009
- 2009
- [c8]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Concurrent Language with a Uniform Treatment of Regions and Locks. PLACES 2009: 79-93 - 2008
- [j10]Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. Math. Comput. Sci. 2(1): 123-141 (2008) - 2006
- [c7]Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou:
Quantum Data and Control Made Easier. QPL 2006: 85-105 - 2005
- [j9]Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou:
A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005) - 2004
- [j8]Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou:
Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model. J. Educ. Technol. Soc. 7(4): 129-142 (2004) - [j7]Nikolaos Papaspyrou, Ioannis T. Kassios:
GLU embedded in C++: a marriage between multidimensional and object-oriented programming. Softw. Pract. Exp. 34(7): 609-630 (2004) - [c6]Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou:
Automating Standards-Based Courseware Development Using UML. ICWE 2004: 599-600 - 2003
- [j6]Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou:
Modeling learning technology systems as business systems. Softw. Syst. Model. 2(2): 120-133 (2003) - 2002
- [c5]Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou:
A type system for certified binaries. POPL 2002: 217-232 - 2001
- [j5]Nikolaos S. Papaspyrou:
Denotational semantics of ANSI C. Comput. Stand. Interfaces 23(3): 169-185 (2001) - 2000
- [j4]Nikolaos Papaspyrou, Dragan Macos:
A study of evaluation order semantics in expressions with side effects. J. Funct. Program. 10(3): 227-244 (2000) - [c4]Eneia Todoran, Nikolaos Papaspyrou:
Continuations for parallel logic programming. PPDP 2000: 257-267
1990 – 1999
- 1999
- [j3]Nikolaos Papaspyrou, Cleo Sgouropoulou, Emmanuel Skordalakis:
A Model of Collaborating Agents for Content-Based Electronic Document Filtering. J. Intell. Robotic Syst. 26(2): 199-213 (1999) - 1998
- [j2]Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikolaos Papaspyrou, Manolis Skordalakis:
Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study. J. Univers. Comput. Sci. 4(3): 259-272 (1998) - 1996
- [j1]Nikolaos Papaspyrou:
A Framework for Programming Denotational Semantics in C++. ACM SIGPLAN Notices 31(8): 16-25 (1996) - [c3]Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis:
A Logic-Based Framework for Reasoning Support in Software Evolution. CAiSE 1996: 44-59 - [c2]Anastasios Koutoumanos, Nikolaos Papaspyrou, Symeon Retalis, Emmanuel Skordalakis:
Towards a novel networked learning environment. WebNet 1996 - [c1]Nikolaos Papaspyrou, Anastasios Koutoumanos, Hermann A. Maurer, Emmanuel Skordalakis:
An Ongoing experiment in ODL using new technologies. WebNet 1996
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint