activity
20082018
most citedA sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices

1 citations · 2 across the 6 of their papers we have counts for

collaborators

7 papers

cs.DC2018

Adaptive virtual organisms: A compositional model for complex hardware-software binding

Ciprian Ionut Paduraru, Gheorghe Stefanescu

The relation between a structure and the function running on that structure is of central interest in many fields, including computer science, biology (organ vs. function), psychol…

cs.FL2015

Self-assembling interactive modules: A research programme

Gheorghe Stefanescu

In this paper we propose a research programme for getting structural characterisations for 2-dimensional languages generated by self-assembling tiles. This is part of a larger prog…

cs.PL2014

On contour representation of two dimensional patterns

Iulia Teodora Banu-Demergian, Gheorghe Stefanescu

Two-dimensional patterns are used in many research areas in computer science, ranging from image processing to specification and verification of complex software systems (via scena…

cs.LO2013

Network algebra for synchronous dataflow

J. A. Bergstra, C. A. Middelburg, Gh. Stefanescu

We develop an algebraic theory of synchronous dataflow networks. First, a basic algebraic theory of networks, called BNA (Basic Network Algebra), is introduced. This theory capture…

cs.FL2009

Undecidability Results for Finite Interactive Systems

Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu

A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers and voices)…

cs.PL2008★ 1 cited

New parallel programming language design: a bridge between brain models and multi-core/many-core computers?

Gheorghe Stefanescu, Camelia Chira

The recurrent theme of this paper is that sequences of long temporal patterns as opposed to sequences of simple statements are to be fed into computation devices, being them (new p…