 | 2007 |
|---|
| 8 |       | Pannirselvam Kanagaratnam,
Thorsten Markus,
Victoria Lytle,
Brandon Heavey,
Peter Jansen,
Glenn Prescott,
Sivaprasad Gogineni:
Ultrawideband Radar Measurements of Thickness of Snow Over Sea Ice.
IEEE T. Geoscience and Remote Sensing 45(9): 2715-2724 (2007) |
| 2001 |
|---|
| 7 | | Peter Jansen:
Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models).
it+ti - Informationstechnik und Technische Informatik 43(1): 35-38 (2001) |
| 2000 |
|---|
| 6 | | ChengXiang Zhai,
Peter Jansen,
David A. Evans:
Exploration of a heuristic approach to threshold learning in adaptive filtering.
SIGIR 2000: 360-362 |
| 1999 |
|---|
| 5 | | Peter Jansen:
Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specification.
CHARME 1999: 2-7 |
| 4 | | Tom Bienmüller,
Jürgen Bohn,
Henning Brinkmann,
Udo Brockmeyer,
Werner Damm,
Hardi Hungar,
Peter Jansen:
Verification of Automotive Control Units.
Correct System Design 1999: 319-341 |
| 3 | | ChengXiang Zhai,
Peter Jansen,
Norbert Roma,
Emilia Stoica,
David A. Evans:
Optimization in CLARIT TREC-8 Adaptive Filtering.
TREC 1999 |
| 1998 |
|---|
| 2 |  | David A. Evans,
Alison Huettner,
Xiang Tong,
Peter Jansen,
Jeffrey Bennett:
Effectiveness of Clustering in Ad-Hoc Retrieval.
TREC 1998: 90-95 |
| 1 | | ChengXiang Zhai,
Peter Jansen,
Emilia Stoica,
Norbert Grot,
David A. Evans:
Threshold Calibration in CLARIT Adaptive Filtering.
TREC 1998: 96-103 |
Data released under the ODC-BY 1.0 license — See also our legal information page