Christoffer Rosenkilde Nielsen

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
Iterative Specialisation of Horn Clauses. ESOP (2008)
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
Cryptographic Pattern Matching. Electron. Notes Theor. Comput. Sci. 168 (2007)
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
Relational Analysis for Delivery of Services. TGC (2007)
Christoffer Rosenkilde Nielsen, Hanne Riis Nielson
Static Analysis for Blinding. Nord. J. Comput. 13 (1-2) (2006)
Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson
Static Validation of a Voting Protocol. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)