Lista de lucrări a candidatului Conferenţiar dr.ing. Eneia Nicolae Todoran Catedra Calculatoare Facultatea de Automatică şi Calculatoare Universitatea Tehnică din Cluj-Napoca Str. Bariţiu, 28, 400027, Cluj-Napoca, România {Eneia.Todoran@cs.utcluj.ro} 5 mai 2009
Rezumat al lucrărilor prezentate - selecţie reprezentativă de publicaţii - 1 teză de doctorat (Magna cum laude) 3 cărţi publicate în edituri recunoscute CNCSIS în 2009 (unic autor), 2006 (unic autor) şi 2002 (prim autor) 1 carte publicată în colectiv de editori în editură recunoscută CNCSIS în 2008 30 articole publicate ca unic sau prim autor, dintre care: 13 articole indexate în baze de date internaţionale (ISI Proceedings, DBLP 1, ACM 2, IEEE 3, MR 4 ), dintre care 5 articole indexate în ultimii 5 ani Pentru fiecare articol indexat sau citat în baze de date internaţionale sunt date (adresa sau) adresele Web la care se poate verifica validitatea informaţiei 2 articole citate în jurnal ISI sau baze de date internaţionale: 1 lucrare citată în volum de conferinţă internaţională în 2007 (DBLP, ACM) 1 lucrare citată în jurnal ISI (factor impact 1.03) şi DBLP în 2000 17 articole publicate în reviste CNCSIS de tip B+ sau în volume de conferinţe internaţionale neindexate (16 lucrări, din care 3 articole în ultimii 5 ani) sau în manifestări ştiinţifice organizate pe plan naţional cu volum publicat în editură recunoscută CNCSIS (1 lucrare) Am participat la 10 contracte de cercetare (2 internaţionale) În ultimii 5 ani am câştigat 2 contracte ca director prin competiţie naţională 1 contract internaţional ca membru 4 rapoarte tehnice de cercetare în ultimii 5 ani Materiale didactice (lucrări publicate sau disponibile electronic) Distincţii şi premii 5 mai 2008 Conf.dr.ing. Eneia Nicolae Todoran 1 Digital Bibliography & Library Project 2 Association for Computing Machinery 3 Institute of Electrical and Electronic Engineers 4 Mathematical Reviews
Teză de doctorat [1] E.N. Todoran. Tehnici semantice în dezvoltarea sistemelor concurente. Universitatea Tehnica din Cluj-Napoca, Octombrie 2000. Teza a obţinut calificativul Magna cum laude. 3
Cărţi publicate în edituri recunoscute CNCSIS [1] E.N. Todoran. Semantică de continuare pentru calcul paralel şi distribuit. Editura Mediamira, 2009 (152 pagini) 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. Editura U.T.Press, 2008 (138 pagini) ISBN: 978-973-662-443-8 [3] E.N. Todoran. Inginerie software: studii în prototipizare şi specificare formală. Editura Mediamira, 2006 (148 pagini) ISBN: 973-713-098-7 [4] E.N. Todoran, K. Pusztai. Semantică denotaţională în limbajul Haskell. Editura Mediamira, 2002 (192 pagini) ISBN: 973-9357-00-8 4
Articole ISI Proceedings şi articole citate în jurnale ISI sau alte baze de date internaţionale (DBLP, ACM) [1] E.N. Todoran, N. Gherman. Semantic interpreter for modern communication abstractions in concurrent object-oriented programming. In Proceedings of 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pages 289-295, IEEE Computer Science Press (ISI Proceedings), 2008. ISBN 978-0-7695-3523-4 Articol indexat IEE INSPEC, EI (Compendex), SCI (ISI), DBLP http://synasc08.info.uvt.ro/publication [2] E.N. Todoran, N. 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, ACM Press, 2000. ISBN 1-58113-265-4 Articol indexat DBLP, ACM http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/todoran:eneia.html http://portal.acm.org/citation.cfm?doid=351268.351297 Articolul [2] a fost citat în 2007 în următoarea lucrare (indexată DBLP, ACM): W. Yu, J. Yang. Continuation-passing enactment of distributed recoverable workflows. Proceedings of the 2007 ACM SIGAPP Symposium on Applied Computing, pages 457-481, ACM Press, 2007. Citarea poate fi verificată la adresa: http://portal.acm.org/citation.cfm?doid=1244002.1244114 5
[3] E.N. Todoran, J. den Hartog, E.P. de Vink. Comparative metric semantics for commit in ORparallel logic programming. In Proc. of International Logic Programming Symposium (ILPS 97), pages 101-115, MIT Press, 1997. ISBN 0-262-63180-6 Articol indexat DBLP, MR http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/todoran:eneia.html Articolul [3] a fost citat în 2000 în jurnal cotat ISI (factor impact 1.03) în următoarea lucrare: F. Spoto. Operational and goal-independent denotational semantics for Prolog with Cut. Journal of Logic Programming, vol. 42, pages 1 46, 2000. Citarea poate fi verificată la adresa: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2672 Informaţii legate de indexarea ISI şi factorul de impact al Journal of Logic Programming (JLP) din perioada citării (1999-2000) la adresele: http://www.mi.sanu.ac.yu/~zorano/jour_rang/index.html (JLP in lista COMPUTER SCIENCE, THEORY & METHODS) http://lib.sytu.edu.cn/files/zwwxx/1999-2002sci-fact/journal%20impact%20factor%202002j1.htm Observaţii Publicarea JLP a încetat în 2000. Informaţii din DBLP despre JLP la adresa: http://www.informatik.uni-trier.de/~ley/db/journals/jlp/ JLP are ca succesori: Journal of Logic and Algebraic Programming (JLAP) şi Theory and Practice of Logic Programming (TPLP). În prezent JLAP este jurnal ISI, cu factor de impact 0.873. http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/description
Articole indexate în baze de date internaţionale: ISI Proceedings, DBLP, ACM, IEEE, MR În perioda 2004-2009 [1] E.N. Todoran, N. Gherman. Semantic interpreter for modern communication abstractions in concurrent object-oriented programming. In Proceedings of 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pages 289-295, IEEE Computer Science Press (ISI Proceedings), 2008. ISBN 978-0-7695-3523-4 Articol indexat IEE INSPEC, EI (Compendex), SCI (ISI), DBLP http://synasc08.info.uvt.ro/publication [2] E.N. Todoran. Comparative semantics for modern communication abstractions. In Proceedings of 2008 IEEE 4th Interantional Conference on Intelligent Computer Communication and Processing (ICCP 08), pages 153-161, 2008. ISSN 978-1-4244-2673-7 Articol indexat IEEE (IEEE Xplore) http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4648340&isyear=2008 [3] E.N. Todoran, M. Ivan. Metric semantics for second order communication: a continuation-based approach. Automation, Computers, Applied Mathematics, vol. 16, no. 2, pages 201-215, 2007. ISSN 1221437X Articol indexat MR (CNCSIS tip B+) [4] E.N. Todoran, P. Mitrea, N. Papaspyrou. Comparative semantics for the basic Andorra model. Automation, Computers, Applied Mathematics, vol. 14, no. 1, pages 27-43, 2005. ISSN 1221437X Articol indexat MR (CNCSIS tip B+) [5] E.N. Todoran, N. Papaspyrou, F.M. Boian, C. Ivan. Continuation semantics for concurrency and concurrent languages prototyping. Scientific Annals of Al.I. Cuza University, vol. XV, pages 22-37, 2004. ISSN 1224-2268 Articol indexat DBLP http://sigmod.org/dblp/db/indices/a-tree/b/boian:florian.html 7
În perioda 1994-2003 [6] E.N. Todoran. Denotational interpreter for a CSP-like language. Automation, Computers, Applied Mathematics, vol. 11, no. 2, pages 19-35, 2002. ISSN 1221437X Articol indexat MR (CNCSIS tip B+) [7] E.N. Todoran, N. 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, ACM Press, 2000. ISBN 1-58113-265-4 Articol indexat DBLP, ACM http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/todoran:eneia.html http://portal.acm.org/citation.cfm?doid=351268.351297 [8] 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), vol. 28, pages 119 146, Elsevier, 2000. ISSN 1571-0661 Lucrare indexată DBLP http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/todoran:eneia.html [9] E.N. Todoran. Continuation semantics for concurrency. Automation, Computers, Applied Mathematics, vol. 6, no. 1, pages 31-47, 1997. ISSN 1221437X Articol indexat MR (CNCSIS tip B+) [10] E.N. Todoran, J. den Hartog, E.P. de Vink. Comparative metric semantics for commit in ORparallel logic programming. In Proc. of International Logic Programming Symposium (ILPS 97), pages 101-115, MIT Press, 1997. ISBN 0-262-63180-6 Articol indexat DBLP, MR http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/todoran:eneia.html [11] 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 Articol indexat MR (CNCSIS tip B+) [12] E.N. Todoran. The dataflow mechanism in NPL. Automation, Computers, Applied Mathematics, vol. 3, no. 1, pages 78 91, 1994. ISSN 1221437X Articol indexat MR (CNCSIS tip B+) [13] E.N. Todoran. Nondeterminism and logic programming in NPL. Automation, Computers, Applied Mathematics, vol. 3, no. 2, pages 27 38, 1994. ISSN 1221437X Articol indexat MR (CNCSIS tip B+)
Articole publicate în reviste CNCSIS de tip B+ sau în volume de conferinţe internaţionale În perioda 2004 2009 [1] E.N. Todoran, F.M. Boian, C. Melenti, N. Papaspyrou. Continuations for remote objects control. Studia Univ. Babeş-Bolyai, Informatica, Vol. L, No. 1, pages 21-36, 2005. ISSN 1224-869x (CNCSIS tip B+) [2] E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSPlike language. In Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES 04), pages 319-325, 2004. ISBN 973-662-120-0 [3] E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSPlike language. Automation, Computers, Applied Mathematics, vol. 13, no. 2, pages 301-308, 2004. ISSN 1221437X 5 (CNCSIS tip B+) În perioda 1992-2003 [4] E.N. Todoran, N. Papaspyrou. CSC in concurrent languages prototyping. Automation, Computers, Applied Mathematics, vol. 12, no. 2, pages 33-45, 2003. ISSN 1221437X (CNCSIS tip B+) [5] E.N. Todoran. Continuation semantics for concurrency: second-order communication through shared memory. In Proc. of 3rd International Conference on Technical Informatics (CONTI 98), pages 122 132, 1998. ISSN 1224-600X [6] E.N. Todoran. Denotational semantics for an OR-parallel Prolog system. In Proc. of 2nd International Conference on Technical Informatics (CONTI 96), pages 69 77, 1996. ISSN 1224-600X [7] 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 (CNCSIS tip B+) [8] 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. [9] E.N. Todoran. A nonprocedural language. Automation, Computers, Applied Mathematics, vol. 4, no. 2, pages 44 56, 1995. ISSN 1221437X (CNCSIS tip B+) 5 Acest articol este o republicare în jurnal a lucrării [2]. 9
[10] E.N. Todoran. An operational semantics for NPL. In Proc. of 3rd Romanian Conference on Open Systems (ROSE 95), pages 47 56, 1995. [11] E.N. Todoran. About non-determinism as a union of behaviors in parallel programming. In Proc. of Int. Conf. on Intelligent Computer Communication and Processing (ICCP 95), pages 224 228, 1995. [12] E.N. Todoran. Dataflow semantics in NPL. In Proc. of 1st International Conference on Technical Informatics (CONTI 94), pages 77 86, 1994. [13] E.N. Todoran. An operational semantics for process algebra. Automation, Computers, Applied Mathematics, vol. 2, no. 1, pages 77 91, 1993. ISSN 1221437X (CNCSIS tip B+) [14] E.N. Todoran. NPL: design, semantics and programming examples. Automation, Computers, Applied Mathematics, vol. 2, no. 2, pages 94 106, 1993. ISSN 1221437X (CNCSIS tip B+) [15] E.N. Todoran. A process algebra language. In Proc. of Romanian Symposium on Computer Science 1993 (ROSYCS 93), pages 507-526, 1993. [16] E.N. Todoran. The meaning of symbols in programming languages. Automation, Computers, Applied Mathematics, vol. 1, no. 2, pages 57 64, 1992. ISSN 1221437X (CNCSIS tip B+) Articole publicate în manifestări ştiinţifice organizate pe plan naţional cu volum în edituri recunoscte CNCSIS [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
Participări la contracte de cercetare 1. GlobalComp: Modele, semantici, logici şi tehnologii pentru calcul global - Contract ANCS, CNMP- PC, nr. 11052/18.09.2007; Director: Conf.Dr. Eneia Nicolae Todoran (2007-2010) 2. Tehnici semantice în dezvoltarea sistemelor concurente - Contract 27702 / 2005, 2930 / 2006, CNCSIS tip A, Cod 932; Director: Conf.Dr. Eneia Nicolae Todoran (2005-2007) 3. Continuations and monads for parallel and distributed computing - Greek-Romanian research collaboration; Contract C 18313 / 10.12.2002; Partners: National Technical University of Athens, Greece, and Technical University of Cluj-Napoca, Romania; Romanian project leader: Prof.Dr. Kalman Pusztai, Assoc.Prof.Dr. Eneia Nicolae Todoran (Member) (2003-2005) 4. Centru expert pentru proiectarea şi implementarea aplicaţiilor distribuite de înaltă performanţă - Contract 31400 / 7053 / 2001, theme 77, CNCSIS code 1064; Project leader: Prof.dr. Florian Boian, (2001-2003). 5. NETCONTROL - modele şi tehnici avansate de comunicare în controlul proceselor industriale - Contract 2 / 2001; Programul INFOSOC; Director: Prof.dr. Kalman Pusztai (2001-2003) 6. Noi tehnologii în reţele eterogene reconfigurabile - Contract 7067 / 2001, CNCSIS, Tema B16; Director: S.l. Cosmina Ivan (2001-2003) 7. Modern techniques and technologies in computer science - Contract funded by World Bank (Master - Ph.D. project); Project of type D (CNCSIS code 3/111-1998); Project leader: Prof.Dr. Kalman Pusztai (1998-2000) 8. Calcul mobil orientat pe obiecte - Contract 34/1998; Tema 64 (CNCSIS code 114); Director: Prof.Dr. Ioan Salomie (1998-2000) 9. Semantic models for parallel logic programming - Research grant offered by NUFFIC (Netherlands organization for cooperation in higher education, The Hague, The Netherlands); research carried at Free University of Amsterdam, Department of Computer Science, under the guidance of Prof.dr. Jaco de Bakker, and Dr. Erik de Vink (January-February 1997). 10. Sisteme de programare logică paralelă - Contract 5003/1993; Director: Conf.Dr. Tudor Muresan (1993-1995)
Lucrări aflate în proces de recenzie şi rapoarte tehnice recente [1] E.N. Todoran, N. Papaspyrou. Continuations for prototyping concurrent languages: yet another study on concurrency with emphasis on control-flow and communication mechanisms. Under consideration for publication in Journal of Higher-Order and Symbolic Computation - Special Issue on Continuations, submitted in revised form in 2006. [2] G. Ciobanu, E.N. Todoran. Continuation semantics for concurrency in metric domains. Technical Report FML-09-02, Romanian Academy, 2009. Available from http://iit.iit.tuiasi.ro/tr/reports/fml0902.pdf. [3] E.N. Todoran. A methodology for parallel and distributed languages development based on denotational semantics. Technical Report, Technical University of Cluj-Napoca, 2009. [4] E.N. Todoran, N. Papaspyrou. Continuations for prototyping concurrent languages. Technical Report CSD-SW-TR-1-07, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2007. [5] E.N. Todoran, N. S. 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. 12
Lucrări elaborate ca suport de curs, laborator, seminar Lucrări nepublicate, disponbile în format electronic [1] E.N. Todoran. Limbaje şi sisteme de tipuri. Note de curs (2007 2008) http://users.utcluj.ro/~eneia/fl.htm [2] E.N. Todoran. Software engineering. Lecturer slides (2005 2008) http://users.utcluj.ro/~eneia/se.htm [3] E.N. Todoran. Software engineering - practical works guide (2005 2008) http://users.utcluj.ro/~eneia/se.htm [4] E.N. Todoran. Inginerie software. Note de curs (2005 2008) http://users.utcluj.ro/~eneia/ip.htm [5] E.N. Todoran. Inginerie software - ghid lucrări practice (2005 2008) http://users.utcluj.ro/~eneia/ip.htm Lucrări publicate [6] E.N. Todoran. Inginerie software: studii în prototipizare şi specificare formală. Editura Mediamira, 2006 (148 pagini) ISBN: 973-713-098-7 [7] T. Muresan, R. Potolea, E.N. Todoran, A.D. Suciu. Programare logică: îndrumător de laborator. Editura Romsver, Cluj-Napoca, 1998. 13
Distincţii şi premii 1. N. Gherman. Abstracţii moderne de comunicare în programarea orientată pe obiecte (Proiect de diplomă). Premiul III, Sesiunea de Comunicări Ştiinţifice Studenţeşti, Catedra Calculatoare, Universitatea Tehnică, Cluj-Napoca, 2008, Coordonator: E.N. Todoran http://www.cs.utcluj.ro/ (Events, Student Workshops) 2. E.N. Todoran, K. Pusztai. Semantică denotaţională în limbajul Haskell. Editura Mediamira, 2002 (192 pagini) ISBN: 973-9357-00-8, Carte premiată (100 Euro), Universitatea Tehnică, Cluj-Napoca, 2002 Premiul în copie în Mapa cu Contribuţii Ştiinţifice Semnificative 3. E.N. Todoran. Tehnici semantice în dezvoltarea sistemelor concurente. Teză de doctorat, Universitatea Tehnica din Cluj-Napoca, Octombrie 2000. Calificativ: Magna cum laude Diploma în copie legalizată în Mapa cu Contribuţii Ştiinţifice Semnificative