![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Cezara Dragoi, Gheorghe Stefanescu: On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM 2008: 259-270 |
4 | EE | 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) |
3 | EE | 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) |
2 | EE | Cezara Dragoi, Florin Manea: On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. Int. J. Found. Comput. Sci. 19(5): 1113-1132 (2008) |
2007 | ||
1 | EE | Cezara Dragoi, Florin Manea, Victor Mitrana: Accepting Networks of Evolutionary Processors with Filtered Connections. J. UCS 13(11): 1598-1614 (2007) |
1 | Florin Manea | [1] [2] |
2 | Victor Mitrana | [1] |
3 | Gheorghe Stefanescu | [3] [4] [5] |