Nikolaos S. Papaspyrou
Publications

BibTeX

Dissertations  |  in Journals and Periodicals
in Collections  |  in Conference Proceedings
Manuscripts  |  Technical Reports
Other Publications  |  Copyright Notice

 

Dissertations

Nikolaos S. Papaspyrou, A Formal Semantics for the C Programming Language, Doctoral Dissertation, National Technical University of Athens, Department of Electrical and Computer Engineering, Division of Computer Science, February 1998. url, pdf.

Nikolaos S. Papaspyrou, "A Proof Editor for Propositional and Predicate Calculus", Master's thesis, Cornell University, Department of Computer Science, January 1995. pdf.

Nikolaos S. Papaspyrou, "ARGUS: A Simulation Program Generator", Diploma Project, National Technical University of Athens, Department of Electrical and Computer Engineering, Division of Computer Science, July 1993.  (in Greek )

 

In Journals and Periodicals

Zhong Shao, Valery Trifonov, Bratin Saha and Nikolaos Papaspyrou, "A Type System for Certified Binaries", ACM Transactions on Programming Languages and Systems, vol. 27, no. 1, pp. 1–45, January 2005. doi: 10.1145/1053468.1053469, pdf.

Petros Georgiakakis, Andreas Papasalouros, Symeon Retalis, Kostas Siassiakos and Nikolaos Papaspyrou, "Evaluating the Usability of Web-Based Learning Management Systems", THEMES in Education, vol. 6, no. 1, pp. 45–59, 2005. Special issue: “ICT in Diaspora”, P. Zaphiris, N. Lambropoulos and G. Zacharia, editors. pdf.

Eneia Todoran, Florian M. Boian, Cornelia Melenti and Nikolaos Papaspyrou, "Continuations for Remote Objects Control", Studia Universitatis Babes-Bolyai, Informatica, vol. 50, no. 1, pp. 21–37, 2005. url, pdf.

Eneia Todoran, Paulina Mitrea and Nikolaos Papaspyrou, "Comparative Semantics for the Basic Andorra Model", Automation, Computers, Applied Mathematics, (Scientific Journal of the Faculty of Automation and Computer Science, Technical University of Cluj-Napoca, Romania), vol. 14, no. 1, pp. 27–41, 2005. url, pdf.

Andreas Papasalouros, Symeon Retalis and Nikolaos Papaspyrou, "Semantic Description of Educational Adaptive Hypermedia Based on a Conceptual Model", Educational Technology and Society, vol. 7, no. 4, pp. 129–142, October 2004. url, pdf.

Nikolaos S. Papaspyrou and Ioannis T. Kassios, "GLU# Embedded in C++: A Marriage between Multidimensional and Object-Oriented Programming", Software Practice and Experience, vol. 34, no. 7, pp. 609–630, June 2004. doi: 10.1002/spe.582, pdf.

Eneia Todoran, Nikolaos Papaspyrou, Florian Boian and Cosmina Ivan, "Continuation Semantics for Concurrency and Concurrent Languages Prototyping", Scientific Annals of Cuza University, vol. 15, pp. 22–37, 2004. url, pdf.

Paris Avgeriou, Symeon Retalis and Nikolaos Papaspyrou, "Modeling Learning Technology Systems as Business Systems", Software and Systems Modeling, vol. 2, no. 2, pp. 120–133, July 2003. doi: 10.1007/s10270-003-0022-1, pdf.

Eneia Todoran and Nikolaos Papaspyrou, "CSC in Concurrent Languages Prototyping", Automation, Computers, Applied Mathematics, (Scientific Journal of the Faculty of Automation and Computer Science, Technical University of Cluj-Napoca, Romania), vol. 2, no. 1, pp. 35–46, 2003. url, pdf.

Nikolaos S. Papaspyrou, "Denotational Semantics of ANSI C", Computer Standards and Interfaces, vol. 23, no. 3, pp. 169–185, July 2001. doi: 10.1016/S0920-5489(01)00059-9, pdf.

Nikolaos S. Papaspyrou and Dragan Macos, "A Study of Evaluation Order Semantics in Expressions with Side Effects", Journal of Functional Programming, vol. 10, no. 3, pp. 120–133, May 2000. doi: 10.1017/S095679680000366X, pdf.

Nikolaos Papaspyrou, Symeon Retalis, Sofoklis Efremidis, Gerasimos Barlas and Emmanuel Skordalakis, "Web-based Teaching in Software Engineering", Advances in Engineering Software, vol. 30, no. 12, pp. 901–906, December 1999. doi: 10.1016/S0965-9978(99)00016-2, pdf.

Nikolaos S. Papaspyrou, Cleo E. Sgouropoulou and Emmanuel S. Skordalakis, "A Model of Collaborating Agents for Content-Based Electronic Document Filtering", Journal of Intelligent and Robotic Systems, vol. 26, no. 2, pp. 199–213, October 1999. doi: 10.1023/A:1008155903288, pdf.

Symeon Retalis, Vassilis Makrakis, Nikos Papaspyrou and Manolis Skordalakis, "A Case Study of an Enriched Classroom Model Based on the World Wide Web", Active Learning, no. 8, pp. 15–19, July 1998. pdf.

Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikos Papaspyrou and Manolis Skordalakis, "Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study", Journal of Universal Computer Science, vol. 4, no. 3, pp. 259–272, March 1998. url, pdf.

Nikolaos S. Papaspyrou, "A Framework for Programming Denotational Semantics in C++", ACM SIGPLAN Notices, vol. 31, no. 8, pp. 16–25, August 1996. doi: 10.1145/242903.242913, pdf.

 

In Collections

Zhong Shao, Valery Trifonov, Bratin Saha and Nikolaos Papaspyrou, "A Type System for Certified Binaries", in Jaynarayan H. Lala, editor, Foundations of Intrusion Tolerant Systems, pp. 60–85, ISBN: 0-7695-2057-X, IEEE Computer Society Press, Los Alamitos, CA, 2003. doi: 10.1109/FITS.2003.1264928, pdf.

Symeon Retalis, Paris Avgeriou and Nikolaos Papaspyrou, "Network-Based Courseware Design", in A. Lionarakis, editor, Positions and Issues in Distance Learning, pp. 153–187, ISBN: 960-7860-20-9, Propompos, 2001. pdf.  (in Greek )

Ioannis Drositis, Nectarios Koziris, Nikolaos Papaspyrou and Panayotis Tsanakas, "A Systolic Approach to Loop Partitioning and Mapping into Fixed Size Distributed Memory Architectures", in D. I. Fotiadis and S. D. Nikolopoulos, editors, Advances in Informatics, pp. 83–96, ISBN: 981-02-4192-5, World Scientific, Singapore, 2000. pdf.

Nikolaos S. Papaspyrou and Vassilios C. Vescoukis, "Facilitating the Definition of Programming Languages by Using Parametric Context-Free Grammars", in D. I. Fotiadis and S. D. Nikolopoulos, editors, Advances in Informatics, pp. 260–272, ISBN: 981-02-4192-5, World Scientific, Singapore, 2000. pdf.

Nikolaos S. Papaspyrou, "A Case Study in Specifying the Denotational Semantics of C", in S. G. Tzafestas, editor, Advances in Intelligent Systems: Concepts, Tools and Applications, pp. 63–74, ISBN: 0-7923-5966-6, Kluwer Academic Publishers, Dordrecht, November 1999. pdf.

Nikolaos S. Papaspyrou, Cleo E. Sgouropoulou, Alexandros V. Gerbessiotis, Panos Livadas and Emmanuel Skordalakis, "A Multi-Agent Model for Content-Based Electronic Document Filtering", in S. G. Tzafestas, editor, Advances in Intelligent Systems: Concepts, Tools and Applications, pp. 75–86, ISBN: 0-7923-5966-6, Kluwer Academic Publishers, Dordrecht, November 1999. pdf.

Nikolaos S. Papaspyrou, "A Methodology for the Definition of Programming Languages", in N. Mastorakis, editor, Software and Hardware Engineering for the 21st Century, pp. 67–78, ISBN: 960-8052-06-8, World Scientific and Engineering Society Press, July 1999. pdf.

Nikolaos S. Papaspyrou, "Denotational Semantics of Evaluation Order in Expressions with Side Effects", in N. Mastorakis, editor, Recent Advances in Information Science and Technology, pp. 87–94, ISBN: 981-02-3657-3, World Scientific, Singapore, 1998. pdf.

Sofoklis Efremidis, Symeon Retalis, Nikolaos Papaspyrou and Emmanuel Skordalakis, "Teaching Software Engineering through the Net", in C. Tasso, R. A. Adey and M. Pighin, editors, Software Quality Engineering, pp. 3–13, ISBN: 1-85312-403-6, Computational Mechanics Publications, 1997. pdf.

 

In Conference Proceedings

Angelos Charalambidis, Athanasios Grivas, Nikolaos Papaspyrou and Panos Rondogiannis, "Efficient Intensional Implementation for Lazy Functional Languages", in Proceedings of the 17th International Workshop on the Implementation and Application of Functional Languages (IFL '05), Dublin, Ireland, September 19-21, 2005. pdf.

Nikolaos S. Papaspyrou, Michalis A. Papakyriakou and Angelos Manousaridis, "Encoding Hoare Logic in Typed Certified Code", in Proceedings of the 5th Panhellenic Logic Symposium, pp. 134–141, Athens, Greece, July 25-28, 2005. pdf.

Eneia Todoran, Nikolaos Papaspyrou and Kalman Pusztai, "Denotational Prototype Semantics for a Simple CSP-Like Language", in Proceedings of the 8th IEEE International Conference on Intelligent Engineering Systems (INES 2004), pp. 319–325, Cluj-Napoca, Romania, September 19-21, 2004. url, pdf.

Nikolaos S. Papaspyrou, Dimitrios Ch. Vytiniotis and Vassilios M. Koutavas, "Logic-Enhanced Type Systems: Programming Language Support for Reasoning about Security and Other Program Properties", in Proceedings of the 4th Panhellenic Logic Symposium, pp. 141–145, ISBN: 960-431-859-4, Thessaloniki, Greece, July 7-10, 2003, Ziti Publishing. pdf.

Zhong Shao, Bratin Saha, Valery Trifonov and Nikolaos Papaspyrou, "A Type System for Certified Binaries", in Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '02), pp. 217–232, ISBN: 1-58113-450-9, Portland, OR, January 16-18, 2002. Also published in ACM SIGPLAN Notices, vol. 37, no. 1, January 2002. doi: 10.1145/503272.503293, pdf.

Nikolaos S. Papaspyrou, "Formal Specification of the User Interface by Using Parametric Context-Free Grammars", in N. Avouris and N. Fakotakis, editors, Advances in Human-Computer Interaction I, Proceedings of the Panhellenic Conference with International Participation on Human-Computer Interaction (PC-HCI 2001), pp. 71–76, ISBN: 960-7620-18-6, Patras, Greece, December 7-9, 2001, Typorama. pdf.

Nikolaos S. Papaspyrou, Ioannis P. Panagopoulos, Stergios Stergiou and George Papakonstantinou, "Developing Embedded Applications for a Component-Based Operating System", in Proceedings of the 4th Multiconference, Information Society (IS 2001), Development and Reengineering of Information Systems, pp. 383–387, Ljubljana, Slovenia, October 22-26, 2001. pdf.

Nikolaos S. Papaspyrou, "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", in Proceedings of the 3rd Panhellenic Logic Symposium, Anogia, Greece, July 17-22, 2001. pdf.

Christos Koutsikas, Dimitrios Staikos, Konstantinos Bitsakos, Nikolaos Papaspyrou and Nikolaos Malevris, "Testing a Communications Driver for the IEEE 1394 High Speed Serial Bus Standard", in Proceedings of the 1st International Conference on Practical Software Testing Techniques (PSTT 2000), pp. 1–12, Minneapolis, USA, September 20, 2000. pdf.

Eneia Todoran and Nikolaos S. Papaspyrou, "Continuations for Parallel Logic Programming", in Proceedings of the 2nd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP '00), pp. 257–267, ISBN: 1-58113-265-4, Montreal, Canada, September 20-23, 2000.doi: 10.1145/351268.351297, pdf.

Paris Avgeriou, Anastasios Koutoumanos, Symeon Retalis and Nikolaos Papaspyrou, "Learning Object Metadata in a Web-Based Learning Environment", in Proceedings of Technology in Teaching and Learning in Higher Education: An International Conference, pp. 241–246, Samos, Greece, August 25-27, 2000. pdf.

Symeon Retalis, Paris Avgeriou and Nikolaos Papaspyrou, "Network-Based Courseware Design: The Method CADMOS-D and the Tool CRITON", in Proceedings of Open and Distance Learning and Peripheral Development, ISBN 960-8583-0-6, Igoumenitsa, Greece, December 13-14, 1999. pdf.  (in Greek )

Nikolaos S. Papaspyrou and Vassilios C. Vescoukis, "Facilitating the Definition of Programming Languages by Using Parametric Context-Free Grammars", in Proceedings of the 7th Hellenic Conference on Informatics, vol. II, pp. 91–98, Ioannina, Greece, August 1999. pdf.

Nikolaos S. Papaspyrou, Aris N. Tsois and Emmanuel S. Skordalakis, "An Object-Oriented Simulation Program Generator", in Proceedings of the International Workshop on Discrete Event Systems (WoDES '98), pp. 42–47, Cagliari, Italy, August 26-28, 1998. pdf.

Anastasios Koutoumanos, Nikolaos Papaspyrou, Symeon Retalis, Cleo Sgouropoulou, Ioannis Sgourovassilakis and Emmanuel Skordalakis, "Distance Learning Applications in Banking: The D-LAB project", in Proceedings of the 2nd European Conference in Higher Education Information Systems (EUNIS '97), Grenoble, France, September 9-11, 1997. pdf.

Nikolaos Papaspyrou, Symeon Retalis, Anastasios Koutoumanos, Emmanuel Giakoumakis and Emmanuel Skordalakis, "A Model for Multimedia Courseware Cost Estimation", in Proceedings of the 3rd Panhellenic Conference with International Participation on the Didactics of Mathematics and Informatics in Education, pp. 417-436, Patra, Greece, 1997. pdf.  (in Greek )

Nikolaos S. Papaspyrou, "A Static Semantics for the Type System of C: A Formal Mathematical Description", in Proceedings of the 6th Panhellenic Conference in Computer Science , pp. 691-700, Athens, 1997. pdf.  (in Greek )

Nikolaos S. Papaspyrou, Cleo  E. Sgouropoulou, Dimitrios N. Petroglou, Alexandros B. Gerbessiotis, Panos Livadas and Emmanuel S. Skordalakis, "A Model for Content-Based Electronic Document Filtering Using Intelligent Agents", in Proceedings of the 6th Panhellenic Conference in Computer Science , pp. 679-688, Athens, 1997. pdf.  (in Greek )

Anastasios Koutoumanos, Nikolaos Papaspyrou, Simeon Retalis, Hermann Maurer and Emmanuel Skordalakis, "Towards a Novel Networked Learning Environment", in Proceedings of the World Conference of the Web Society (WebNet 96), pp. 267–272, San Francisco, CA, October 15-19, 1996. pdf.

Nikolaos Papaspyrou, Anastasios Koutoumanos, Hermann Maurer and Emmanuel Skordalakis, "An Ongoing Experiment in ODL Using New Technologies", in Proceedings of the World Conference of the Web Society (WebNet 96), pp. 390–395, San Francisco, CA, October 15-19, 1996. pdf.

Nikolaos Papaspyrou and Aris Tsois, "ARGUS: An Object Oriented Simulation Program Generator", in Proceedings of the Conference on Advanced Information Systems Engineering (CAiSE*96) Doctoral Consortium, pp. 42–45, Heraklion, Greece, 1996. pdf.

Vassilios C. Vescoukis, Nikolaos Papaspyrou and Emmanuel Skordalakis, "A Logic-Based Framework for Reasoning Support in Software Evolution", in Proceedings of the Conference on Advanced Information Systems Engineering (CAiSE*96), vol. 1080 of Lecture Notes in Computer Science, pp. 44–59, ISBN: 3-540-61292-0, Heraklion, Greece, 1996. pdf.

Anastasios Koutoumanos, Nikolaos Papaspyrou and Emmanuel Skordalakis, "The Experimental Distance Learning System SL-DLS", in Proceedings of the Distance Learning Conference , Institute of Education, Athens, 1995. pdf.  (in Greek )

Anastasios Koutoumanos, Nikolaos Papaspyrou, Andreas Syrigos and Emmanuel Skordalakis, "Towards a Novel Approach for the Completion and Submission of the Tax Form", in Proceedings of the 5th Panhellenic Conference in Computer Science , pp. 403-409, Athens, 1995. pdf.  (in Greek )

 

Manuscripts

Nikolaos S. Papaspyrou and Emmanuel St. Skordalakis, Compilers, Symmetria, Athens, 2002. url.  (in Greek )

 

Technical Reports

Eneia Todoran and Nikolaos S. Papaspyrou, "Continuations for Prototyping Concurrent Languages", Technical Report CSD-SW-TR-1-06, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2006.

Nikolaos S. Papaspyrou, Michalis A. Papakyriakou and Angelos Manousaridis, "Encoding Hoare Logic in Typed Certified Code", Technical Report CSD-SW-TR-1-05, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2005.

Eneia Todoran and Nikolaos S. Papaspyrou, "Denotational Prototype Semantics for a Simple Concurrent Language with Synchronous Communication", Technical Report CSD-SW-TR-1-04, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2004.

Nikolaos S. Papaspyrou, "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", Technical Report CSD-SW-TR-2-01, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 2001.

Zhong Shao, Bratin Saha, Valery Trifonov and Nikolaos Papaspyrou, "A Type System for Certified Binaries", Technical Report YALEU/DCS/TR-1211, Yale University, Department of Computer Science, March 2000. Revised in September 2001.

Nikolaos S. Papaspyrou and Ioannis T. Kassios, "GLU#/C++: Theory and Implementation", Technical Report CSD-SW-TR-1-00, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 2000. ps.gz  (in Greek )

Nikolaos S. Papaspyrou, "An Attempt to Formalize the Type System of C", Technical Report CSD-SW-TR-3-97, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1997.

Sofoklis Efremidis, Antonios Kavarnos, Anastasios Koutoumanos, Vassilios Papadimos, Nikolaos Papaspyrou, Ioannis Patiniotakis and Cleo Sgouropoulou, "Introduction to the Java Programming Language ", Technical Report CSD-SW-TR-1-97, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1997. ps.gz  (in Greek )

Symeon Retalis, Nikolaos Papaspyrou and Anastasios Koutoumanos, "An Automatization of the Exams for the Driving License Using Multimedia Technology", Technical Report CSD-SW-TR-5-97, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1997. ps.gz  (in Greek )

Nikolaos S. Papaspyrou, "A Framework for Programming Denotational Semantics in C++", Technical Report CSD-SW-TR-5-96, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, June 1996. ps.gz

Nikolaos Papaspyrou, Symeon Retalis, Anastasios Koutoumanos, Emmanuel Giakoumakis and Emmanuel Skordalakis, "A Cost Estimation Model for Multimedia-Based Courseware Development", Technical Report CSD-SW-TR-6-96, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1996. ps.gz

Nikolaos Papaspyrou, "Introduction to the World-Wide-Web and HTML", Technical Report CSD-SW-TR-3-96, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1996. ps.gz  (in Greek )

Nikolaos Fotis, Nikolaos Papaspyrou and Emmanuel Skordalakis, "Internet", Technical Report CSD-SW-TR-1-95, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 1995. ps.gz  (in Greek )

 

Other Publications

Andreas Papasalouros, Symeon Retalis and Nikolaos Papaspyrou, "Automating Standards-Based Courseware Development Using UML", in Nora Koch, Piero Fraternali and Martin Wirsing, editors, Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), vol. 3140 of Lecture Notes in Computer Science, pp. 599–600, ISBN: 3-540-22511-0, Munich, Germany, July 26-30, 2004, Springer-Verlag. Poster. url, pdf.

Nikolaos Fotis, Nikolaos Papaspyrou and Emmanuel Skordalakis, "Internet", Pyrforos , issue 18, pp. 44-55, March-April 1995. Republished in the Bulletin of the Panhellenic Association of Mechanical and Electrical Engineers , issue 280/95, pp. 65-74, December 1995.  (in Greek )

Νικόλαος Παπασπύρου, "Lemmata: 'Compilers' και 'Software Engineering'", Encyclopaedia of Computer Science , Ekdotiki Athinon, 1995.  (in Greek )

 

(c)Copyright Notice

The copyrights for most of the papers listed below are held by the journals or conference proceedings, in which the papers have been published. Pre-prints or draft versions are provided in electronic form through this page, in order to facilitate the dissemination of educational and research-related information in a non commercial basis. The author(s) of these versions of the documents retain the copyright as well as all other rights therein, despite the fact that these documents are here available in electronic form.

If you copy the electronic documents that are provided through this page, you must use the copies in a way that adheres to terms and constraints invoked by the rights of the authors. Documents cannot be copied for commercial redistribution, republication or further dissemination without the explicit permission of the author(s).

 

Happiness is not a state to arrive at, but a manner of travelling.
   -- Margaret Lee Runbeck.

Last updated: March 15, 2006 2:20 .