Gheorghe Stefanescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1993–2016
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ECSA | Self-assembling heterogeneous interactive systems. | Gheorghe Stefanescu, Ciprian Ionut Paduraru |
| 2014 | ICTAC | Refinement of Structured Interactive Systems. | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2012 | IFM | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2008 | SOFSEM | On Compiling Structured Interactive Programs with Registers and Voices. | Cezara Dragoi, Gheorghe Stefanescu |
| 2008 | SYNASC | Undecidability Results for Finite Interactive Systems. | Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu |
| 1995 | FCT | Processes with Multiple Entries and Exits. | Jan A. Bergstra, Gheorghe Stefanescu |
| 1993 | FCT | Translations Between Flowchart Schemes and Process Graphs. | Jan A. Bergstra, Gheorghe Stefanescu |