The SCEAS System
Navigation Menu

Search the dblp DataBase


Constantin Enea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.013secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002