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).
R. D. Moldovan and E. N. Todoran, "Immune System Modeling and Analysis using Bio-PEPA", In Proceedings of 2015 IEEE 11th International Conference on Intelligent Computer Communication and Processing (ICCP 2015), pages 475-482, 2015.
E. N. Todoran. "Continuation Semantics for Maximal Parallelism and Imperative Programming", Automation Computers, Applied Mathematics, vol. 23(1), pp. 29-35, 2014, ISSN 1221-437X.
Y. Rouselakis, N. S. Papaspyrou, Y. Tsiouris, and E. N. Todoran. "Compilation to Quantum Circuits for a Language with Quantum Data and Control", In Proc. of the Federated Conference on Computer Science and Information Systems (FedCSIS), pages 1549-1556, September 2013.
E. N. Todoran and N. Papaspyrou. "Experiments with Continuation Semantics for DNA Computing". In Proc. IEEE International Conference on Intelligent Computer Communication and Processing (ICCP'13), pages 251-258, 2013.
E. N. Todoran. "A Study on the Relationship between Direct Semantics and Continuation Semantics for Concurrency". Automation, Computers, Applied Mathematics, vol. 21(1), pp. 3-17. ISSN 1221-437X, 2012.
G. Ciobanu and E. N. Todoran. "Relating Two Metric Semantics for Parallel Rewriting of Multisets". In Proc. IEEE International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pages 273-281, 2012.
E. N. Todoran, M. Balc, D. Simina, et al., "Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics". In Proc. IEEE International Symposium on Parallel and Distributed Computing (ISPDC'11), pages 191-198, Computer Press, 2011.
Project Reports (Greek side)
Final report, May 2014, in Greek. form (PDF), and report (PDF).
Midterm report, April 2013, in Greek. form (PDF), and report (PDF).