| 2008 |
|---|
| 5 | EE | Christoffer Rosenkilde Nielsen,
Flemming Nielson,
Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses.
ESOP 2008: 131-145 |
| 2007 |
|---|
| 4 | EE | Flemming Nielson,
Hanne Riis Nielson,
Jörg Bauer,
Christoffer Rosenkilde Nielsen,
Henrik Pilegaard:
Relational Analysis for Delivery of Services.
TGC 2007: 73-89 |
| 3 | EE | Christoffer Rosenkilde Nielsen,
Flemming Nielson,
Hanne Riis Nielson:
Cryptographic Pattern Matching.
Electr. Notes Theor. Comput. Sci. 168: 91-107 (2007) |
| 2006 |
|---|
| 2 | | Christoffer Rosenkilde Nielsen,
Hanne Riis Nielson:
Static Analysis for Blinding.
Nord. J. Comput. 13(1-2): 98-116 (2006) |
| 2005 |
|---|
| 1 | EE | Christoffer Rosenkilde Nielsen,
Esben Heltoft Andersen,
Hanne Riis Nielson:
Static Validation of a Voting Protocol.
Electr. Notes Theor. Comput. Sci. 135(1): 115-134 (2005) |
