default search action
Gheorghe Stefanescu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j22]Ciprian Ionut Paduraru, Gheorghe Stefanescu:
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding, . Fundam. Informaticae 173(2-3): 139-176 (2020)
2010 – 2019
- 2019
- [i7]Ciprian Ionut Paduraru, Gheorghe Stefanescu:
Adaptive virtual organisms: A compositional model for complex hardware-software binding. CoRR abs/1901.04983 (2019) - 2017
- [c19]Ciprian Ionut Paduraru, Radu Stefan Mincu, Gheorghe Stefanescu:
Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling. SASO 2017: 101-110 - 2016
- [c18]Gheorghe Stefanescu, Ciprian Ionut Paduraru:
Self-assembling heterogeneous interactive systems. SiSoS@ECSA 2016: 6:1-6:7 - [p3]Gheorghe Stefanescu:
Self-Assembling Interactive Modules: A Research Programme. From Action Systems to Distributed Systems 2016: 231-246 - 2015
- [c17]Gheorghe Stefanescu:
A Quest for Kleene Algebra in 2 Dimensions. RAMiCS 2015: 3-26 - [c16]Alexandru Popa
, Iulia Teodora Banu-Demergian, Camelia Chira
A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems. EGC 2015: 101-112 - [i6]Gheorghe Stefanescu:
Self-assembling interactive modules: A research programme. CoRR abs/1506.05499 (2015) - 2014
- [j21]Iulia Teodora Banu-Demergian, Gheorghe Stefanescu:
Towards a Formal Representation of Interactive Systems. Fundam. Informaticae 131(3-4): 313-336 (2014) - [c15]Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement of Structured Interactive Systems. ICTAC 2014: 133-150 - [i5]Iulia Teodora Banu-Demergian, Gheorghe Stefanescu:
On contour representation of two dimensional patterns. CoRR abs/1405.3791 (2014) - 2013
- [c14]Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu:
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. FSEN 2013: 183-198 - [i4]Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu:
Network algebra for synchronous dataflow. CoRR abs/1303.0382 (2013) - 2012
- [c13]Denisa Diaconescu, Ioana Leustean
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 - 2010
- [j20]Gheorghe Paun, Mario J. Pérez-Jiménez
Membrane computing and programming. J. Log. Algebraic Methods Program. 79(6): 289-290 (2010) - [j19]Camelia Chira
P systems with control nuclei: The concept. J. Log. Algebraic Methods Program. 79(6): 326-333 (2010) - [i3]Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu:
Undecidability Results for Finite Interactive Systems. CoRR abs/1001.0143 (2010)
2000 – 2009
- 2009
- [j18]Manfred Broy, Gheorghe Stefanescu:
Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebraic Methods Program. 78(2): 53 (2009) - 2008
- [c12]Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu:
Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393 - [c11]Cezara Dragoi, Gheorghe Stefanescu:
On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM 2008: 259-270 - [c10]Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu:
Undecidability Results for Finite Interactive Systems. SYNASC 2008: 366-369 - [i2]Cezara Dragoi, Gheorghe Stefanescu:
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices. CoRR abs/0810.3332 (2008) - [i1]Gheorghe Stefanescu, Camelia Chira:
New parallel programming language design: a bridge between brain models and multi-core/many-core computers? CoRR abs/0812.2926 (2008) - 2007
- [j17]Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand:
Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. J. Univers. Comput. Sci. 13(11): 1498-1500 (2007) - [j16]Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu:
High-level Structured Interactive Programs with Registers and Voices. J. Univers. Comput. Sci. 13(11): 1722-1754 (2007) - [c9]Cezara Dragoi, Gheorghe Stefanescu:
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. FInCo@ETAPS 2007: 69-94 - 2006
- [j15]Gheorghe Stefanescu:
Interactive Systems with Registers and Voices. Fundam. Informaticae 73(1-2): 285-305 (2006) - 2005
- [j14]Gabriel Ciobanu
P Transducers. New Gener. Comput. 24(1): 1-28 (2005) - 2001
- [j13]Manfred Broy, Gheorghe Stefanescu:
The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001) - [c8]Gheorghe Stefanescu:
Interactive Systems: From Folklore to Mathematics. RelMiCS 2001: 197-211 - 2000
- [b1]Gheorghe Stefanescu:
Network algebra. Discrete mathematics and theoretical computer science, Springer 2000, ISBN 978-1-85233-195-5, pp. I-XV, 1-400 - [j12]Cristian Calude, Gheorghe Stefanescu:
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. Univers. Comput. Sci. 6(1): 1-2 (2000) - [j11]Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories. J. Univers. Comput. Sci. 6(1): 112-129 (2000)
1990 – 1999
- 1999
- [c7]Gheorghe Stefanescu:
Preface. WDS@FCT 1999: 1-2 - [p2]Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu:
What is Behind UML-RT? Behavioral Specifications of Businesses and Systems 1999: 75-90 - [e1]Gheorghe Stefanescu:
Workshop on Distributed Systems, WDS 1999, A satellite workshop to FCT 1999, Iassy, Romania, September 2-3, 1999. Electronic Notes in Theoretical Computer Science 28, Elsevier 1999 [contents] - 1998
- [j10]Gheorghe Stefanescu:
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. Log. J. IGPL 6(2): 348-369 (1998) - [c6]Gheorghe Stefanescu:
On space-time duality in computing: Imperative programming versus wave computation. RelMiCS 1998: 197-201 - [c5]Radu Grosu, Gheorghe Stefanescu, Manfred Broy:
Visual Formalisms Revisited. ACSD 1998: 41-51 - 1997
- [j9]Jan A. Bergstra, Cornelis A. Middelburg
Network algebra for asynchronous dataflow. Int. J. Comput. Math. 65(1-2): 57-88 (1997) - [c4]Gheorghe Stefanescu:
Axiomatizing Mixed Relations. RelMiCS 1997: 177-186 - 1996
- [j8]Jan A. Bergstra, Gheorghe Stefanescu:
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. Fundam. Informaticae 27(1): 37-56 (1996) - 1995
- [c3]Jan A. Bergstra, Gheorghe Stefanescu:
Processes with Multiple Entries and Exits. FCT 1995: 136-145 - 1994
- [j7]Virgil Emil Cazanescu, Gheorghe Stefanescu:
Classes of finite relations as initial abstract data types - II. Discret. Math. 126(1-3): 47-65 (1994) - [j6]Jan A. Bergstra, Gheorghe Stefanescu:
Bisimulation is Two-Way Simulation. Inf. Process. Lett. 52(6): 285-287 (1994) - [p1]Virgil Emil Cazanescu, Gheorghe Stefanescu:
Feedback, Iteration, and Repetition. Mathematical Aspects of Natural and Formal Languages 1994: 43-61 - 1993
- [c2]Jan A. Bergstra, Gheorghe Stefanescu:
Translations Between Flowchart Schemes and Process Graphs. FCT 1993: 152-161 - 1992
- [j5]Virgil Emil Cazanescu, Gheorghe Stefanescu:
A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization. Theor. Comput. Sci. 99(1): 1-63 (1992) - 1991
- [j4]Virgil Emil Cazanescu, Gheorghe Stefanescu:
Classes of finite relations as initial abstract data types I. Discret. Math. 90(3): 233-265 (1991) - 1990
- [j3]Virgil Emil Cazanescu, Gheorghe Stefanescu:
A note on axiomatizing flowchart schemes. Acta Cybern. 9(4): 349-359 (1990)
1980 – 1989
- 1987
- [j2]Gheorghe Stefanescu:
On Flowchart Theories. I. The Deterministic Case. J. Comput. Syst. Sci. 35(2): 163-191 (1987) - [j1]Gheorghe Stefanescu:
On Flowchart Theories: Part II. The Nondeterministic Case. Theor. Comput. Sci. 52: 307-340 (1987) - 1986
- [c1]Gheorghe Stefanescu:
An Algebraic Theory of Flowchart Schemes. CAAP 1986: 60-73
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: