Vincent Vanackère

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

2 Vincent Vanackère: History-Dependent Scheduling for Cryptographic Processes. VMCAI 2004: 16-29

2003

1 Roberto M. Amadio, Denis Lugiez, Vincent Vanackère: On the symbolic reduction of processes with cryptographic functions. Theor. Comput. Sci. 290(1): 695-740 (2003)

	2004
2		Vincent Vanackère: History-Dependent Scheduling for Cryptographic Processes. VMCAI 2004: 16-29
	2003
1		Roberto M. Amadio, Denis Lugiez, Vincent Vanackère: On the symbolic reduction of processes with cryptographic functions. Theor. Comput. Sci. 290(1): 695-740 (2003)

Coauthor Index

1 Roberto M. Amadio [1]

2 Denis Lugiez [1]