Search the dblp DataBase

Publications of Author

1. Constantin Enea
   Unifying Decidability Results on Protection Systems Using Simulations. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2005, pp:96-111 [Conf]
   
2. Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu
   Decidability and Complexity Results for Security Protocols. [Citation Graph (0, 0)][DBLP]
   VISSAS, 2005, pp:185-211 [Conf]
   
3. Ferucio Laurentiu Tiplea, Constantin Enea
   Abstractions of data types. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 2006, v:42, n:8-9, pp:639-671 [Journal]
   
4. Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea
   SE-Systems, Timing Mechanisms, and Time-Varying Codes. [Citation Graph (0, 0)][DBLP]
   Int. J. Comput. Math., 2002, v:79, n:10, pp:1083-1091 [Journal]
   
5. Constantin Enea, Catalin Dima
   Abstractions of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2007, pp:11-21 [Conf]
   
6. 
   Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]
   
   
7. 
   A Logic-Based Framework for Reasoning about Composite Data Structures. [Citation Graph (, )][DBLP]
   
   
8. 
   Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. [Citation Graph (, )][DBLP]
   
   
9. 
   Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. [Citation Graph (, )][DBLP]
   
   
10. 
    A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [Citation Graph (, )][DBLP]
    
    
11. 
    Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions [Citation Graph (, )][DBLP]