Vincent Vanackère

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]