Follow
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
1182000
The algebra of stream processing functions
M Broy, G Stefanescu
Theoretical Computer Science 258 (1), 99-129, 2001
89*2001
Towards a new algebraic foundation of flowchart scheme theory
VE Cazanescu, G Stefanescu
Fundamenta Informaticae 13 (2), 171-210, 1990
751990
On flowchart theories: Part II. The nondeterministic case
G Stefanescu
Theoretical Computer Science 52 (3), 307-340, 1987
461987
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
382003
Notes on equational theories of relations
SL Bloom, Z Ésik, G Stefanescu
Algebra Universalis 33 (1), 98-126, 1995
341995
Visual formalisms revisited
R Grosu, G Stefanescu, M Broy
Application of Concurrency to System Design, 1998. Proceedings., 1998 …, 1998
311998
Algebra of flownomials
G Stefanescu
Institut für Informatik, Technical University Munich, Report TUM- I9437, 1994
31*1994
Feedback theories (a calculus for isomorphism classes of flowchart schemes)
G Stefanescu
Preprint Series in Mathematics, No 24, 1986
291986
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
Network algebra for asynchronous dataflow∗
JA Bergstra, CA Middelburg, G Stefanescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
27*1997
Interactive systems with registers and voices
G Stefanescu
Fundamenta Informaticae 73 (1-2), 285-305, 2006
252006
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
242008
Towards a calculus for UML-RT specifications
R Grosu, M Broy, B Selic, G Stefanescu
Proc. OOPSLA, 1998
231998
Feedback, iteration, and repetition
VE Căzănescu, G Ştefănescu
Mathematical aspects of natural and formal languages, 43-61, 1994
231994
P transducers
G Ciobanu, G Păun, G Stefanescu
New Generation Computing 24 (1), 1-28, 2006
222006
An algebraic theory of flowchart schemes
G Stefanescu
CAAP'86, LNCS 214, 60-73, 1986
22*1986
What is Behind UML-RT
R Grosu, M Broy, B Selic, G Stefanescu
Behavioral specifications of businesses and systems, 73-88, 1999
21*1999
High-level Structured Interactive Programs with Registers and Voices.
A Popa, A Sofronia, G Stefanescu
J. Univers. Comput. Sci. 13 (11), 1722-1754, 2007
202007
The system can't perform the operation now. Try again later.
Articles 1–20