Gheorghe Stefanescu

Publication Activity (10 Years)

Years Active: 1986-2020
Publications (10 Years): 7

Top Topics

Wigner Distribution

Algebraic Expressions

Social Intelligence

Formal Representation

Top Venues

Fundam. Informaticae

Publications

Ciprian Ionut Paduraru, Gheorghe Stefanescu
. Fundam. Informaticae 173 (2-3) (2020)
Ciprian Ionut Paduraru, Gheorghe Stefanescu
Adaptive virtual organisms: A compositional model for complex hardware-software binding. CoRR (2019)
Ciprian Ionut Paduraru, Radu Stefan Mincu, Gheorghe Stefanescu
Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling. SASO (2017)
Gheorghe Stefanescu, Ciprian Ionut Paduraru
Self-assembling heterogeneous interactive systems. SiSoS@ECSA (2016)
Alexandru Popa, Iulia Teodora Banu-Demergian, Camelia Chira, Florian Mircea Boian, Gheorghe Stefanescu
A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems. EGC (2015)
Gheorghe Stefanescu
A Quest for Kleene Algebra in 2 Dimensions. RAMiCS (2015)
Gheorghe Stefanescu
Self-assembling interactive modules: A research programme. CoRR (2015)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement of Structured Interactive Systems. ICTAC (2014)
Iulia Teodora Banu-Demergian, Gheorghe Stefanescu
On contour representation of two dimensional patterns. CoRR (2014)
Iulia Teodora Banu-Demergian, Gheorghe Stefanescu
Towards a Formal Representation of Interactive Systems. Fundam. Informaticae 131 (3-4) (2014)
Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu
Network algebra for synchronous dataflow CoRR (2013)
Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. FSEN (2013)
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM (2012)
Gheorghe Paun, Mario J. Pérez-Jiménez, Gheorghe Stefanescu
Membrane computing and programming. J. Log. Algebraic Methods Program. 79 (6) (2010)
Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu
P systems with control nuclei: The concept. J. Log. Algebraic Methods Program. 79 (6) (2010)
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
Undecidability Results for Finite Interactive Systems CoRR (2010)
Manfred Broy, Gheorghe Stefanescu
Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebraic Methods Program. 78 (2) (2009)
Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu
Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing (2008)
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
Undecidability Results for Finite Interactive Systems. SYNASC (2008)
Cezara Dragoi, Gheorghe Stefanescu
On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM (2008)
Cezara Dragoi, Gheorghe Stefanescu
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices CoRR (2008)
Cezara Dragoi, Gheorghe Stefanescu
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. Electron. Notes Theor. Comput. Sci. 203 (3) (2008)
Gheorghe Stefanescu, Camelia Chira
New parallel programming language design: a bridge between brain models and multi-core/many-core computers? CoRR (2008)
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu
High-level Structured Interactive Programs with Registers and Voices. J. Univers. Comput. Sci. 13 (11) (2007)
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) (2007)
Gheorghe Stefanescu
Interactive Systems with Registers and Voices. Fundam. Informaticae 73 (1-2) (2006)
Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu
P Transducers. New Gener. Comput. 24 (1) (2005)
Gheorghe Stefanescu
Interactive Systems: From Folklore to Mathematics. RelMiCS (2001)
Manfred Broy, Gheorghe Stefanescu
The algebra of stream processing functions. Theor. Comput. Sci. 258 (1-2) (2001)
Cristian Calude, Gheorghe Stefanescu
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. Univers. Comput. Sci. 6 (1) (2000)
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
Mixed Relations as Enriched Semiringal Categories. J. Univers. Comput. Sci. 6 (1) (2000)
Gheorghe Stefanescu
Preface. Electron. Notes Theor. Comput. Sci. 28 (1999)
Gheorghe Stefanescu
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. Log. J. IGPL 6 (2) (1998)
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
Visual Formalisms Revisited. ACSD (1998)
Gheorghe Stefanescu
On space-time duality in computing: Imperative programming versus wave computation. RelMiCS (1998)
Gheorghe Stefanescu
Axiomatizing Mixed Relations. RelMiCS (1997)
Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu
Network algebra for asynchronous dataflow. Int. J. Comput. Math. 65 (1-2) (1997)
Jan A. Bergstra, Gheorghe Stefanescu
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. Fundam. Informaticae 27 (1) (1996)
Jan A. Bergstra, Gheorghe Stefanescu
Processes with Multiple Entries and Exits. FCT (1995)
Virgil Emil Cazanescu, Gheorghe Stefanescu
Classes of finite relations as initial abstract data types - II. Discret. Math. 126 (1-3) (1994)
Jan A. Bergstra, Gheorghe Stefanescu
Bisimulation is Two-Way Simulation. Inf. Process. Lett. 52 (6) (1994)
Jan A. Bergstra, Gheorghe Stefanescu
Translations Between Flowchart Schemes and Process Graphs. FCT (1993)
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) (1992)
Virgil Emil Cazanescu, Gheorghe Stefanescu
Classes of finite relations as initial abstract data types I. Discret. Math. 90 (3) (1991)
Virgil Emil Cazanescu, Gheorghe Stefanescu
A note on axiomatizing flowchart schemes. Acta Cybern. 9 (4) (1990)
Gheorghe Stefanescu
On Flowchart Theories. I. The Deterministic Case. J. Comput. Syst. Sci. 35 (2) (1987)
Gheorghe Stefanescu
On Flowchart Theories: Part II. The Nondeterministic Case. Theor. Comput. Sci. 52 (1987)
Gheorghe Stefanescu
An Algebraic Theory of Flowchart Schemes. CAAP (1986)