 | 2009 |
|---|
| 10 |       | Ahmed Bouajjani,
Cezara Dragoi,
Constantin Enea,
Mihaela Sighireanu:
A Logic-Based Framework for Reasoning about Composite Data Structures.
CONCUR 2009: 178-195 |
| 9 | | 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 |
|---|
| 8 | | Constantin Enea:
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.
ECBS 2008: 126-135 |
| 7 | | 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 | | Constantin Enea,
Catalin Dima:
Abstractions of Multi-agent Systems.
CEEMAS 2007: 11-21 |
| 5 | | 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 | | Ferucio Laurentiu Tiplea,
Constantin Enea:
Abstractions of data types.
Acta Inf. 42(8-9): 639-671 (2006) |
| 2005 |
|---|
| 3 | | 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 | | 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) |
