Nataliya Guts

	2011
5		Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
	2010
4		Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts: Typechecking Higher-Order Security Libraries. APLAS 2010: 47-62
	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	Karthikeyan Bhargavan	[4]
2	Jérémy Bobbio	[1]
3	Alexis Darrasse	[1]
4	Cédric Fournet	[2] [3] [4]
5	Michael W. Hicks (Michael Hicks)	[5]
6	Daan Leijen	[5]
7	Francesco Zappa Nardelli	[2] [3]
8	Frédéric Peschanski	[1]
9	Nikhil Swamy	[5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page