Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarNikolaos S. Papaspyrou
Nikolaos Papaspyrou
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
[j15]Eneia Nicolae Todoran, Nikolaos Papaspyrou:
Concurrency Semantics in Continuation-Passing Style. Fundam. Inform. 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) - [c25]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
- [c24]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) - [c23]Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis:
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops 2014: 29-36 - [c22]Georgios Fourtounis, Nikolaos Papaspyrou:
An efficient representation for lazy constructors using 64-bit pointers. FHPC@ICFP 2014: 23-30 - 2013
- [c21]Nikolaos S. Papaspyrou, Stathis Zachos:
Teaching Programming through Problem Solving: The Role of the Programming Language. FedCSIS 2013: 1533-1536 - [c20]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 - [c19]Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis:
The Generalized Intensional Transformation for Implementing Lazy Functional Languages. PADL 2013: 157-172 - [c18]Georgios Fourtounis, Nikolaos S. Papaspyrou:
Supporting Separate Compilation in a Defunctionalizing Compiler. SLATE 2013: 39-49 - 2012
- [c17]Nikolaos Papaspyrou, Konstantinos Sagonas:
On preserving term sharing in the Erlang virtual machine. Erlang Workshop 2012: 11-20 - [c16]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 - [c15]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 - [c14]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
- [c13]Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou:
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. FedCSIS 2011: 833-840 - [c12]Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou:
A Type and Effect System for Implementing Functional Arrays with Destructive Updates. FedCSIS 2011: 879-886 - [c11]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 - [c10]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28 - 2010
- [c9]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26 - [c8]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
- [c7]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Concurrent Language with a Uniform Treatment of Regions and Locks. PLACES 2009: 79-93 - 2008
- [j10]Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou:
Quantum Data and Control Made Easier. Electr. Notes Theor. Comput. Sci. 210: 85-105 (2008) - [j9]Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. Mathematics in Computer Science 2(1): 123-141 (2008) - 2005
- [j8]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
- [j7]Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou:
Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model. Educational Technology & Society 7(4): 129-142 (2004) - [j6]Nikolaos Papaspyrou, Ioannis T. Kassios:
GLU embedded in C++: a marriage between multidimensional and object-oriented programming. Softw., Pract. Exper. 34(7): 609-630 (2004) - [c6]Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou:
Automating Standards-Based Courseware Development Using UML. ICWE 2004: 599-600 - 2003
- [j5]Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou:
Modeling learning technology systems as business systems. Software and System Modeling 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 - 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. Journal of Intelligent and Robotic Systems 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. UCS 4(3): 259-272 (1998) - 1996
- [j1]Nikolaos Papaspyrou:
A Framework for Programming Denotational Semantics in C++. 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
maintained by 
at 
at 
last updated on 2019-01-11 22:20 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint