home page

Eneia Nicolae Todoran

Publications

Selected Papers | Technical Reports | DBLP

Dissertations | Books | Some older works

 

Selected papers

 

Peer reviewed journals

 

1.       G. Ciobanu, E.N. Todoran, Correct metric semantics for a language inspired by DNA computing. Concurrency and Computation: Practice and Experience, in press, Wiley, 2015. (attached technical report available from http://iit.iit.tuiasi.ro/TR/reports/fml1402.pdf)

2.       G. Ciobanu, E.N. Todoran, Continuation Semantics for Asynchronous Concurrency. Fundamenta Informaticae, vol. 131(3-4), pp. 373-388, IOS Press, 2014. (attached technical report available from http://iit.iit.tuiasi.ro/TR/reports/fml1002.pdf)

3.       E.N. Todoran, Metric semantics for synchronous and asynchronous communication: a continuation-based approach, Electronic Notes in Theoretical Computer Science, vol. 28, pp. 101-127, Elsevier, 2000. (available from http://www.sciencedirect.com/science/article/pii/S1571066105806322)

 

Conference proceedings

 

1.       G. Ciobanu, E.N. Todoran, Continuation semantics for concurrency with multiple channels communication, Proceedings of 17th International Conference on Formal Engineering Methods 2015 (ICFEM 2015), Lecture Notes in Computer Science, vol. 9407, pp. 400-416, Springer, 2015. (attached technical report available from http://iit.iit.tuiasi.ro/TR/reports/fml0902.pdf)

2.       G. Ciobanu, E.N. Todoran, Continuation semantics for dynamic hierarchical systems, Proceedings of 2015 IEEE 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), in press, 2015. (draft)

3.       E.N. Todoran, P. Mitrea, Semantic investigation of a control-flow subset of BPMN 2.0, Proceedings of 2015 IEEE 11th International Conference on Intelligent Computer Communication and Processing (ICCP 2015), pp. 483-490, 2015. (draft)

4.       R. Moldovan, E.N. Todoran, Immune system modeling and simulation using Bio-PEPA, Proceedings of 2015 IEEE 11th International Conference on Intelligent Computer Communication and Processing (ICCP 2015), pp. 475-482, 2015.

  1. G. Ciobanu, E.N. Todoran, Correct metric semantics for a biologically-inspired formalism, Proceedings of 2014 IEEE 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), pages 317-324, IEEE Computer Press, 2014. (attached technical report available from http://iit.iit.tuiasi.ro/TR/reports/fml1402.pdf)

6.       E.N. Todoran, N. Papaspyrou, Experiments with continuation semantics for DNA computing, Proceedings of 2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP 2013), pp. 251-258, 2013.

7.       Y. Rouselakis, N. Papaspyrou, Y. Tsiouris, E.N. Todoran, Compilation to Quantum Circuits for a Language with Quantum Data and Control. In Proc. IEEE FedCSIS 2013, pp. 15491556.

8.      G. Ciobanu, E.N. Todoran, Relating two metric semantics for parallel rewriting of multisets, Proceedings of 2012 IEEE 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp. 273-280, IEEE Computer Press, 2012. (draft)

9.       E.N. Todoran, C. Adam, M. Balc, R. Pop, R. Radu, D. Simina, E. Varga, D. Zaharia, Mobile objects and modern communication abstractions: design issues and denotational semantics, Proceedings of 2011 IEEE 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), pp. 191-198, IEEE Computer Press, 2011.(draft)

10.   D. Simina, E.N. Todoran, Mobile objects security protocols, Proceedings of 2011 IEEE 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), pp. 186-190, IEEE Computer Press, 2011.

11.    G. Ciobanu, E.N. Todoran, Metric denotational semantics for parallel rewriting of multisets, Proceedings of 2011 IEEE 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), pp. 276-283, IEEE Computer Press, 2011. (draft)

12.    E.N. Todoran, D. Simina, M. Balc, D. Zaharia, Distributed objects and join methods: design issues and operational semantics, Proceedings of 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing (ICCP 2010), pp. 321-328, 2010.

13.    G. Ciobanu, E.N. Todoran, Continuation semantics for concurrency applied to parallel rewriting of multisets, Proceedings of 2010 IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010), pp. 387-391, IEEE Computer Press, 2010.

14.    E.N. Todoran, Metric semantics for modern second order communication abstractions, Proceedings of 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing (ICCP 2009), pages 215-218, 2009. (an extended journal version)

15.    G. Ciobanu, E.N. Todoran, A methodology for concurrent languages development based on denotational semantics, Proceedings of 2009 IEEE 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009), pp. 290-298, Computer Press, 2009.

16.    E.N. Todoran, N. Gherman, Semantic interpreter for modern communication abstractions in concurrent object oriented programming, Proceedings of 2008 IEEE 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pages 289-294, IEEE Computer Press, 2008.

17.    E.N. Todoran, Comparative semantics for modern communication abstractions, Proceedings of 2008 IEEE 4th International Conference on Intelligent Computer Communication and Processing (ICCP 2008), pages 153-160, 2008. (an extended version is available as a technical report from http://iit.iit.tuiasi.ro/TR/reports/fml0902.pdf)

18.   E.N. Todoran, N. Papaspyrou, Continuations for parallel logic programming, Proceedings of 2nd International ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000), pages 257-267, ACM Press, 2000.

19.    E.N. Todoran, J. den Hartog, E.P. de Vink, Comparative metric semantics for Commit in Or-parallel logic programming, Proceedings of International Logic Programming Symposium 97 (ILPS 1997), pages 101-115, MIT Press, 1997.

 

Technical Reports

 

1.       G.Ciobanu, E.N. Todoran. Correct metric semantics for a biologically-inspired formalism. Technical Report FML-14-02, Romanian Academy, 2014 http://iit.iit.tuiasi.ro/TR/reports/fml1402.pdf

2.      G.Ciobanu, E.N. Todoran. Abstract continuation semantics for asynchronous concurrency. Technical Report FML-12-02, Romanian Academy, 2012 http://iit.iit.tuiasi.ro/TR/reports/fml1202.pdf

3.       G.Ciobanu, E.N. Todoran. Continuation semantics for asynchronous concurrency. Technical Report FML-10-02, Romanian Academy, 2010 http://iit.iit.tuiasi.ro/TR/reports/fml1002.pdf

4.       G.Ciobanu, E.N. Todoran. Continuation semantics for concurrency. Technical Report FML-09-02, Romanian Academy, 2009 http://iit.iit.tuiasi.ro/TR/reports/fml0902.pdf

5.       E. Todoran, N. 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  http://www.softlab.ntua.gr/research/techrep/CSD-SW-TR-1-06.pdf 

 

Doctoral dissertation

Semantic techniques in concurrent systems development, Technical University of Cluj-Napoca, October 2000 (Magna cum laude)

Books

 

  1. E.N. Todoran. Continuation semantics for parallel and distributed computing. Mediamira, Cluj-Napoca (in Romanian), 2009 (152 pages) ISBN 978-973-713-239-0.
  2. F.M. Boian, P. Mitrea, A. Sterca, E.N. Todoran, editors. Proceedings of GlobalComp 2008: Workshop on models, semantics, logics and technologies for global computing. U.T.Press,
    2008 (138 pages) ISBN: 978-973-662-443-8.
  3. E. Todoran. Software prototyping and formal specification. Mediamira, Cluj-Napoca (in Romanian), 2006 (148 pages) ISBN 973-713-098-7.
  4. E. Todoran, K. Pusztai. Denotational semantics in Haskell. Mediamira, Cluj-Napoca (in Romanian), 2002 (192 pages) ISBN 973-9357-00-8.