| |
other persons with the same name:
| 2008 | ||
|---|---|---|
| 3 | EE | Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54 |
| 2007 | ||
| 2 | EE | Ye Zhang, Flemming Nielson: A Scalable Inclusion Constraint Solver Using Unification. LOPSTR 2007: 121-137 |
| 2006 | ||
| 1 | EE | Ye Zhang, Hanne Riis Nielson: Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445 |
| 1 | Torben Amtoft (Torben Amtoft Hansen) | [3] |
| 2 | Flemming Nielson | [2] [3] |
| 3 | Hanne Riis Nielson | [1] |