Kåre J. Kristoffersen
发表
Kim Guldstrand Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1999
.
Lars Birkedal,
Zoltan Safar,
Kåre J. Kristoffersen,
2004,
IEEE 6th Workshop on Multimedia Signal Processing, 2004..
Kim G. Larsen,
Arne Skou,
Gerd Behrmann,
2000,
Computer.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
TACAS.
Kim Guldstrand Larsen,
Paul Pettersson,
Carsten Weise,
1999
.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2002
.
Zoltan Safar,
John Aasted Sørensen,
Jianjun Chen,
2005,
2005 13th European Signal Processing Conference.
Kim Guldstrand Larsen,
Paul Pettersson,
Carsten Weise,
1999
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
J. Log. Algebraic Methods Program..
Zoltan Safar,
John Aasted Sørensen,
Jianjun Chen,
2006,
2006 14th European Signal Processing Conference.
Zoltan Safar,
John Aasted Sørensen,
Jianjun Chen,
2005,
Proceedings. (ICASSP '05). IEEE International Conference on Acoustics, Speech, and Signal Processing, 2005..
Kim G. Larsen,
Paul Pettersson,
Kåre J. Kristoffersen,
2000,
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
Henrik Reif Andersen,
Kåre J. Kristoffersen,
2007,
ArXiv.
Yvonne Dittrich,
Kåre J. Kristoffersen,
2005,
MSVVEIS.
Kåre J. Kristoffersen,
Nicky O. Bodentien,
Jacob Vestergaard,
1999
.
Wang Yi,
Paul Pettersson,
François Laroussinie,
1996
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
CAV.
Kim G. Larsen,
Kåre J. Kristoffersen,
J. H. Andersen,
1994,
ICALP.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Kim Guldstrand Larsen,
Paul Pettersson,
Kåre J. Kristoffersen,
1999
.
Kim G. Larsen,
Gerd Behrmann,
Henrik Reif Andersen,
1998,
Formal Methods Syst. Des..
Henrik Reif Andersen,
Kåre J. Kristoffersen,
Christian Pedersen,
2003,
RV@CAV.