Search the dblp DataBase

Publications of Author

1. Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis
   A Logic-Based Framework for Reasoning Support in Software Evolution. [Citation Graph (0, 0)][DBLP]
   CAiSE, 1996, pp:44-59 [Conf]
   
2. Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou
   Automating Standards-Based Courseware Development Using UML. [Citation Graph (0, 0)][DBLP]
   ICWE, 2004, pp:599-600 [Conf]
   
3. Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
   A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:217-232 [Conf]
   
4. Eneia Todoran, Nikolaos Papaspyrou
   Continuations for parallel logic programming. [Citation Graph (0, 0)][DBLP]
   PPDP, 2000, pp:257-267 [Conf]
   
5. Anastasios Koutoumanos, Nikolaos Papaspyrou, Symeon Retalis, Emmanuel Skordalakis
   Towards a novel networked learning environment. [Citation Graph (0, 0)][DBLP]
   WebNet, 1996, pp:- [Conf]
   
6. Nikolaos Papaspyrou, Anastasios Koutoumanos, Hermann A. Maurer, Emmanuel Skordalakis
   An Ongoing experiment in ODL using new technologies. [Citation Graph (0, 0)][DBLP]
   WebNet, 1996, pp:- [Conf]
   
7. Eneia Todoran, Nikolaos Papaspyrou, Florian Boian, Cosmina Ivan
   Continuation Semantics for Concurrency and Concurrent Languages Prototyping. [Citation Graph (0, 0)][DBLP]
   Sci. Ann. Cuza Univ., 2004, v:15, n:, pp:22-37 [Journal]
   
8. Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou
   Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model. [Citation Graph (0, 0)][DBLP]
   Educational Technology & Society, 2004, v:7, n:4, pp:129-142 [Journal]
   
9. Nikolaos Papaspyrou, Dragan Macos
   A study of evaluation order semantics in expressions with side effects. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2000, v:10, n:3, pp:227-244 [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1998, v:4, n:3, pp:259-272 [Journal]
    
11. Nikolaos Papaspyrou
    A Framework for Programming Denotational Semantics in C++. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1996, v:31, n:8, pp:16-25 [Journal]
    
12. Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou
    Modeling learning technology systems as business systems. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2003, v:2, n:2, pp:120-133 [Journal]
    
13. Nikolaos Papaspyrou, Ioannis T. Kassios
    GLU embedded in C++: a marriage between multidimensional and object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:7, pp:609-630 [Journal]
    
14. Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:1-45 [Journal]
    
15. 
    Race-free and memory-safe multithreading: design and implementation in cyclone. [Citation Graph (, )][DBLP]
    
    
16. 
    A Concurrent Language with a Uniform Treatment of Regions and Locks [Citation Graph (, )][DBLP]