A. Kohlhase
发表
A. Kohlhase,
M. Reichel,
2006
.
A. Kohlhase,
S. D’Amico,
2006
.
A. Kohlhase,
S. D’Amico,
R. Kroes,
2006
.
A. Kohlhase,
M. Reichel,
2010
.
A. Kohlhase,
M. Reichel,
2006
.
G. Scoles,
D. Secrest,
A. Kohlhase,
1985
.
A. Kohlhase,
F. Huisken,
U. Buck,
1983
.
M. Kohlhase,
A. Kohlhase,
Taweechai Ouypornkochagorn,
2018
.
A. Kohlhase,
A. Guseva,
2015
.
A. Kohlhase,
H. Inouye,
S. Kita,
1985
.
A. Kohlhase,
S. Kita,
1986
.
A. Kohlhase,
H. Inouye,
S. Kita,
1987
.
Michael Kohlhase,
Andrea Kohlhase,
Alexandru Toader,
2013,
INTERACT.
Christoph Lange,
Michael Kohlhase,
Andrea Kohlhase,
2010,
AISC'10/MKM'10/Calculemus'10.
Andrea Kohlhase,
A. Kohlhase,
2007,
LWA.
D. Secrest,
A. Kohlhase,
U. Buck,
1983
.
Andrea Kohlhase,
A. Kohlhase,
2008
.
Andrea Kohlhase,
A. Kohlhase,
2014,
CICM.
Michael Kohlhase,
Andrea Kohlhase,
M. Kohlhase,
2008,
Proceedings of the IEEE.
K. Feigl,
A. Ferretti,
D. Massonnet,
2003,
IGARSS 2003. 2003 IEEE International Geoscience and Remote Sensing Symposium. Proceedings (IEEE Cat. No.03CH37477).
Michael Kohlhase,
Andrea Kohlhase,
M. Kohlhase,
2009,
Calculemus/MKM.
Christoph Lange,
Michael Kohlhase,
Andrea Kohlhase,
2010,
I-SEMANTICS '10.
Cezary Kaliszyk,
Claudio Sacerdoti Coen,
Andrea Kohlhase,
2019,
Lecture Notes in Computer Science.
Didier Massonnet,
Kurt L. Feigl,
K. Feigl,
2003
.
Michael Kohlhase,
Andrea Kohlhase,
M. Kohlhase,
2007,
Calculemus/MKM.
Julian Doyé,
Andreas O. Kohlhase,
Norbert Porth,
2010
.
Michael Kohlhase,
Andrea Kohlhase,
Michael Fürsich,
2017,
CICM.
Olaf Teschke,
Michael Kohlhase,
Andrea Kohlhase,
2016,
ICMS.