Constantin Enea Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI 2012: 1-22
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRodica Bozianu, Catalin Dima, Constantin Enea: Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics CoRR abs/1204.2087: (2012)
2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: On inter-procedural analysis of programs with lists and data. PLDI 2011: 578-589
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitar P. Guelev, Catalin Dima, Constantin Enea: An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Journal of Applied Non-Classical Logics 21(1): 93-131 (2011)
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu: Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatalin Dima, Constantin Enea, Dimitar P. Guelev: Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions GANDALF 2010: 103-117
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR 2009: 178-195
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConstantin Enea: Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. ECBS 2008: 126-135
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConstantin Enea, Catalin Dima: Abstractions of Multi-agent Systems. CEEMAS 2007: 11-21
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia: Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. SYNASC 2007: 33-40
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio Laurentiu Tiplea, Constantin Enea: Abstractions of data types. Acta Inf. 42(8-9): 639-671 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConstantin Enea: Unifying Decidability Results on Protection Systems Using Simulations. Formal Aspects in Security and Trust 2005: 96-111
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu: Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea: SE-Systems, Timing Mechanisms, and Time-Varying Codes. Int. J. Comput. Math. 79(10): 1083-1091 (2002)

Coauthor Index

1Catalin V. Birjoveanu [2] [7]
2Ahmed Bouajjani [9] [10] [12] [14] [16]
3Ioana Boureanu [7]
4Rodica Bozianu [15]
5Catalin Dima [5] [6] [11] [13] [15]
6Cezara Dragoi [9] [10] [12] [14] [16]
7Radu Gramatovici [5]
8Dimitar P. Guelev [11] [13]
9Yan Jurski [9]
10Erkki Mäkinen [1]
11Ahmed Rezine [12]
12Mihaela Sighireanu [9] [10] [12] [14] [16]
13Alexandru Sofronia [5]
14Ferucio Laurentiu Tiplea [1] [2] [4] [7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page