- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i4 |      | Jan A. Bergstra, C. A. Middelburg, Gheorghe Stefanescu: Network algebra for synchronous dataflow. CoRR abs/1303.0382 (2013) |
| 2012 | ||
| c11 | | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu: Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 |
| 2010 | ||
| j21 | | Gheorghe Paun, Mario J. Pérez-Jiménez, Gheorghe Stefanescu: Membrane computing and programming. J. Log. Algebr. Program. 79(6): 289-290 (2010) |
| j20 | | Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu: P systems with control nuclei: The concept. J. Log. Algebr. Program. 79(6): 326-333 (2010) |
| i3 | | Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu: Undecidability Results for Finite Interactive Systems. CoRR abs/1001.0143 (2010) |
| 2009 | ||
| j19 | | Manfred Broy, Gheorghe Stefanescu: Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebr. Program. 78(2): 53 (2009) |
| 2008 | ||
| j18 | | 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) |
| c10 | | Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu: Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing 2008: 374-393 |
| c9 | | Cezara Dragoi, Gheorghe Stefanescu: On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM 2008: 259-270 |
| c8 | | Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu: Undecidability Results for Finite Interactive Systems. SYNASC 2008: 366-369 |
| i2 | | 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) |
| i1 | | 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) |
| 2007 | ||
| j17 | | 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) |
| j16 | | Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu: High-level Structured Interactive Programs with Registers and Voices. J. UCS 13(11): 1722-1754 (2007) |
| 2006 | ||
| j15 | | Gheorghe Stefanescu: Interactive Systems with Registers and Voices. Fundam. Inform. 73(1-2): 285-305 (2006) |
| 2005 | ||
| j14 | | Gabriel Ciobanu, Gheorghe Paun, Gheorghe Stefanescu: P Transducers. New Generation Comput. 24(1): 1-28 (2005) |
| 2001 | ||
| j13 | | Manfred Broy, Gheorghe Stefanescu: The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001) |
| c7 | | |
| 2000 | ||
| j12 | | 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) |
| j11 | | Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000) |
| 1999 | ||
| j10 | | |
| 1998 | ||
| j9 | | Gheorghe Stefanescu: Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. Logic Journal of the IGPL 6(2): 348-369 (1998) |
| c6 |  | Gheorghe Stefanescu: On space-time duality in computing: Imperative programming versus wave computation. RelMiCS 1998: 197-201 |
| c5 | | |
| 1997 | ||
| c4 | | |
| 1996 | ||
| j8 | | Jan A. Bergstra, Gheorghe Stefanescu: Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation. Fundam. Inform. 27(1): 37-56 (1996) |
| 1995 | ||
| c3 | | |
| 1994 | ||
| j7 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: Classes of finite relations as initial abstract data types - II. Discrete Mathematics 126(1-3): 47-65 (1994) |
| j6 | | Jan A. Bergstra, Gheorghe Stefanescu: Bisimulation is Two-Way Simulation. Inf. Process. Lett. 52(6): 285-287 (1994) |
| 1993 | ||
| c2 | | Jan A. Bergstra, Gheorghe Stefanescu: Translations Between Flowchart Schemes and Process Graphs. FCT 1993: 152-161 |
| 1992 | ||
| j5 | | 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 | ||
| j4 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: Classes of finite relations as initial abstract data types I. Discrete Mathematics 90(3): 233-265 (1991) |
| 1990 | ||
| j3 | | Virgil Emil Cazanescu, Gheorghe Stefanescu: A note on axiomatizing flowchart schemes. Acta Cybern. 9(4): 349-359 (1990) |
| 1987 | ||
| j2 | | Gheorghe Stefanescu: On Flowchart Theories. I. The Deterministic Case. J. Comput. Syst. Sci. 35(2): 163-191 (1987) |
| j1 | | Gheorghe Stefanescu: On Flowchart Theories: Part II. The Nondeterministic Case. Theor. Comput. Sci. 52: 307-340 (1987) |
| 1986 | ||
| c1 | | |
| 1 | Jan A. Bergstra | |
| 2 | Manfred Broy | |
| 3 | Cristian S. Calude (Cristian Calude) | |
| 4 | Virgil Emil Cazanescu | |
| 5 | Camelia Chira | |
| 6 | Gabriel Ciobanu | |
| 7 | Denisa Diaconescu | |
| 8 | Cezara Dragoi | |
| 9 | Radu Grosu | |
| 10 | Ioana Leustean | |
| 11 | Dorel Lucanu | |
| 12 | Kees Middelburg (Cornelis A. Middelburg, C. A. Middelburg) | |
| 13 | Gheorghe Paun | |
| 14 | Luigia Petre | |
| 15 | Alexandru Popa | |
| 16 | Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) | |
| 17 | Grigore Rosu | |
| 18 | Traian-Florin Serbanuta (Traian Serbanuta) | |
| 19 | Kaisa Sere | |
| 20 | Alexandru Sofronia | |
| 21 | Marius Zimand |
Colors in the list of coauthors
Last update Fri May 24 13:58:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page