Mikael Buchholtz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2005
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FM | End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
| 2005 | PACT | On Evaluating the Performance of Security Protocols. | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
| 2004 | TACAS | The Succinct Solver Suite. | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, Ren Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |