( en | de | ru )

 

Disambiguation of "Kristoffersen, Kåre J."

Author of the publication

copydeleteadd this publication to your clipboard
An RF-based surveillance system using commercial off-the-shelf wireless LAN components.

, , , and . EUSIPCO, page 1-4. IEEE, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olav Michael Kåre Mundal

Steinar Kristoffersen

Lieselotte Kares

Klaus Otto Kares

Michael Karez

 

Other publications of authors with the same name

A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector., , , and . EUSIPCO, page 1-5. IEEE, (2006)An infrastructure for context dependent mobile multimedia communication., , , , , , and . MMSP, page 462-465. IEEE, (2004)Automated verification of an audio-control protocol using UPPAAL., , , , , , and . J. Log. Algebraic Methods Program., (2002)Expanding Database Systems into self-verifying Entities., and . MSVVEIS, page 65-70. INSTICC Press, (2005)Automatic Synthesis of Real Time Systems., , , and . ICALP, volume 944 of Lecture Notes in Computer Science, page 535-546. Springer, (1995)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 244-256. Springer, (1996)A Compositional Proof of a Real-Time Mutual Exclusion Protocol., , , , and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 565-579. Springer, (1997)Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL., , , , , , , and . ECRTS, page 147-155. IEEE Computer Society, (2000)An RF-based surveillance system using commercial off-the-shelf wireless LAN components., , , and . EUSIPCO, page 1-4. IEEE, (2005)Multimodal wireless networks: distributed surveillance with multiple nodes., , , and . ICASSP (4), page 853-856. IEEE, (2005)