Theo dõi
Gheorghe Stefanescu
Gheorghe Stefanescu
Professor of Computer Science, University of Bucharest
Email được xác minh tại fmi.unibuc.ro
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Network algebra
G Stefanescu
Springer Verlag, 2000
126*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
851990
On flowchart theories: Part II. The nondeterministic case
G Stefanescu
Theoretical Computer Science 52 (3), 307-340, 1987
511987
Notes on equational theories of relations
SL Bloom, Z Ésik, G Stefanescu
Algebra Universalis 33 (1), 98-126, 1995
421995
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
392003
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
311998
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
271994
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
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
231991
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
222006
Towards a calculus for UML-RT specifications
R Grosu, M Broy, B Selic, G Stefanescu
Proc. OOPSLA, 1998
221998
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20