|
Career summary
Publications
Courses
Projects
Links
Home
|
Selected Publications:
(with G. Caltais,E.Goriac, D. Lucanu) A Rewrite Stack Machine for ROC!, SYNASC 2008 - 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara,September 26-29, 2008, p. 161-168.
(with E.Goriac, G. Caltais, D. Lucanu, O. Andrei) Patterns for Maude Metalanguage Applications, 7th International Workshop on Rewriting Logic and its Applications, WRLA'08 (ETAPS'08), Budapest, Hungary, March 29-30, 2008, p. 107-124.
(with M. Brut & all) A Competency-Oriented Modeling Approach for Personalized E-Learning Systems, ICIW 2008 - Third International Conference on Internet and Web Applications and Services, 8-13 June 2008, Athens, Greece. IEEE Computer Society 2008, p. 410-415, ISBN 978-0-7695-3163-2.
(with D. Lucanu, G. Rosu) Regular Strategies as Proof Tactics for CIRC Prover, Electronic Notes in Theoretical Computer Science,ELSEVIER, Volume 204, 4 April 2008, p. 83-98, ISSN: 1571-0661.
(with S. Andrei, A. M. K. Cheng, Osborne, L) Incremental Theorem Proving , Information Technologies and Control, vol. 3, p. 2-9 (2007), ISSN 1312-2622
(with Stefan Andrei, A. M. K. Cheng) Incremental Verification and Debugging of Real Time Embedded Systems, BCI'07, 27-29 Sept. 2007, Sofia, Bulgaria, Conference Proceedings, Vol. 1, p. 45 - 60, ISBN 978-954-9526-41-7
(with Sergiu Dumitriu, Marta Girdea, Sabin Buraga, Mihaela Brut) A semantic web-based repository for e-learning resources - design and implementation aspects, BCI'07, 27-29 Sept. 2007, Sofia, Bulgaria, Conference Proceedings, Vol. 1, p. 93 - 102, ISBN 978-954-9526-41-7
(with D. Lucanu, G. Rosu) Regular Strategies as Proof Tactics for CIRC Prover, In 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007.
(with D. Lucanu) On Hidden Algebra Semantics of Object Oriented Languages, 2004, Analele stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi, Informatica, Tomul XIV, pp.51 - 68, 2004.
(with Stefan ANDREI, Wei-Ngan CHIN) Co-determinism and unambiguity of automata accepting finite or infinite words, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi, Informatica, Tomul XIV, pp.1 - 11, 2004
(with Stefan ANDREI, Wei-Ngan CHIN) A Tutorial on a Monadic Approach for Expressions Evaluation, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi, Informatica, Tomul XII, pp.1 - 27, 2002
(with Stefan ANDREI, Manfred KUDLEK, Cristian MASALAGIU) On the Complexity of Propositional Calculus Formulae, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi, Informatica, Tomul X, pp.27 - 43, 2001.
(with Andrei St., Kudlek M.) A Paralellisation of LR-Parsing Proceedings of The International Workshop on Advanced Compiler Technology for High Performance and Embedded Systems, pp. 119-124, Bucharest, Romania, July 19-20, Editura MATRIX ROM, ISBN 973-685-273-3, 2001.
(with Andrei St., Kudlek M.) A Bidirectional Parser for LR-RL Grammars Conferinta de Informatica Teoretica si Tehnologii Informatice (CITTI'2000). Tehnologii informatice pentru anii 2000, pp.94-99, Editura Leda & Muntenia, Constanta, Romania, May 25-27, 2000.
(with Stefan ANDREI, Cristian MASALAGIU, Tiberiu ROTARU) An efficient parallel algorithm for converting regular expressions into right linear grammars, Analele Universitatii Bucuresti, Matematica - Informatica, Vol.XLIII, pp. 41-54, 1999.
(with Andrei St., Kudlek M.) Up-to-Up Bidirectional Parsing for Context-Free Languages Fachbereich Informatik, Universitat Hamburg, FBI-HH-B-221, pp.1-25, 1999.
On Object Oriented Analysys (OOA),Object Oriented Design (OOD) and Object Oriented Programming (OOP), in volumul:
Restructuring of the (re)training of school teachers in Computer Science, Libris
Agora, Cluj - Napoca, pp. 34-55, 1999.
(with Stefan Andrei) An efficient parallel algorithm for converting regular expressions to right linear grammars ROSYCS '98, May 1998, Iasi.
Generating context sensitive languages by Attribute Grammars, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi, T.XXXIII,s.I.a(1987),Matematica-Informatica, pp. 339-344.
Strict Reversible Automata and their Isomorphism, Revue Roumaine de Math. Pures et Appl., T.XXVIII,n.4(1983), pp. 289-296.
On the Isomorphism-Complete Problems and Polynomial Time Isomorphism, Acta Cybernetica, T.5,2(1981), pp. 135-142.
On a generalisation of Gamma-Reducibility, Revue Roumaine de Math. Pures et Appl., T.XXVI,n.6(1981), p. 855-858.
On the Completeness in Abstract Complexity Classes of Languages, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi , TomXXVI,s.I.a.,1980,fasc.1, p.173-177
On the NP-Completeness of a Problem in Finite Automata Theory, Analele Stiintifice ale Universitatii "Alexandru Ioan Cuza" din Iasi , TomXXV,s.I.a.,1979,fasc.1, p.171-174.
(with Dan Simovici)Even initial feedback vertex problem is NP-complete, Information Processing Letters, Vol.8,2(1979), p. 64-66.
Proof systems for Program Correctness, in volumul Restructuring of the (re)training of school teachers in Computer Science, Libris Agora, Cluj - Napoca, pp. 199-220,1998.
Functional Programming, in volumul: Restructuring of the (re)training of school teachers in Computer Science, Libris Agora, Cluj -Napoca, pp. 170-187,1997.
Algoritmi paraleli in compilare, in volumul Aspecte ale elaborarii algoritmilor distribuiti, TEMPUS S_JEP 07101-94 (DISCO), BucureSti 1997.
Books:
Constructia compilatoarelor - Algoritmi fundamentali, Editura Universitatii "Al. I. Cuza" Iasi, ISBN 973-703-084-2, 274 pg., 2005.
Programarea calculatoarelor - Partea I: Fundamente, Editura "Spiru Haret" Iasi, ISBN 973 - 9259 - 43 - x, 282 pg., 1999.
(with Stefan ANDREI) Programarea calculatoarelor I, Editura Universitatii "Alexandru Ioan Cuza" Iasi, ISSN 1221-9363, 175 pg., 2003.
Limbaje formale si tehnici de compilare, Universitatea "Al. I. Cuza" Iasi, 260 pg.,1985 (reeditat 1987).
(with Stefan ANDREI)Constructia compilatoarelor-lucrari de laborator, Universitatea "Al. I. Cuza" Iasi, 118 pg., 1995.
Culegere de probleme de programare in limbajul FORTRAN, Univ. "Al. I. Cuza" Iasi, 320 pg., 1977.
|
