Coordinating mobile agents in interaction spaces. - Frédéric Peschanski; Alexis Darrasse; Nataliya Guts; Jérémy Bobbio (Sci. Comput. Program., 2007)

A Formal Implementation of Value Commitment. - Cédric Fournet; Nataliya Guts; Francesco Zappa Nardelli (ESOP, 2008)

Reliable Evidence: Auditability by Typing. - Nataliya Guts; Cédric Fournet; Francesco Zappa Nardelli (ESORICS, 2009)

Typechecking Higher-Order Security Libraries. - Karthikeyan Bhargavan; Cédric Fournet; Nataliya Guts (APLAS, 2010)

Lightweight monadic programming in ML. - Nikhil Swamy; Nataliya Guts; Daan Leijen; Michael Hicks 001 (ICFP, 2011)

Polymonadic Programming. - Michael Hicks 001; Gavin M. Bierman; Nataliya Guts; Daan Leijen; Nikhil Swamy (MSFP, 2014)