Constantin Enea

	2012
16		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI 2012: 1-22
15		Rodica Bozianu, Catalin Dima, Constantin Enea: Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics CoRR abs/1204.2087: (2012)
	2011
14		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: On inter-procedural analysis of programs with lists and data. PLDI 2011: 578-589
13		Dimitar 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
12		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu: Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
11		Catalin 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
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)

Coauthor Index

1	Catalin V. Birjoveanu	[2] [7]
2	Ahmed Bouajjani	[9] [10] [12] [14] [16]
3	Ioana Boureanu	[7]
4	Rodica Bozianu	[15]
5	Catalin Dima	[5] [6] [11] [13] [15]
6	Cezara Dragoi	[9] [10] [12] [14] [16]
7	Radu Gramatovici	[5]
8	Dimitar P. Guelev	[11] [13]
9	Yan Jurski	[9]
10	Erkki Mäkinen	[1]
11	Ahmed Rezine	[12]
12	Mihaela Sighireanu	[9] [10] [12] [14] [16]
13	Alexandru Sofronia	[5]
14	Ferucio 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 Team — Data released under the ODC-BY 1.0 license — See also our legal information page