Christoffer Rosenkilde Nielsen

According to our database, Christoffer Rosenkilde Nielsen authored at least 5 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Iterative Specialisation of Horn Clauses.

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Programming Languages and Systems, 2008

2007

Relational Analysis for Delivery of Services.

Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

Static Analysis for Blinding.

Christoffer Rosenkilde Nielsen, Hanne Riis Nielson

Nord. J. Comput., 2006

Cryptographic Pattern Matching.

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

2005

Static Validation of a Voting Protocol.

Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005