Eneia Nicolae Todoran

Some Older Works

Scientific journals

1. E.N. Todoran, Metric denotational semantics for remote process destruction and cloning. Studia Universitatis Babes-Bolyai Informatica, vol. 62(2):93-108, 2017.

2. E.N. Todoran, Continuation semantics for maximal parallelism and imperative concurrency, Automation, Computers, Applied Mathematics, 23(1):29-35, 2014. ISSN 1221-437X

3. E.N. Todoran. A study on the relationship between direct semantics and continuation semantics for concurrency. Automation, Computers, Applied Mathematics, 21(1):3-17, 2012. ISSN 1221-437X

4. M. Ivan, E.N. Todoran. Comparative metric semantics for modern second order communication abstractions. Automation, Computers, Applied Mathematics, 19(2):11-27, 2010. ISSN 1221-437X

5. E.N. Todoran, M. Ivan. Metric semantics for second-order communication: a continuation-based approach. Automation, Computers, Applied Mathematics, 16(2):201-215, 2007. ISSN 1221-437X

6. E.N. Todoran, P. Mitrea, N. Papaspyrou. Comparative semantics for the basic Andorra model. Automation, Computers, Applied Mathematics, 14(1):27-41, 2005.

7. E.N. Todoran, F. Boian, C. Melenti, N. Papaspyrou. Continuations for remote objects control. Studia Universitatis Babes-Bolyai Informatica, 50:21-37, 2005.

8. E.N. Todoran, N. Papaspyrou, F. Boian, C. Ivan. Continuation semantics for concurrency and concurrent languages prototyping. Scientific Annals of A.I. Cuza University, 15:22-37, 2004.

9. E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSP-like language. Automation, Computers, Applied Mathematics, 13(2):301-308, 2004. ISSN 1221-437X

10. E.N. Todoran and Nikolaos Papaspyrou. CSC in concurrent languages prototyping. Automation, Computers, Applied Mathematics, 12(2):33-45, 2003.

11. E.N. Todoran. Denotational interpreter for a CSP-like language. Automation, Computers, Applied Mathematics, 11(2):19-33, 2002.

12. E.N. Todoran. Continuation semantics for concurrency. Automation, Computers, Applied Mathematics, 6(1):31-46, 1997.

13. E.N. Todoran. Epilog: a language for parallel logic programming - design and programming examples. Automation, Computers, Applied Mathematics, 5(1-2):39-48, 1996. ISSN
1221437X

14. E.N. Todoran. A non-procedural language. Automation, Computers, Applied Mathematics, 4(2):45-56, 1995.

15. E.N. Todoran. Non-determinism and logic programming in NPL. Automation, Computers, Applied Mathematics, 3(2):27-38, 1994.

16. E.N. Todoran. An operational semantics for process algebra and two mechanisms for the control of nondeterminism in NPL. Automation, Computers, Applied Mathematics, 3(1): 48–58, 1994. ISSN 1221437X

17. E.N. Todoran. The dataflow mechanism in NPL. Automation, Computers, Applied Mathematics, 3(1): 78–91, 1994. ISSN 1221437X

18. E.N. Todoran. NPL: design, semantics and programming examples. Automation, Computers, Applied Mathematics, 2(2): 94–106, 1993. ISSN 1221437X

19. E.N. Todoran. An operational semantics for process algebra. Automation, Computers, Applied Mathematics, 2(1): 77–91, 1993. ISSN 1221437X

20. E.N. Todoran. The meaning of symbols in programming languages. Automation, Computers, Applied Mathematics, 1(2): 57–64, 1992. ISSN 1221437X

Conference proceedings

1. G.Ciobanu, E.N. Todoran. Continuation semantics for asynchronous concurrency (extended abstract). Proc. 20th Int. Workshop on Algebraic Development Techniques (WADT 2010), pp. 62-64, Germany, 2010.

2. E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSP-like language. Proceedings of the 8th IEEE International Conference on Intelligent Engineering Systems (INES 2004), pp. 319-325, 2004.

3. E.N. Todoran. Continuation semantics for concurrency: second order communication through shared memory. Proc. of CONTI'98, pp. 122-132, Timisoara, Romania, 1998.

4. E.N. Todoran. Denotational semantics for an Or-parallel Prolog system. Proc. of CONTI'96, pp. 69-77, Timisoara, Romania, 1996.

5. E.N. Todoran. Epilog: a language for parallel logic programming based on the extended Andorra model. In Proc. of 4th Romanian Conference on Open Systems (ROSE’96), pp. 51–58, 1996.

6. E.N. Todoran. About non-determinism as a union of behaviors in parallel programming. In Proc. of Intelligent Computer Communication 95 (ICC'95), pp. 224-228, Cluj-Napoca, Romania, 1995.

7. E.N. Todoran. An operational semantics for NPL. In Proc. of 3rd Romanian Conference on Open Systems 95 (ROSE'95), pp. 47-56, Bucharest, Romania, 1995.

8. E.N. Todoran. Dataflow semantics in NPL. Proc. of CONTI'94, pp. 77-86, Timisoara, Romania, 1994.

9. E.N. Todoran. A process algebra language. Proc. of ROSYCS'93, pp. 507-526, Iasi, Romania, 1993.

Technical reports

1. G.Ciobanu, E.N. Todoran. Semantic interpreter for membrane computing implemented in Haskell (for CMC 2016)