Vincent Vanackère Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2004

2 EE 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	EE	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]