Gheorghe Stefanescu
Gheorghe Stefanescu
Professor of Computer Science, University of Bucharest
Geverifieerd e-mailadres voor fmi.unibuc.ro
Titel
Geciteerd door
Geciteerd door
Jaar
Network algebra
G Stefanescu
Springer Verlag, 2000
110*2000
The algebra of stream processing functions
M Broy, G Stefanescu
Theoretical Computer Science 258 (1), 99-129, 2001
83*2001
Towards a new algebraic foundation of flowchart scheme theory
VE Cazanescu, G Stefanescu
Fundamenta Informaticae 13 (2), 171-210, 1990
761990
On flowchart theories: Part II. The nondeterministic case
G Stefanescu
Theoretical Computer Science 52 (3), 307-340, 1987
441987
On flowchart theories Part I. The deterministic case
G Stefanescu
Journal of Computer and System Sciences 35 (2), 163-191, 1987
401987
Sevilla carpets associated with P systems
G Ciobanu, G Paun, G Stefanescu
Proceedings of the Brainstorming Week on Membrane Computing, Tarragona…, 2003
392003
Visual formalisms revisited
R Grosu, G Stefanescu, M Broy
Application of Concurrency to System Design, 1998. Proceedings., 1998…, 1998
321998
Algebra of flownomials
G Stefanescu
Institut fr Informatik, Technical University Munich, Report TUM- I9437, 1994
31*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
291986
Network algebra for asynchronous dataflow∗
JA Bergstra, CA Middelburg, G Stefanescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
27*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
25*2008
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
241998
Classes of finite relations as initial abstract data types I
VE Cazanescu, G Stefanescu
Discrete mathematics 90 (3), 233-265, 1991
231991
P transducers
G Ciobanu, G Păun, G Stefanescu
New Generation Computing 24 (1), 1-28, 2006
222006
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
An algebraic theory of flowchart schemes
G Stefanescu
CAAP'86, LNCS 214, 60-73, 1986
21*1986
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20