dblp.uni-trier.dewww.uni-trier.de

Cristian Ene

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEJudicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380
2007
13EEJudicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375
2005
12 Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn: Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53
11EELiana Bozga, Cristian Ene, Yassine Lakhnech: A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebr. Program. 65(1): 1-35 (2005)
2004
10EELiana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192
9EELiana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57
2002
8 Cristian Ene, Traian Muntean: Testing Theories for Broadcasting Processes. Sci. Ann. Cuza Univ. 11: 214-230 (2002)
2001
7 Cristian Ene, Traian Muntean: A Broadcast-based Calculus for Communicating Systems. IPDPS 2001: 149
1999
6EECristian Ene, Traian Muntean: Expressiveness of Point-to-Point versus Broadcast Communications. FCT 1999: 258-268
1998
5 Cristian Ene: On Complexity of Reachability of Transition Restricted Petri Nets. Sci. Ann. Cuza Univ. 7: 103-106 (1998)
1997
4 Ferucio Laurentiu Tiplea, Cristian Ene: Hierarchies of Petri Net Languages and a Super-Normal Form. Journal of Automata, Languages and Combinatorics 2(3): 187-208 (1997)
1995
3 Ferucio Laurentiu Tiplea, Cristian Ene: Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory 1995: 396-405
1994
2 Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc: Some Decision Problems for Parallel Communicating Grammar Systems. Theor. Comput. Sci. 134(2): 365-385 (1994)
1993
1 Ferucio Laurentiu Tiplea, Cristian Ene: A Coverability Structure for Parallel Communicating Grammar Systems. Elektronische Informationsverarbeitung und Kybernetik 29(5): 303-315 (1993)

Coauthor Index

1Liana Bozga [9] [10] [11] [12]
2Judicaël Courant [13] [14]
3Marion Daubignard [14]
4Cecilia Magdalena Ionescu [2]
5Romain Janvier [12]
6Pascal Lafourcade [14]
7Yassine Lakhnech [9] [10] [11] [12] [13] [14]
8Laurent Mazaré [12]
9Traian Muntean [6] [7] [8]
10Michaël Périn [12]
11Octavian Procopiuc [2]
12Ferucio Laurentiu Tiplea [1] [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)