Gheorghe Stefanescu
Gheorghe Stefanescu
Professor of Computer Science, University of Bucharest
Verified email at fmi.unibuc.ro
Title
Cited by
Cited by
Year
Network algebra
G Stefanescu
Springer Verlag, 2000
109*2000
The algebra of stream processing functions
M Broy, G Stefanescu
Theoretical Computer Science 258 (1), 99-129, 2001
81*2001
Towards a new algebraic foundation of flowchart scheme theory
VE Cazanescu, G Stefanescu
Fundamenta Informaticae 13 (2), 171-210, 1990
721990
On flowchart theories: Part II. The nondeterministic case
G Stefanescu
Theoretical Computer Science 52 (3), 307-340, 1987
451987
On flowchart theories Part I. The deterministic case
G Stefanescu
Journal of Computer and System Sciences 35 (2), 163-191, 1987
411987
Sevilla carpets associated with P systems
G Ciobanu, G Paun, G Stefanescu
Proceedings of the Brainstorming Week on Membrane Computing, Tarragona …, 2003
372003
Visual formalisms revisited
R Grosu, G Stefanescu, M Broy
Application of Concurrency to System Design, 1998. Proceedings., 1998 …, 1998
331998
Algebra of flownomials
G Stefanescu
Institut für Informatik, Technical University Munich, Report TUM- I9437, 1994
32*1994
Notes on equational theories of relations
SL Bloom, Z Ésik, G Stefanescu
Algebra Universalis 33 (1), 98-126, 1995
291995
Feedback theories (a calculus for isomorphism classes of flowchart schemes)
G Stefanescu
Preprint Series in Mathematics, No 24, 1986
29*1986
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
25*2008
Network algebra for asynchronous dataflow∗
JA Bergstra, CA Middelburg, G Stefanescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
25*1997
Interactive systems with registers and voices
G Stefanescu
Fundamenta Informaticae 73 (1, 2), 285-305, 2006
242006
Towards a calculus for UML-RT specifications
R Grosu, M Broy, B Selic, G Stefanescu
Proc. OOPSLA, 1998
241998
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
232008
P transducers
G Ciobanu, G Păun, G Stefanescu
New Generation Computing 24 (1), 1-28, 2006
222006
Classes of finite relations as initial abstract data types I
VE Cazanescu, G Stefanescu
Discrete mathematics 90 (3), 233-265, 1991
221991
What is Behind UML-RT
R Grosu, M Broy, B Selic, G Stefanescu
Behavioral specifications of businesses and systems, 73-88, 1999
21*1999
A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
VE Cazanescu, G Stefanescu
Theoretical Computer Science 99 (1), 1-63, 1992
211992
High-level Structured Interactive Programs with Registers and Voices.
A Popa, A Sofronia, G Stefanescu
J. UCS 13 (11), 1722-1754, 2007
192007
The system can't perform the operation now. Try again later.
Articles 1–20