Volgen
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
123*2000
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
821990
On flowchart theories: Part II. The nondeterministic case
G Stefanescu
Theoretical Computer Science 52 (3), 307-340, 1987
511987
Sevilla carpets associated with P systems
G Ciobanu, G Paun, G Stefanescu
Proceedings of the Brainstorming Week on Membrane Computing, Tarragona …, 2003
402003
On flowchart theories Part I. The deterministic case
G Stefanescu
Journal of Computer and System Sciences 35 (2), 163-191, 1987
401987
Notes on equational theories of relations
SL Bloom, Z Ésik, G Stefanescu
Algebra Universalis 33 (1), 98-126, 1995
391995
Visual formalisms revisited
R Grosu, G Stefanescu, M Broy
Application of Concurrency to System Design, 1998. Proceedings., 1998 …, 1998
341998
Feedback theories (a calculus for isomorphism classes of flowchart schemes)
G Stefanescu
Preprint Series in Mathematics, No 24, 1986
341986
Algebra of flownomials
G Stefanescu
Institut für Informatik, Technical University Munich, Report TUM- I9437, 1994
32*1994
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
27*2008
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
252008
Interactive systems with registers and voices
G Stefanescu
Fundamenta Informaticae 73 (1-2), 285-305, 2006
252006
Feedback, iteration, and repetition
VE Căzănescu, G Ştefănescu
Mathematical aspects of natural and formal languages, 43-61, 1994
251994
P transducers
G Ciobanu, G Păun, G Stefanescu
New Generation Computing 24 (1), 1-28, 2006
232006
An algebraic theory of flowchart schemes
G Stefanescu
CAAP'86, LNCS 214, 60-73, 1986
23*1986
What is Behind UML-RT
R Grosu, M Broy, B Selic, G Stefanescu
Behavioral specifications of businesses and systems, 73-88, 1999
22*1999
Towards a calculus for UML-RT specifications
R Grosu, M Broy, B Selic, G Stefanescu
Proc. OOPSLA, 1998
221998
High-level Structured Interactive Programs with Registers and Voices.
A Popa, A Sofronia, G Stefanescu
J. Univers. Comput. Sci. 13 (11), 1722-1754, 2007
212007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20