home page

Eneia Nicolae Todoran

Publications

Books | Papers in Journals and Conference Proceedings

| Dissertations | Technical Reports  | DBLP

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. 
  5. T. Muresan, R. Potolea, E.N. Todoran, A.D. Suciu. Logic programming: practical works guide. Romsver, Cluj-Napoca, 1998.

 

Papers in Journals and Conference Proceedings

 

  1. G. Ciobanu, E.N. Todoran. Continuation Semantics for Asynchronous Concurrency. Fundamenta Informaticae, vol. 131(3-4):373-388, IOS Press, 2014.
  2. E.N. Todoran, N. Papaspyrou. Experiments with continuation semantics for DNA computing. In Proc. IEEE ICCP 2013, pp. 251-259.
  3. 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. 1537–1544.
  4. G. Ciobanu, E.N. Todoran. Relating two metric semantics for parallel rewriting of multisets. In Proc IEEE SYNASC 2012, pages 273-281, Computer Press, 2012.

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

6.       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. In Proc IEEE ISPDC 2011, pages 191-199, Computer Press, 2011.

7.       D. Simina, E.N. Todoran. Mobile objects security protocols. In Proc IEEE ISPDC 2011, pages 186-193, Computer Press, 2011.

8.      G. Ciobanu, E.N. Todoran. Metric denotational semantics for parallel rewriting of multisets. In Proc IEEE SYNASC 2011, pages 276-284, Computer Press, 2011.

9.       E.N. Todoran, D. Simina, M. Balc, D. Zaharia. Distributed objects and join methods: design issues and operational semantics. In Proc. IEEE ICCP 2010, pages 321-329, 2010.

10.   G. Ciobanu, E.N. Todoran. Continuation semantics for concurrency applied to parallel rewriting of multisets. In Proc IEEE SYNASC 2010, pages 373-379, Computer Press, 2010.

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

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

13.    E.N. Todoran. Metric semantics for modern second order communication abstractions. In Proc. IEEE ICCP 2009, pages 215-219, 2009.

14.    G. Ciobanu, E.N. Todoran. A methodology for concurrent languages development based on denotational semantics. In Proc. IEEE SYNASC 2009, pages 290-298, Computer Press, 2009.

15.    E.N. Todoran, N. Gherman. Semantic interpreter for modern communication abstractions in concurrent object oriented programming, In Proc. IEEE SYNASC 2008, pages 289-294, Computer Press, 2008.

16.    E.N. Todoran. Comparative semantics for modern communication abstractions. In Proc. IEEE ICCP 2008, pages 153-161, 2008.

17.    E.N. Todoran. Structured continuations for parallel and distributed computing. In F.M. Boian, P. Mitrea, A. Sterca and E.N. Todoran, editors, Proc. of GlobalComp 2008: Workshop on models, semantics, logics and technologies for global computing, pages 110-138, U.T.Press, 2008. ISBN 978-973-662-443-8

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

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

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

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

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

23.   E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSP-like language. Automation, Computers, Applied Mathematics, vol. 13, no. 2, pages 301-308, 2004. ISSN 1221-437X

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

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

26.   E.N. Todoran, Nikolaos Papaspyrou. Continuations for parallel logic programming. In Proc. of 2nd International ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00), pages 257-267, 2000.

27.   E.N. Todoran. Metric semantics for synchronous and asynchronous communication: a continuation-based approach. In Proc. of FCT'99 Workshop on Distributed Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 28:119-146, Elsevier, 2000.

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

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

30.   E.N. Todoran, Jerry den Hartog, and Erik Peter de Vink. Comparative metric semantics for Commit in Or-parallel logic programming. In Proc. of International Logic Programming Symposium 97 (ILPS'97), pages 101-115, MIT Press, 1997.

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

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

33.   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), pages 51–58, 1996.

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

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

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

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

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

39.   E.N. Todoran. The dataflow mechanism in NPL. Automation, Computers, Applied Mathematics, vol. 3, no. 1, pages 78–91, 1994. ISSN 1221437X

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

41.    E.N. Todoran. NPL: design, semantics and programming examples. Automation, Computers, Applied Mathematics, vol. 2, no. 2, pages 94–106, 1993. ISSN 1221437X

42.   E.N. Todoran. An operational semantics for process algebra. Automation, Computers, Applied Mathematics, vol. 2, no. 1, pages 77–91, 1993. ISSN 1221437X

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

44. E.N. Todoran. The meaning of symbols in programming languages. Automation, Computers, Applied Mathematics, vol. 1, no. 2, pages 57–64, 1992. ISSN 1221437X

 

Doctoral dissertation

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

Technical Reports

 

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

2.       E.N. Todoran, D. Simina, M. Balc, D. Zaharia. Distributed objects and join methods: design issues and operational semantics. Technical Report CSD-SE-TR-02-2010, Technical University Cluj-Napoca, 2010 ftp://ftp.utcluj.ro/pub/users/gc/iccp2010/csd-se-tr-02-2010.pdf

3.       E.N. Todoran. Comparative metric semantics for modern second order communication abstractions. Technical Report CSD-SE-TR-01-2010, Technical University Cluj-Napoca, 2010 ftp://ftp.utcluj.ro/pub/users/gc/iccp2009/csd-se-tr-01-2009.pdf

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

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

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

7.       E.N. Todoran, N. 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