English Version


Data si locul nasterii: 14.07.1960, Bucuresti.

Studii: Facultatea de Matematica, Universitatea din Bucuresti (licenta 1984, specializare in algebra-geometrie 1985).
Doctorat: 1993, Universitatea din Bucuresti, cu teza "Structuri geometrice pe varietati complexe. Structuri local conform Kaehler" (indrumator Prof.dr. S. Ianus).
Pozitii academice: Asistent (1990-1995), Lector (1995-2000), Conferentiar (2000-2004), profesor (2004-prezent).
Pozitii de cercetare: Cerc. st. I la Institutul de Matematica "Simion Stoilow" al Academiei Romane (2007-prezent).
Cursuri predate la Facultatea de Matematica si la SNSB: Geometrie, Geometrie diferentiala, Topologie algebrica, Calcul variational in geometria riemanniana, Geometrie simplectica, Geometrie complexa, Concepte algebrice in geometrie.
Profesor/cercetator vizitator: "Max Planck" Inst. (Bonn), Ecole Polytechnique (Paris), ICTP (Trieste), "Erwin Schroedinger" Inst. (Viena), University of New Mexico (Albuquerque), Univ. din Roma "La Sapienza", Ecole Polytechnique Federale de Lausanne, Tokyo Metropolitan Univ. etc.
Domeniul de cercetare: Geometria diferentiala.
Premiul "Gheorghe Titeica" al Academiei Romane in 1998 pentru cartea "Locally conformal Kaehler geometry" (Birkhauser).


 Pentru informatii complete: pagina personala

Carti si manuale

  1. Curbe si suprafete diferentiabile (culegere de probleme), Ed. Universitatii Bucuresti, 1995.
  2. Locally conformal Kähler geometry, Progress in Math. 155, Birkhuäser, (1998) (cu Sorin Dragomir). MR99a:53081.
  3. O introducere in geometrie. Fundatia Theta 2000 (cu Adriana Turtoi). Zbl 1033.51001.

Articole stiintifice

  1. Conformally Einstein Products and Nearly Kaehler Manifolds (impreuna cu Andrei Moroianu). Annals of Global Analysis and Geometry 33(2008), 11-18.
  2. Embeddings of compact Sasakian manifolds (impreuna cu Misha Verbitsky). Mathematical Research Letters, 14 (2007), 703-710.
  3. Einstein-Weyl structures on complex manifolds and conformal version of Monge-Ampere equation (impreuna cu Misha Verbitsky). Bull. Math. Soc. Sci. Math. Roumanie Tome 51(99) No.4, 2008, 339-353.
  4. Sasakian structures on CR-manifolds (impreuna cu Misha Verbitsky). Geometriae Dedicata 125 (2007), 159-173.
  5. Constructions in Sasakian Geometry (impreuna cu Charles P. Boyer, Krzysztof Galicki). Mathematische Zeitschrift 257 (2007), 907-924.
  6. Locally conformal Kaehler manifolds with potential (impreuna cu Misha Verbitsky). Va aparea in Mathematische Annalen.
  7. Vaisman reduction in complex and quaternionic geometry (impreuna cu R.Gini, M.Parton si P.Piccinni). Journal of Geometry and Physics, 56 (2006), 2501-2522.
  8. CR-submanifolds. A class of examples. Revue roumaine de math. pures appl. 51 (2006) 77-85.
  9. Locally conformally Kaehler manifolds. A selection of results. Lecture Notes of Seminario Interdisciplinare di Matematica, 4(2005), 121-152. MR2007c:53101.
  10. Non-zero contact and Sasakian reduction (impreuna cu O.Dragulete), Differential Geometry and its Applications 24 (2006), 260-270. MR2007e:53111.
  11. Harmonicity and minimality of vector fields and distributions on locally conformal Kaehler and hyperkaehler manifolds (impreuna cu L.Vanhecke), Bull. of the Belgian Math. Soc. "Simon Stevin" 12 (2005) 543-555. MR2007d:53106.
  12. An immersion theorem for Vaisman manifolds (impreuna cu M.Verbitsky), Mathematische Annalen 332 (2005), 121-143. MR2006e:53112.
  13. Locally conformal Kaehler reduction (impreuna cu R. Gini and M. Parton). Crelle Journal fuer die Reine und Angewandte Mathematik 581 (2005), 1-21. MR2006c:53077.
  14. Geometric flow on compact locally conformally Kaehler manifolds (impreuna cu Y.Kamishima). Tohoku Math. J. 57 (2) (2005), 201-221. MR2006g:53112.
  15. Eigenvalue estimates for the Dirac operator and harmonic 1-forms of constant length (impreuna cu A.Moroianu). Comptes Rendus Acad. Sci. Paris, 338 (2004), 561-564. MR2005f:58054.
  16. Structure theorem for compact Vaisman manifolds, Mathematical Research Letters, 10 (2003), 799-805 (impreuna cu M. Verbitsky). Also available at math.DG/0305259. MR2004j:53093).
  17. Potential 1-forms for hyper-Kaehler structures with torsion, Classical and Quantum Gravity 20 (2003), 1845-1856 (impreuna cu Y.S Poon si A.Swann). MR2004e:53070.
  18. Cosphere bundle reduction in contact geometry, Journal of symplectic geometry, 1(4) (2002), 695-714. (impreuna cu O.Dragulete si T.S.Ratiu) MR2004m:53141.
  19. Weyl structures in quaternionic geometry. A state of the art. Barletta, Elisabetta (ed.), Selected topics in geometry and mathematical physics. Vol.I. Potenza: Univ. degli Studi della Basilicata, Dipartimento di Matematica, Seminario Interdisciplinare di Matematica, 43-80 (2001). Zbl 1029.53055
  20. Cayley 4-frames and a quaternion Kaehler reduction related to Spin(7), Global differential geometry: the mathematical legacy of Alfred Gray (Bilbao 2000), 401-405, Contemporary Mathematics 288, Amer. Math. Soc. Providence, RI, 2001 (impreuna cu Paolo Piccinni). MR 2003c:53072.
  21. Reduction of Sasakian manifolds, Journal of Mathematical Physics 48 (2001), 3809-3816 (impreuna cu G.Grantcharov) MR 2002e:53060.
  22. Local almost contact metric 3-structures, Publicationes Mathematicae (Debrecen) 57 (2000) 499-508 (impreuna cu Paola Matzeu) MR 2002a:53057.
  23. Complex structures on some Stiefel manifolds, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 49 (2000) (impreuna cu Paolo Piccinni) MR 2002c:53120.
  24. On some moment maps and induced Hopf bundles in the quaternionic projective space, International Journal of Mathematics 11 (2000), 925-942 (impreuna cu Paolo Piccinni) MR 2002a:53061.
  25. Intersections of Riemannian submanifolds. Variations on a theme by T.J.Frankel, Rendiconti di Matematica (Roma), 19 (1999), 107-121 (impreuna cu T.Bingh si L.Tamassy) MR 2000g:53074.
  26. Locally conformal Kaehler metrics on Hopf surfaces, Annales de l'Institut Fourier, 48 (1998), 1107-1127 (impreuna cu P.Gauduchon) MR 2000g:53088.
  27. Compact hyperhermitian-Weyl and quaternion Hermitian-Weyl manifolds, Annals of Global Analysis and Geometry, 16 (1998), 383-398. (impreuna cu P.Piccinni). MR 99k:53097; Erratum, idem, 18 (2000), 105-106. MR 2000k:53044.
  28. An example of an almost hyperbolic Hermitian manifold, International Journal of Mathematics and Mathematical Sciences, 21 (1998), 613-618 (impreuna cu C.-L.Bejan). MR 98m:53039.
  29. Locally conformal Kaehler structures in quaternionic geometry, Transactions of the American Mathematical Society, 349 (1997), 641-655, (impreuna cu P.Piccinni). MR 97e:53091.
  30. Induced Hopf bundles and Einstein metrics, in New developments in differential geometry, Budapest (1996), 295-306, Kluwer (impreuna cu P.Piccinni). MR 99k:53099.
  31. Weyl structures on quaternionic manifolds, Proceedings of the Meeting on Quaternionic Structures in Mathematics and Physics, Trieste 1994. SISSA, Trieste, (1996), 261-267, (impreuna cu P.Piccinni). MR 99k:53098.
  32. Holomorphic and harmonic maps on locally conformal Kaehler manifolds, Bolletino dell'Unione Matematica Italiana, (7)9-A(1995), 569-579, (impreuna cu S.Ianus, V.Vuletescu), MR 96i:58037.
  33. Conformal geometry of Riemannian submanifolds. Gauss, Codazzi and Ricci equations, Rendiconti di Matematica (Roma), 15, (1995), 233-249, (impreuna cu G.Romani). Zbl. 833:53015.
  34. Extrinsic spheres of a generalized Hopf manifold. Publ. Math. Debrecen 44 (1994), 189-200 (impreuna cu S.Ianus, K.Matsumoto). MR94m:53080.
  35. Locally conformal Kaehler manifolds. A survey, Quaderno n. 12, Dip. di Mat., Univ. di Roma "La Sapienza", (1994).
  36. The fundamental equations of conformal submersions, Beitrage zur Algebra und Geometrie / Contributions to Algebra and Geometry, 34, (1993), 233-243, (impreuna cu G.Romani), MR 95a:53055.
  37. Submanifolds with parallel second fundamental form in a generalized Hopf manifold, Ricerche di Matematica (Napoli), XLII, (1993), 3-9, MR 95d:35066.
  38. Immersions spheriques dans une variete de Hopf generalisee, Comptes Rendus de l' Acad. Sci. Paris, 316, (1993), 63-66, (impreuna cu S.Ianus, K.Matsumoto), MR 93m:53067.
  39. A theorem on nonnegatively curved locally conformal Kaehler manifolds, Rendiconti di Matematica (Roma), serie VII, 12, (1992), 257-262, MR 93h:53071.
  40. A certain symmetric F-connection in locally conformal Kaehler manifolds. Bull. Yamagata Univ. Natur. Sci. 12 (1991), no.4, 299-306 (impreuna cu S.Ianus, K.Matsumoto). MR92a:53026.
  41. A class of antiinvariant submanifolds of a generalized Hopf manifold, Bull. Math. de la Soc. Sci. Math. de Roumanie, 34, (1990), 115-123, (impreuna cu S.Ianus), MR 91m:53039.
  42. Minimal real hypersurfaces of a generalized Hopf manifold, Analele St. Univ. "Al. I. Cuza" Iasi, 2, (1990), 137-142, MR 92i:53019.
  43. Complex hypersurfaces with planar geodesics in generalized Hopf manifolds, Mathematika Balkanica 3 (1989) 92-96, MR 90g:53072.
  44. Complex hypersurfaces of a generalized Hopf manifold, Publications de l'Inst. Math. (Beograd), 42, (1987), 123-129, (impreuna cu S.Ianus, K.Matsumoto) MR 89f:53079.
  45. On certain vector fields in locally conformal Kaehler manifolds, Bull. Yamagata Univ. Natur. Sci. 11 (1987), 335--344 (impreuna cu S.Ianus, K.Matsumoto). MR88b:53077.
  46. CR-submanifolds of a locally conformal Kaehler manifold, Demonstratio Mathematica, 19, (1986), 863-869, MR 90g:53072.
  47. Subvarietati CR-generice in S-varietati, Stud. Cerc. Mat. 36 (1984), 435-443. MR86j:53084.



Actualizat: 29 iulie 2007


Prof.dr. Stefanescu Gheorghe - Director de departament

  


Data si locul nasterii: 5 octombrie 1955, Valea Mare Pravat (Arges).

Educatia: Absolvent al Facultatii de Matematica, Universitatea din Bucuresti, 1979. Master, idem, 1980.
Teza de doctorat: Ph. D. "Determinism si nedeterminism in teoria schemelor de programe; aspecte algebrice'', 1991, Facultatea de Matematica, Universitatea din Bucuresti. Conducator stiintific: Prof.Dr. Sergiu Rudeanu.
Pozitii academice: Matematician: 1980; Cercetator stiintific: 1983; Cercetator principal III: 1990; Conferentiar: 1995; Profesor: 2000.
Domenii de interes stiintific: Calcul paralel si distribuit; Algebra proceselor si retelelor; Semantica limbajelor de programare; Programarea orientata pe obiecte; Logica algebrica si categoriala; Aplicatii ale teoriei categoriilor in logica si informatica.
Cursuri predate: Bazele informaticii, Modele de calcul paralel, Metode formale in dezvoltarea de Soft, Modele de calcul paralel si concurenta, Fundamentele algebrice ale informaticii, Scheme de programe, Programarea orientata pe obiecte.

Membru al unor organizatii profesionale: AMS (American Mathematical Society); EATCS (European Association for Theoretical Computer Science); EACSL (European Association for Computer Science Logics).
Recenzor la Matematical Reviews.

Carti si manuale

  1. Network Algebra, Gh.Stefanescu. Springer-Verlag, Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest, 2000, 424pp. ISBN: 1-85233-195-X
  2. Algebra of flownomials, Gh. Stefanescu, Institute for Informatics, Technical University Munich, 1994, 158pp.
  3. Automata, Logic, and Computability, C.S. Calude, Gh. Stefanescu (eds.). Special issue dedicated to Professor Sergiu Rudeanu Festschrift, Journal of Universal Computer Science, Volume 6(1), January, 2000.
  4. Proceedings of FCT'99 Workshop on Distributed Systems, Gh. Stefanescu (ed.), Electronic Notes in Theoretical Computer Science, Volume 28, Elsevier Science, 2000.

Articole stiintifice

  1. Flow algebras. A. Baranga, V.E. Cazanescu si Gh. Stefanescu. Analele Universitatii Bucuresti, Matematica-Informatica, 41, (2)(1992), 21-34.
  2. Bisimulation is two-way simulation. J.A. Bergstra si Gh. Stefanescu. Information Processing Letters, 52(1994), 285-287.
  3. Processes with multiple entries and exits modulo isomorphism and modulo bisimulation. J.A. Bergstra si Gh. Stefanescu. Fundamenta Informaticae, 27(1996), 37-56.
  4. Network algebra with demonic relation operators. J.A. Bergstra si Gh. Stefanescu. Revues Roumaine de Mathematiques Pures et Applique, 43(5-6)(1998), 503-520.
  5. Network algebra for synchronous and asynchronous dataflow. J.A. Bergstra, C.A. Middelburg si Gh. Stefanescu. International Journal of Computer Mathematics, 65(1-2)(1997), 57-88 [ISI-319]
  6. Notes on equational theories of relations. S.L. Bloom, Z. Esik si Gh. Stefanescu. Algebra Universalis, 33(1995), 98-126.
  7. The algebra of stream processing functions. M. Broy and Gh. Stefanescu. Theoretical Computer Science, 251(2000).
  8. On the category of ordered algebras. V.E. Cazanescu and Gh. Stefanescu. Studii si Cercetari Matematice (Mathematical Reports), 34(1982), 235-252. (in Romanian).
  9. Some properties of pointed algebraic theories. V.E. Cazanescu si Gh. Stefanescu. Studii si Cercetari Matematice (Mathematical Reports), 39(1987), 107-115. (in Romanian)
  10. A formal representation of flowchart schemes. V.E. Cazanescu si Gh. Stefanescu. Analele Universitatii Bucuresti, Matematica-Informatica, 37(2)(1988), 33-51.
  11. A formal representation of flowchart schemes - II. V.E. Cazanescu si Gh. Stefanescu. Studii si Cercetari Matematice (Mathematical Reports), 41(1989), 151-167.
  12. Towards a new algebraic foundation of flowchart scheme theory. V.E. Cazanescu si Gh. Stefanescu. Fundamenta Informaticae, 13(1990), 171-210.
  13. A note on axiomatizing flowchart schemes. V.E. Cazanescu si Gh. Stefanescu. Acta Cybernetica, 9(1990), 349-359.
  14. Classes of finite relations as initial abstract data types - I. V.E. Cazanescu si Gh. Stefanescu. Discrete Mathematics, 90(1991), 233-265.
  15. A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization. V.E. Cazanescu si Gh. Stefanescu. Theoretical Computer Science, 99(1992), 1-63. (Fundamental Study)
  16. Classes of finite relations as initial abstract data types - II. V.E. Cazanescu si Gh. Stefanescu. Discrete Mathematics, 126(1994), 47-65.
  17. Mixed relations as enriched semiringal categories, R. Grosu, D. Lucanu si Gh. Stefanescu. Journal of Universal Computer Science, 6(1)(2000), 112-129.
  18. Characterisation of effective universal monomorphisms in the categories of universal algebras and algebraic systems. Gh. Stefanescu. Studii si Cercetari Matematice (Mathematical Reports), 34(1982), 490-497. (in Romanian)
  19. On flowchart theories. Part I. The deterministic case. Gh. Stefanescu. Journal of Computer and Systems Sciences, 35(1987), 163-191.
  20. On flowchart theories. Part II. The nondeterministic case. Gh. Stefanescu. Theoretical Computer Science, 52(1987), 307-340.
  21. Feedback theories (a calculus for isomorphism classes of flowchart schemes). Gh. Stefanescu. Revues Roumaine de Mathematiques Pures et Applique, 35(1990), 73-79.
  22. Reaction and control I. Mixing additive and multiplicative network algebras. Gh. Stefanescu. Journal of Interest Group in Pure and Applied Logic, 6(2)(1998), 349-368. (Logic Journal of the IGPL, Oxford University Press).
  23. Some examples of semiringal categories. Gh. Stefanescu. Annals of the Bucharest University, Mathematics-Informatics Series, 47(1998), 103-108.
  24. Process algebra with feedback. J.C.M. Baeten, J.A. Bergstra si Gh. Stefanescu. In: Modal Logic and Process Algebra, Proceedings of the Workshop "Three Days of Bisimulation" held at Amsterdam, The Netherlands, 1994. Eds., A. Ponse, M. de Rijke, and Y. Venema. CSLI Lecture Notes No. 53, Stanford, 1995, 13-37.
  25. Translations between flowchart schemes and process graphs. J.A. Bergstra si Gh. Stefanescu. In: Proceedings of the 9th International Conference on Fundamentals of Computation Theory held at Szeged, Hungary, 1993, Ed. Z. Esik. Lecture Notes in Computer Science, 710, Springer-Verlag, Berlin, 1993, pp. 152-161.
  26. Processes with multiple entries and exits. J.A. Bergstra si Gh. Stefanescu. In: Proceedings of the 10th International Conference on Fundamentals of Computation Theory FCT'95 held at Dresden, Germany, 1995. Ed. Reichel, H., Lecture Notes in Computer Science, 965, Springer-Verlag, Berlin, 1995, 136-145.
  27. Equational theories of relations and regular sets. L. Barnatsky, S.L. Bloom, Z. Esik, si Gh. Stefanescu. In: Proceedings of the 2nd Conference on "Words, Languages and Combinatorics" held at Kyoto, Japan, 1992, Eds. M. Ito and H. Jürgensen. World Scientific, 1994, 40-48.
  28. A calculus for flowchart schemes. V.E. Cazanescu si Gh. Stefanescu. In: Abstracts of the 8th International Cogress of Logic, Methodology and Philosophy of Science held at Moskow, USSR, 1987, Volume 1. Nauka, Moskow, 1987, 124-127.
  29. Finite relations as initial abtract data types. V.E. Cazanescu si Gh. Stefanescu. In: Proceedings of the 6th Colloquium on Computer Science held at Iasi, Romania, 1987. Al.I. Cuza University Press, Iasi, 1987, 153-163. (in Romanian)
  30. Towards a new algebraic foundation of flowchart scheme theory. V.E. Cazanescu si Gh. Stefanescu. In: Proceedings of the 6th Colloquium on Computer Science held at Iasi, Romania, 1987. Al.I. Cuza University Press, Iasi, 1987, 164-174. (in Romanian)
  31. A calculus for program schemes. V.E. Cazanescu si Gh. Stefanescu. In: Proceedings of the Scientific Symposium on the Celebration of 25 Anniversary of Computer Center held at Bucharest, Romania, 1987. Bucharest Univ. Press, Bucharest, 1987, 36-41. (in Romanian)
  32. On some symmetric strict monoidal categories. V.E. Cazanescu si Gh. Stefanescu (1988). In: Summaries of the 3th East European Category Seminar held at Predeal, Bulgaria, 1988. Heigher Institute for Electrical Engineering Press, Sofia, 1988, pp. 11-12.
  33. Feedback, iteration and repetition. V.E. Cazanescu si Gh. Stefanescu. In: Proceedings of the 7th Colloquium on Computer Science held at Iasi, Romania, 1989. Al.I. Cuza University Press, Iasi, 1989, pp. 60-69.
  34. An axiom system for biflow using summation, (extended) feedbackation and identities. V.E. Cazanescu si Gh. Stefanescu. In: Proceedings of the 7th Colloquium on Computer Science held at Iasi, Romania, 1989. Al.I. Cuza University Press, Iasi, 1989, pp. 70-79.
  35. Towards a new algebraic foundation of program scheme theory. V.E. Cazanescu si Gh. Stefanescu. In: Actual problems of mathematical research I. Bucharest Univ. Press, Bucharest, 1990, pp. 203-224. (in Romanian)
  36. Coping with the complexity of program schemes by algebraic tools. V.E. Cazanescu si Gh. Stefanescu (1993). In: How to cope with complexity, Ed. C. Calude. Publishing House of the Romanian Academy, Bucharest, 1993, 52--132. (in Romanian).
  37. Feedback, iteration and repetition. V.E. Cazanescu si Gh. Stefanescu. In: Mathematical aspects of natural and formal languages, Ed. Gh. Paun. World Scientific, 1995, 43-62.
  38. Towards a calculus for UML-RT specifications. R. Grosu, M. Broy, B. Selic si Gh. Stefanescu. In: Proc. OOSLA'98, Kluwer Academic Publishers, 1999.
  39. Visual formalism revised. R. Grosu, Gh. Stefanescu si M. Broy. In: Proceedings, International Conference on Application of Concurrency to System Design (CSD' 98), March 23-26, 1998, Aizu-Wakamatsu, Japan. IEEE Computer Society Press, 1998, pp. 41-51.
  40. Hierarchical recognition. Gh. Stefanescu. In: Proceedings of the 3th Colloquium on Computer Science held at Iasi, Romania, 1981. Al. I. Cuza University Press, Iasi, 1981, 240-250. (in Romanian)
  41. The theory of rational S-trees. Gh. Stefanescu. In: Proceedings of the 5th Colloquium on Computer Science held at Iasi, Romania, 1985. Al.I. Cuza University Press, Iasi, 1985. (in Romanian)
  42. An algebraic theory of flowchart schemes. Gh. Stefanescu. In: Proceedings 11th Colloquium on Trees in Algebra and Programming held at Nice, France, 1986. Ed. P. Franchi-Zannettacci, Lecture Notes in Computer Science 214. Springer-Verlag, Berlin, 1986, 60-73.
  43. Flowgraphs, flownomials, behaviours. Gh. Stefanescu. In: Proceedings of the 9th Romanian Symposium on Computer Science held at Iasi, Romania, November 12-13, 1993, Eds. V.Felea and G.Ciobanu. Al.I.Cuza University Press, Iasi, 1993, pp. 477-489.
  44. Axiomatizing mixed relations. Gh. Stefanescu. In: Proc. 3rd Relational Methods in Computer Science Seminar, Hamammet, 1997. University of Science, Technology, and Medicine of Tunis, 1997, pp. 177-187.
  45. A short tour on FEST. Gh. Stefanescu. In: Proc. Current Trends in Cybernetics and Philosophy of Science, Oradea, 1996. Europa Nova, Bucharest, 1997, pp. 327-332.
  46. On space-time duality in computing; imperative programming versus wave computation, Gh. Stefanescu. In: Abstracts, 4th Relational Methods in Computer Science Seminar, Stefan Banach Mathematical Centre, Warsaw, 1998, pp. 197-202.
  47. Remarks on mixalgebras. Gh. Stefanescu. In: Proc. 4th International Symposium on Economic Informatics, Bucharest, May 1999, 1045--1053. INFOREC Printing House, Bucharest, 1999.
  48. Distributive categories and mixed network algebras. Gh. Stefanescu and Y. Kawahara. In: Proc. Joint Conference on Discrete Mathematics and Applied Mathematics, Seta, Japan, 18-20 December, 1997, pp. 29-34.
  49. Process algebra with feedback. J.C.M. Baeten, J.A. Bergstra si Gh. Stefanescu. Technical Report PRG-9419, Programming Research Group, University of Amsterdam, 1994. Also: Report 94/30, Computing Science Section, Eindhoven University of Technology, 1994.
  50. Network algebra for synchronous and asynchronous dataflow. J.A. Bergstra, C.A. Middelburg si Gh. Stefanescu. Technical Report PRG-9508, Programming Research Group, University of Amsterdam, 1995. Revised version of: Logic Group Preprint Series 122, Department of Philosophy, Utrecht University.
  51. Translations between flowchart schemes and process graphs. J.A. Bergstra si Gh. Stefanescu. Preprint No. 9/1993, Institute of Mathematics of the Romanian Academy, Bucharest, 1993.
  52. Bisimulation is two-way simulation. J.A. Bergstra si Gh. Stefanescu. Technical Report PRG-9402, Programming Research Group, University of Amsterdam, 1994.
  53. Processes with multiple entries and exits modulo isomorphism and modulo bisimulation. J.A. Bergstra si Gh. Stefanescu. Technical Report PRG-9403, Programming Research Group, University of Amsterdam, 1994.
  54. Network algebra for synchronous and asynchronous dataflow. J.A. Bergstra si Gh. Stefanescu. Logic Group Preprint Series 122, Department of Philosophy, Utrecht University, 1994. Also: Preprint 38/1994, Institute of Mathematics of the Romanian Academy, Bucharest.
  55. Processes with multiple entries and exits. J.A. Bergstra si Gh. Stefanescu. Preprint 16/1995, Institute of Mathematics of the Romanian Academy, Bucharest, 1995.
  56. Network algebra with demonic relation operators. J.A. Bergstra si Gh. Stefanescu. Technical Report PRG-9509, Programming Research Group, University of Amsterdam, 1995.
  57. Notes on equational theories of relations. Bloom, S.L., Esik, Z. and Gh. Stefanescu. Technical Report #9113, Stevens Institute of Technology, Hoboken NJ, 1991. Also: Preprint No. 1/1992, Institute of Mathematics of the Romanian Academy, Bucharest, 1992.
  58. The algebra of stream processing functions. M. Broy si Gh. Stefanescu. Technical Report TUM-I9620, Institute for Informatics, Technical University Munich, May 1996.
  59. A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 7/1990, The National Institute for Scientific and Technical Creations, Bucharest, 1990.
  60. Tree models for reduced and minimal schemes. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 8/1990, The National Institute for Scientific and Technical Creations, Bucharest, 1990.
  61. A formal representation of flowchart schemes. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 22/1987, The National Institute for Scientific and Technical Creations, Bucharest, 1987.
  62. Towards a new algebraic foundation of flowchart scheme theory. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 43/1987, The National Institute for Scientific and Technical Creations, Bucharest, 1987.
  63. Feedback, iteration and repetition. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 42/1988. The National Institute for Scientific and Technical Creations, Bucharest, 1988.
  64. A formal representation of flowchart schemes II. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 60/1988, The National Institute for Scientific and Technical Creations, Bucharest, 1988.
  65. Classes of finite relations as initial abstract data types. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 3/1989, The National Institute for Scientific and Technical Creations, Bucharest, 1989.
  66. An axiom system for biflow using summation, (extended) feedbackation and identities. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 19/89, The National Institute, for Scientific and Technical Creations, Bucharest, 1989.
  67. Classes of finite relations as initial abstract data types I. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 34/1989, The National Institute for Scientific and Technical Creations, Bucharest, 1989.
  68. Classes of finite relations as initial abstract data types II. V.E. Cazanescu si Gh. Stefanescu. Preprint Series in Mathematics 47/1989, The National Institute for Scientific and Technical Creations, Bucharest, 1989.
  69. Feedback theories (a calculus for isomorphism classes of flowchart schemes). Gh. Stefanescu. Preprint Series in Mathematics 24/1986, The National Institute for Scientific and Technical Creations, Bucharest, 1986.
  70. The entropy as the minimal cost of a tree. Gh. Stefanescu. Preprint Series in Mathematics 11/1982, The National Institute for Scientific and Technical Creations, Bucharest, 1982.
  71. On flowchart theories I. Gh. Stefanescu. Preprint Series in Mathematics 39/1984, The National Institute for Scientific and Technical Creations, Bucharest, 1984.
  72. A completion of "On flowchart theories (I)". Gh. Stefanescu. Preprint Series in Mathematics 7/1985, The National Institute for Scientific and Technical Creations, Bucharest, 1985.
  73. On flowchart theories II. Gh. Stefanescu. Preprint Series in Mathematics 32/1985, The National Institute for Scientific and Technical Creations, Bucharest, 1985.
  74. On flowchart theories I (revised version). Gh. Stefanescu. Preprint Series in Mathematics 52/1986, The National Institute for Scientific and Technical Creations, Bucharest, 1986.
  75. Reaction and control I. Mixing additive and multiplicative network algebras. Gh. Stefanescu. Preprint No. 33/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.
  76. Axiomatising mixed relations (preliminary results). Gh. Stefanescu. Preprint No. 37/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.
  77. A short tour on FEST. Gh. Stefanescu. Preprint No. 38/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.

Lucrari diverse

  1. Determinism and nondeterminism in program scheme theory: algebraic aspects. Gh. Stefanescu. Bulletin of the EATCS, 46(1992), 376--379.
  2. Flownomials: regular expressions for distributed computation. Gh. Stefanescu. In: Relational Methods in Computer Science, Eds. C. Brink and G. Schmidt. Dagstuhl-Seminar Report 80, Saarbrucken, 1994.

2002 - 2015 -- Facultatea de Matematica si Informatica, Universitatea din Bucuresti
Str. Academiei nr. 14, sector 1, C.P. 010014, Bucuresti, Romania
Tel: (4-021) 314 2863, Fax: (4-021) 315 6990, secretariat fmi.unibuc.ro