Gheorghe Stefanescu

53 papers B 4C 2Misc 1Journal 29Unranked 12
YearRankTypeTitle / Venue / Authors
2020 J jnl
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding
Fundam. Informaticae
Ciprian Ionut Paduraru, Gheorghe Stefanescu
2019 J jnl
Adaptive virtual organisms: A compositional model for complex hardware-software binding.
CoRR
Ciprian Ionut Paduraru, Gheorghe Stefanescu
2017 — conf
Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling.
SASO
Ciprian Ionut Paduraru, Radu Stefan Mincu, Gheorghe Stefanescu
2016 — ch.
Self-Assembling Interactive Modules: A Research Programme.
From Action Systems to Distributed Systems
Gheorghe Stefanescu
2016 — conf
Self-assembling heterogeneous interactive systems.
SiSoS@ECSA
Gheorghe Stefanescu, Ciprian Ionut Paduraru
2015 C conf
A Quest for Kleene Algebra in 2 Dimensions.
RAMiCS
Gheorghe Stefanescu
2015 — conf
A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems.
EGC
Alexandru Popa, Iulia Teodora Banu-Demergian, Camelia Chira, Florian Mircea Boian, Gheorghe Stefanescu
2015 J jnl
Self-assembling interactive modules: A research programme.
CoRR
Gheorghe Stefanescu
2014 J jnl
On contour representation of two dimensional patterns.
CoRR
Iulia Teodora Banu-Demergian, Gheorghe Stefanescu
2014 C conf
Refinement of Structured Interactive Systems.
ICTAC
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2014 J jnl
Towards a Formal Representation of Interactive Systems.
Fundam. Informaticae
Iulia Teodora Banu-Demergian, Gheorghe Stefanescu
2013 — conf
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming.
FSEN
Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu
2013 J jnl
Network algebra for synchronous dataflow
CoRR
Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu
2012 B conf
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.
IFM
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
2010 J jnl
Membrane computing and programming.
J. Log. Algebraic Methods Program.
Gheorghe Paun, Mario J. Pérez-Jiménez, Gheorghe Stefanescu
2010 J jnl
P systems with control nuclei: The concept.
J. Log. Algebraic Methods Program.
Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu
2010 J jnl
Undecidability Results for Finite Interactive Systems
CoRR
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
2009 J jnl
Guest Editors' Foreword: Selected papers on "Streams and Algebra".
J. Log. Algebraic Methods Program.
Manfred Broy, Gheorghe Stefanescu
2008 J jnl
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
CoRR
Cezara Dragoi, Gheorghe Stefanescu
2008 — conf
Defining and Executing P Systems with Structured Data in K.
Workshop on Membrane Computing
Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu
2008 J jnl
New parallel programming language design: a bridge between brain models and multi-core/many-core computers?
CoRR
Gheorghe Stefanescu, Camelia Chira
2008 B conf
On Compiling Structured Interactive Programs with Registers and Voices.
SOFSEM
Cezara Dragoi, Gheorghe Stefanescu
2008 Misc conf
Undecidability Results for Finite Interactive Systems.
SYNASC
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu
2007 — conf
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System.
FInCo@ETAPS
Cezara Dragoi, Gheorghe Stefanescu
2007 J jnl
Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu.
J. Univers. Comput. Sci.
Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand
2007 J jnl
High-level Structured Interactive Programs with Registers and Voices.
J. Univers. Comput. Sci.
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu
2006 J jnl
Interactive Systems with Registers and Voices.
Fundam. Informaticae
Gheorghe Stefanescu
2005 J jnl
P Transducers.
New Gener. Comput.
Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu
2001 — conf
Interactive Systems: From Folklore to Mathematics.
RelMiCS
Gheorghe Stefanescu
2001 J jnl
The algebra of stream processing functions.
Theor. Comput. Sci.
Manfred Broy, Gheorghe Stefanescu
2000 J jnl
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift.
J. Univers. Comput. Sci.
Cristian Calude, Gheorghe Stefanescu
2000 J jnl
Mixed Relations as Enriched Semiringal Categories.
J. Univers. Comput. Sci.
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
2000 — book
Network algebra.
Gheorghe Stefanescu
1999 — conf
Preface.
WDS@FCT
Gheorghe Stefanescu
1999 — ch.
What is Behind UML-RT?
Behavioral Specifications of Businesses and Systems
Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu
1999 — ed.
Workshop on Distributed Systems, WDS 1999, A satellite workshop to FCT 1999, Iassy, Romania, September 2-3, 1999
WDS@FCT
Gheorghe Stefanescu
1998 — conf
On space-time duality in computing: Imperative programming versus wave computation.
RelMiCS
Gheorghe Stefanescu
1998 J jnl
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras.
Log. J. IGPL
Gheorghe Stefanescu
1998 — conf
Visual Formalisms Revisited.
ACSD
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
1997 — conf
Axiomatizing Mixed Relations.
RelMiCS
Gheorghe Stefanescu
1997 J jnl
Network algebra for asynchronous dataflow.
Int. J. Comput. Math.
Jan A. Bergstra, Cornelis A. Middelburg, Gheorghe Stefanescu
1996 J jnl
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation.
Fundam. Informaticae
Jan A. Bergstra, Gheorghe Stefanescu
1995 B conf
Processes with Multiple Entries and Exits.
FCT
Jan A. Bergstra, Gheorghe Stefanescu
1994 J jnl
Bisimulation is Two-Way Simulation.
Inf. Process. Lett.
Jan A. Bergstra, Gheorghe Stefanescu
1994 J jnl
Classes of finite relations as initial abstract data types - II.
Discret. Math.
Virgil Emil Cazanescu, Gheorghe Stefanescu
1994 — ch.
Feedback, Iteration, and Repetition.
Mathematical Aspects of Natural and Formal Languages
Virgil Emil Cazanescu, Gheorghe Stefanescu
1993 B conf
Translations Between Flowchart Schemes and Process Graphs.
FCT
Jan A. Bergstra, Gheorghe Stefanescu
1992 J jnl
A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization.
Theor. Comput. Sci.
Virgil Emil Cazanescu, Gheorghe Stefanescu
1991 J jnl
Classes of finite relations as initial abstract data types I.
Discret. Math.
Virgil Emil Cazanescu, Gheorghe Stefanescu
1990 J jnl
A note on axiomatizing flowchart schemes.
Acta Cybern.
Virgil Emil Cazanescu, Gheorghe Stefanescu
1987 J jnl
On Flowchart Theories. I. The Deterministic Case.
J. Comput. Syst. Sci.
Gheorghe Stefanescu
1987 J jnl
On Flowchart Theories: Part II. The Nondeterministic Case.
Theor. Comput. Sci.
Gheorghe Stefanescu
1986 — conf
An Algebraic Theory of Flowchart Schemes.
CAAP
Gheorghe Stefanescu