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, Variants of spiking neural P systems and their operational semantics in Haskell, Journal of Membrane Computing, vol. 5(2), pp. 81-99, Springer, 2023.

2.      G. Ciobanu, E.N. Todoran, Spiking neural P systems and their semantics in Haskell, Natural Computing, vol. 22(1), pp. 41-54, Springer, 2023.

3.      G. Ciobanu, E.N. Todoran, A process calculus for spiking neural P systems, Information Sciences, vol. 604, pp. 298-319, Elsevier, 2022.

4.      G. Ciobanu, E.N. Todoran, Denotational Semantics of Membrane Systems by using Complete Metric Spaces, Theoretical Computer Science, vol. 701, pp. 85-108, Elsevier, 2017.

5.      E.N. Todoran, N. Papaspyrou, Concurrency Semantics in Continuation-Passing Style, Fundamenta Informaticae, vol. 153(1-2), pp.  125-146, IOS Press, 2017. (attached technical report available from http://ftp.utcluj.ro/pub/users/gc/eneia/fi17/CSD-SE-TR-16-01.pdf)

6.      G. Ciobanu, E.N. Todoran, Correct metric semantics for a language inspired by DNA computing, Concurrency and Computation: Practice and Experience, vol. 28(11), pp. 3042-3060, Wiley, 2016. (attached technical report available from http://iit.iit.tuiasi.ro/TR/reports/fml1402.pdf)

7.      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)

8.      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.      E.N. Todoran, Quantitative Programming and Markov Decision Processes, Proceedings of 2022 IEEE 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2022), pp. 117-124, IEEE Computer Press, 2022.

2.      E.N. Todoran, Equivalence Classes in Performance Evaluation Programming, Proceedings of 2021 IEEE 23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021), pp. 194-199, IEEE Computer Press, 2021.

3.      E.N. Todoran, Continuation Semantics for Interaction and Concurrency, Proceedings of 2021 IEEE 17th International Conference on Intelligent Computer Communication and Processing (ICCP 2021), pp. 189-197, 2021.

4.      E.N. Todoran, Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style, Proceedings of 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP 2020), pp. 521-528, 2020.

5.      E.N. Todoran, Continuation based Metric Semantics for Concurrency, Proceedings of 2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP 2019), pp. 551-559, 2019.

6.      E.N. Todoran, An Approach to Performance Evaluation Programming, Proceedings of 2017 IEEE 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), pp. 320-329, IEEE Computer Press, 2017.

7.      G. Ciobanu, E.N. Todoran, Abstract Continuation Semantics for Asynchronous Concurrency, Proceedings of 2017 IEEE 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), IEEE Computer Press, 2017.

8.      G. Ciobanu, E.N. Todoran, Continuation semantics for a language inspired by membrane computing with symport/antiport interactions, Proceedings of 2016 IEEE 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), pages 335-342, IEEE Computer Press, 2016.

9.      G. Ciobanu, E.N. Todoran, Continuation passing semantics for membrane systems, Proceedings of 17th International Conference on Membrane Computing 2016 (CMC 2016), Lecture Notes in Computer Science, vol. 101015, Springer, 2016.

10.   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)

11.    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), pages 281-288, IEEE Computer Press, 2015. (draft)

12.   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)

13.   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)

15.   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.

16.   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. 1549–1556.

17.    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)

18.   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)

19.   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.

20.  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)

21.   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.

22.   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.

23.   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)

24.   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.

25.   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.

26.   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)

27.   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.

28.  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 

6.      E. Todoran, N. Papaspyrou. Continuation-Passing Semantics for Concurrency. Technical Report CSD-SE-TR-16-01, Technical University of Cluj-Napoca, Software Engineering Laboratory, 2016, available at ftp.utcluj.ro/pub/users/gc/CSD-SE-TR-16-01.pdf 

7.      E. Todoran, N. Papaspyrou. Semantic interpreters (FI2017-sem-Lmcc.hs, FI2017-sem-Ldna.hs) designed  in Haskell in continuation-passing style for FI submission, 2016, available at http://users.utcluj.ro/~eneia/fi17 

 

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.