An Algebraic Theory of Flowchart Schemes. - Gheorghe Stefanescu (CAAP, 1986)

On Flowchart Theories. I. The Deterministic Case. - Gheorghe Stefanescu (J. Comput. Syst. Sci., 1987)

On Flowchart Theories: Part II. The Nondeterministic Case. - Gheorghe Stefanescu (Theor. Comput. Sci., 1987)

A note on axiomatizing flowchart schemes. - Virgil Emil Cazanescu; Gheorghe Stefanescu (Acta Cybern., 1990)

Classes of finite relations as initial abstract data types I. - Virgil Emil Cazanescu; Gheorghe Stefanescu (Discret. Math., 1991)

A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization. - Virgil Emil Cazanescu; Gheorghe Stefanescu (Theor. Comput. Sci., 1992)

Translations Between Flowchart Schemes and Process Graphs. - Jan A. Bergstra; Gheorghe Stefanescu (FCT, 1993)

Feedback, Iteration, and Repetition. - Virgil Emil Cazanescu; Gheorghe Stefanescu (Mathematical Aspects of Natural and Formal Languages, 1994)

Classes of finite relations as initial abstract data types - II. - Virgil Emil Cazanescu; Gheorghe Stefanescu (Discret. Math., 1994)

Bisimulation is Two-Way Simulation. - Jan A. Bergstra; Gheorghe Stefanescu (Inf. Process. Lett., 1994)

Processes with Multiple Entries and Exits. - Jan A. Bergstra; Gheorghe Stefanescu (FCT, 1995)

Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. - Jan A. Bergstra; Gheorghe Stefanescu (Fundam. Informaticae, 1996)

Axiomatizing Mixed Relations. - Gheorghe Stefanescu (RelMiCS, 1997)

Network algebra for asynchronous dataflow. - Jan A. Bergstra; Cornelis A. Middelburg; Gheorghe Stefanescu (Int. J. Comput. Math., 1997)

On space-time duality in computing: Imperative programming versus wave computation. - Gheorghe Stefanescu (RelMiCS, 1998)

Visual Formalisms Revisited. - Radu Grosu; Gheorghe Stefanescu; Manfred Broy (ACSD, 1998)

Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. - Gheorghe Stefanescu (Log. J. IGPL, 1998)

What is Behind UML-RT? - Radu Grosu; Manfred Broy; Bran Selic; Gheorghe Stefanescu (Behavioral Specifications of Businesses and Systems, 1999)

Preface. - Gheorghe Stefanescu (WDS@FCT, 1999)

Network algebra. - Gheorghe Stefanescu (Springer, 2000)

Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. - Cristian Calude; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2000)

Mixed Relations as Enriched Semiringal Categories. - Radu Grosu; Dorel Lucanu; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2000)

Interactive Systems: From Folklore to Mathematics. - Gheorghe Stefanescu (RelMiCS, 2001)

The algebra of stream processing functions. - Manfred Broy; Gheorghe Stefanescu (Theor. Comput. Sci., 2001)

P Transducers. - Gabriel Ciobanu; Gheorghe Paun; Gheorghe Stefanescu (New Gener. Comput., 2005)

Interactive Systems with Registers and Voices. - Gheorghe Stefanescu (Fundam. Informaticae, 2006)

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. - Cezara Dragoi; Gheorghe Stefanescu (FInCo@ETAPS, 2007)

Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. - Cristian S. Calude; Gheorghe Stefanescu; Marius Zimand (J. Univers. Comput. Sci., 2007)

High-level Structured Interactive Programs with Registers and Voices. - Alexandru Popa 001; Alexandru Sofronia; Gheorghe Stefanescu (J. Univers. Comput. Sci., 2007)

Defining and Executing P Systems with Structured Data in K. - Traian Serbanuta; Gheorghe Stefanescu; Grigore Rosu (Workshop on Membrane Computing, 2008)

On Compiling Structured Interactive Programs with Registers and Voices. - Cezara Dragoi; Gheorghe Stefanescu (SOFSEM, 2008)

Undecidability Results for Finite Interactive Systems. - Alexandru Sofronia; Alexandru Popa 001; Gheorghe Stefanescu (SYNASC, 2008)

A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices - Cezara Dragoi; Gheorghe Stefanescu (CoRR, 2008)

New parallel programming language design: a bridge between brain models and multi-core/many-core computers? - Gheorghe Stefanescu; Camelia Chira (CoRR, 2008)

Guest Editors' Foreword: Selected papers on "Streams and Algebra". - Manfred Broy; Gheorghe Stefanescu (J. Log. Algebraic Methods Program., 2009)

P systems with control nuclei: The concept. - Camelia Chira; Traian-Florin Serbanuta; Gheorghe Stefanescu (J. Log. Algebraic Methods Program., 2010)

Membrane computing and programming. - Gheorghe Paun; Mario J. Pérez-Jiménez; Gheorghe Stefanescu (J. Log. Algebraic Methods Program., 2010)

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. - Denisa Diaconescu; Ioana Leustean; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (IFM, 2012)

A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. - Iulia Teodora Banu-Demergian; Ciprian Paduraru; Gheorghe Stefanescu (FSEN, 2013)

Network algebra for synchronous dataflow - Jan A. Bergstra; Cornelis A. Middelburg; Gheorghe Stefanescu (CoRR, 2013)

Refinement of Structured Interactive Systems. - Denisa Diaconescu; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (ICTAC, 2014)

On contour representation of two dimensional patterns. - Iulia Teodora Banu-Demergian; Gheorghe Stefanescu (CoRR, 2014)

Towards a Formal Representation of Interactive Systems. - Iulia Teodora Banu-Demergian; Gheorghe Stefanescu (Fundam. Informaticae, 2014)

A Quest for Kleene Algebra in 2 Dimensions. - Gheorghe Stefanescu (RAMiCS, 2015)

A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems. - Alexandru Popa 001; Iulia Teodora Banu-Demergian; Camelia Chira; Florian Mircea Boian; Gheorghe Stefanescu (EGC, 2015)

Self-assembling interactive modules: A research programme. - Gheorghe Stefanescu (CoRR, 2015)

Self-Assembling Interactive Modules: A Research Programme. - Gheorghe Stefanescu (From Action Systems to Distributed Systems, 2016)

Self-assembling heterogeneous interactive systems. - Gheorghe Stefanescu; Ciprian Ionut Paduraru (SiSoS@ECSA, 2016)

Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling. - Ciprian Ionut Paduraru; Radu Stefan Mincu; Gheorghe Stefanescu (SASO, 2017)

Adaptive virtual organisms: A compositional model for complex hardware-software binding. - Ciprian Ionut Paduraru; Gheorghe Stefanescu (CoRR, 2019)

Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding, . - Ciprian Ionut Paduraru; Gheorghe Stefanescu (Fundam. Informaticae, 2020)