Nataliya Guts

	2009
3		Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli: Reliable Evidence: Auditability by Typing. ESORICS 2009: 168-183
	2008
2		Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli: A Formal Implementation of Value Commitment. ESOP 2008: 383-397
	2007
1		Frédéric Peschanski, Alexis Darrasse, Nataliya Guts, Jérémy Bobbio: Coordinating mobile agents in interaction spaces. Sci. Comput. Program. 66(3): 246-265 (2007)

Coauthor Index

1	Jérémy Bobbio	[1]
2	Alexis Darrasse	[1]
3	Cédric Fournet	[2] [3]
4	Francesco Zappa Nardelli	[2] [3]
5	Frédéric Peschanski	[1]

Colors in the list of coauthors