Gheorghe Stefanescu

Cited by

	All	Since 2020
Citations	1127	89
h-index	21	5
i10-index	29	2

100

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 9 7 15 18 18 34 19 29 44 35 22 37 64 28 33 43 54 33 97 30 48 15 23 38 47 47 63 30 13 23 28 13 16 17 10 5

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Iulia BanuUniversity of BucharestVerified email at fmi.unibuc.ro
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Gabriel CiobanuRomanian Academy, IasiVerified email at iit.academiaromana-is.ro
Alexandru PopaProfessor, University of BucharestVerified email at fmi.unibuc.ro
Bran SelicMalina Software Corp.Verified email at acm.org
Camelia ChiraBabes-Bolyai UniversityVerified email at ubbcluj.ro
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, FinlandVerified email at abo.fi
Denisa DiaconescuUniversity of Bucharest, Faculty of Mathematics and Computer ScienceVerified email at fmi.unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Ioana LeusteanProfessor, University of BucharestVerified email at fmi.unibuc.ro
Jos BaetenVerified email at cwi.nl
Manfred BroyProfessor of Computer Science, Technical University of Munich

Gheorghe Stefanescu

Professor of Computer Science, University of Bucharest

Verified email at fmi.unibuc.ro

Formal Methods Parallel Computing Programming Languages Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Network algebra G Stefanescu Springer Verlag, 2000	127*	2000
The algebra of stream processing functions M Broy, G Stefanescu Theoretical Computer Science 258 (1), 99-129, 2001	91*	2001
Towards a new algebraic foundation of flowchart scheme theory VE Cazanescu, G Stefanescu Fundamenta Informaticae 13 (2), 171-210, 1990	85	1990
On flowchart theories: Part II. The nondeterministic case G Stefanescu Theoretical Computer Science 52 (3), 307-340, 1987	51	1987
Notes on equational theories of relations SL Bloom, Z Ésik, G Stefanescu Algebra Universalis 33 (1), 98-126, 1995	42	1995
On flowchart theories Part I. The deterministic case G Stefanescu Journal of Computer and System Sciences 35 (2), 163-191, 1987	41	1987
Sevilla carpets associated with P systems G Ciobanu, G Paun, G Stefanescu Proceedings of the Brainstorming Week on Membrane Computing, Tarragona …, 2003	39	2003
Feedback theories (a calculus for isomorphism classes of flowchart schemes) G Stefanescu Preprint Series in Mathematics, No 24, 1986	34*	1986
Algebra of flownomials G Stefanescu Institut für Informatik, Technical University Munich, Report TUM- I9437, 1994	32*	1994
Visual formalisms revisited R Grosu, G Stefanescu, M Broy Application of Concurrency to System Design, 1998. Proceedings., 1998 …, 1998	31	1998
Network algebra for asynchronous dataflow∗ JA Bergstra, CA Middelburg, G Stefanescu International Journal of Computer Mathematics 65 (1-2), 57-88, 1997	30*	1997
Defining and Executing P-systems with Structured Data in K T Serbanuta, G Stefanescu, G Rosu Ninth Workshop on Membrane Computing (WMC9), LNCS 5391, 374-393, 2008	28*	2008
Feedback, iteration, and repetition VE Căzănescu, G Ştefănescu Mathematical aspects of natural and formal languages, 43-61, 1994	27	1994
Agapia v0. 1: A programming language for interactive systems and its typing system C Dragoi, G Stefanescu Electronic Notes in Theoretical Computer Science 203 (3), 69-94, 2008	25	2008
Interactive systems with registers and voices G Stefanescu Fundamenta Informaticae 73 (1-2), 285-305, 2006	25	2006
What is Behind UML-RT R Grosu, M Broy, B Selic, G Stefanescu Behavioral specifications of businesses and systems, 73-88, 1999	23*	1999
Classes of finite relations as initial abstract data types I VE Cazanescu, G Stefanescu Discrete mathematics 90 (3), 233-265, 1991	23	1991
An algebraic theory of flowchart schemes G Stefanescu CAAP'86, LNCS 214, 60-73, 1986	23*	1986
P transducers G Ciobanu, G Păun, G Stefanescu New Generation Computing 24 (1), 1-28, 2006	22	2006
Towards a calculus for UML-RT specifications R Grosu, M Broy, B Selic, G Stefanescu Proc. OOPSLA, 1998	22	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors