 | 2009 |
| 7 |  | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Mihaela Sighireanu:
A Logic-Based Framework for Reasoning about Composite Data Structures.
CONCUR 2009: 178-195 |
| 6 |  | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Yan Jurski,
Mihaela Sighireanu:
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
| 5 |  | Cezara Dragoi,
Gheorghe Stefanescu:
On Compiling Structured Interactive Programs with Registers and Voices.
SOFSEM 2008: 259-270 |
| 4 |  | 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 |  | 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 |  | 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 |  | Cezara Dragoi,
Florin Manea,
Victor Mitrana:
Accepting Networks of Evolutionary Processors with Filtered Connections.
J. UCS 13(11): 1598-1614 (2007) |