| |
| 2008 | ||
|---|---|---|
| 6 | EE | Constantin Enea: Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. ECBS 2008: 126-135 |
| 2007 | ||
| 5 | EE | Constantin Enea, Catalin Dima: Abstractions of Multi-agent Systems. CEEMAS 2007: 11-21 |
| 2006 | ||
| 4 | EE | Ferucio Laurentiu Tiplea, Constantin Enea: Abstractions of data types. Acta Inf. 42(8-9): 639-671 (2006) |
| 2005 | ||
| 3 | EE | Constantin Enea: Unifying Decidability Results on Protection Systems Using Simulations. Formal Aspects in Security and Trust 2005: 96-111 |
| 2 | Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu: Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211 | |
| 2002 | ||
| 1 | EE | Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea: SE-Systems, Timing Mechanisms, and Time-Varying Codes. Int. J. Comput. Math. 79(10): 1083-1091 (2002) |
| 1 | Catalin V. Birjoveanu | [2] |
| 2 | Catalin Dima | [5] |
| 3 | Erkki Mäkinen | [1] |
| 4 | Ferucio Laurentiu Tiplea | [1] [2] [4] |