| 2008 |
|---|
| 8 | EE | Constantin Enea:
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.
ECBS 2008: 126-135 |
| 7 | EE | Ferucio Laurentiu Tiplea,
Catalin V. Birjoveanu,
Constantin Enea,
Ioana Boureanu:
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.
Journal of Computer Security 16(6): 689-712 (2008) |
| 2007 |
|---|
| 6 | EE | Constantin Enea,
Catalin Dima:
Abstractions of Multi-agent Systems.
CEEMAS 2007: 11-21 |
| 5 | EE | Catalin Dima,
Constantin Enea,
Radu Gramatovici,
Alexandru Sofronia:
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.
SYNASC 2007: 33-40 |
| 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) |
