- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 34 |      | Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu: Undecidability Results for Finite Interactive Systems CoRR abs/1001.0143: (2010) |
| 33 | | Gheorghe Paun, Mario J. Pérez-Jiménez, Gheorghe Stefanescu: Membrane computing and programming. J. Log. Algebr. Program. 79(6): 289-290 (2010) |
| 32 | | Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu: P systems with control nuclei: The concept. J. Log. Algebr. Program. 79(6): 326-333 (2010) |
| 2009 | ||
| 31 | | Manfred Broy, Gheorghe Stefanescu: Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebr. Program. 78(2): 53 (2009) |
| 2008 | ||
| 30 | | Cezara Dragoi, Gheorghe Stefanescu: On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM 2008: 259-270 |
| 29 | | Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu: Undecidability Results for Finite Interactive Systems. SYNASC 2008: 366-369 |
| 28 | | Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu: Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393 |
| 27 | | 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) |
| 26 | | 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) |
| 25 | | Cezara Dragoi, Gheorghe Stefanescu: AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. Electr. Notes Theor. Comput. Sci. 203(3): 69-94 (2008) |
| 2007 | ||
| 24 | | 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. UCS 13(11): 1498-1500 (2007) |
| 23 | | Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu: High-level Structured Interactive Programs with Registers and Voices. J. UCS 13(11): 1722-1754 (2007) |
| 2006 | ||
| 22 | | Gheorghe Stefanescu: Interactive Systems with Registers and Voices. Fundam. Inform. 73(1-2): 285-305 (2006) |
| 2005 | ||
| 21 | | Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu: P Transducers. New Generation Comput. 24(1): 1-28 (2005) |
| 2001 | ||
| 20 | | Gheorghe Stefanescu: Interactive Systems: From Folklore to Mathematics. RelMiCS 2001: 197-211 |
| 19 | | Manfred Broy, Gheorghe Stefanescu: The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001) |
| 2000 | ||
| 18 | | Cristian Calude, Gheorghe Stefanescu: Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. UCS 6(1): 1-2 (2000) |
| 17 | | Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000) |
| 1999 | ||
| 16 | | Gheorghe Stefanescu: Preface. Electr. Notes Theor. Comput. Sci. 28: 1-2 (1999) |
| 1998 | ||
| 15 | | Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51 |
| 14 |  | Gheorghe Stefanescu: On space-time duality in computing: Imperative programming versus wave computation. RelMiCS 1998: 197-201 |
| 13 | | Gheorghe Stefanescu: Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. Logic Journal of the IGPL 6(2): 348-369 (1998) |
| 1997 | ||
| 12 | | Gheorghe Stefanescu: Axiomatizing Mixed Relations. RelMiCS 1997: 177-186 |
| 1996 | ||
| 11 | | Jan A. Bergstra, Gheorghe Stefanescu: Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. Fundam. Inform. 27(1): 37-56 (1996) |
| 1995 | ||
| 10 | | Jan A. Bergstra, Gheorghe Stefanescu: Processes with Multiple Entries and Exits. FCT 1995: 136-145 |
| 1994 | ||
| 9 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: Classes of finite relations as initial abstract data types - II. Discrete Mathematics 126(1-3): 47-65 (1994) |
| 8 | | Jan A. Bergstra, Gheorghe Stefanescu: Bisimulation is Two-Way Simulation. Inf. Process. Lett. 52(6): 285-287 (1994) |
| 1993 | ||
| 7 | | Jan A. Bergstra, Gheorghe Stefanescu: Translations Between Flowchart Schemes and Process Graphs. FCT 1993: 152-161 |
| 1992 | ||
| 6 | | 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 | ||
| 5 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: Classes of finite relations as initial abstract data types I. Discrete Mathematics 90(3): 233-265 (1991) |
| 1990 | ||
| 4 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: A note on axiomatizing flowchart schemes. Acta Cybern. 9(4): 349-359 (1990) |
| 1987 | ||
| 3 | | Gheorghe Stefanescu: On Flowchart Theories. I. The Deterministic Case. J. Comput. Syst. Sci. 35(2): 163-191 (1987) |
| 2 | | Gheorghe Stefanescu: On Flowchart Theories: Part II. The Nondeterministic Case. Theor. Comput. Sci. 52: 307-340 (1987) |
| 1986 | ||
| 1 | | Gheorghe Stefanescu: An Algebraic Theory of Flowchart Schemes. CAAP 1986: 60-73 |
| 1 | Jan A. Bergstra | [7] [8] [10] [11] |
| 2 | Manfred Broy | [15] [19] [31] |
| 3 | Cristian S. Calude (Cristian Calude) | [18] [24] |
| 4 | Virgil Emil Cazanescu | [4] [5] [6] [9] |
| 5 | Camelia Chira | [26] [32] |
| 6 | Gabriel Ciobanu | [21] |
| 7 | Cezara Dragoi | [25] [27] [30] |
| 8 | Radu Grosu | [15] [17] |
| 9 | Dorel Lucanu | [17] |
| 10 | Gheorghe Paun | [21] [33] |
| 11 | Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) | [33] |
| 12 | Alexandru Popa | [23] [29] [34] |
| 13 | Grigore Rosu | [28] |
| 14 | Traian-Florin Serbanuta (Traian Serbanuta) | [28] [32] |
| 15 | Alexandru Sofronia | [23] [29] [34] |
| 16 | Marius Zimand | [24] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page