BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × Spain
Collaborated with:
Y.Lakhnech F.L.Tiplea L.Bozga J.Dreier P.Lafourcade
Talks about:
cryptograph (1) decomposit (1) hierarchi (1) protocol (1) calculus (1) process (1) languag (1) complet (1) system (1) normal (1)

Person: Cristian Ene

DBLP DBLP: Ene:Cristian

Contributed to:

FOSSACS 20132013
FoSSaCS 20042004
DLT 19951995

Wrote 3 papers:

FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
FoSSaCS-2004-BozgaEL #effectiveness #encryption #on the #protocol
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols (LB, CE, YL), pp. 42–57.
DLT-1995-TipleaE #normalisation #petri net
Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.