E. Dyllong. Digital Historical Corpora, volume 06491 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
W. Luther, G. Haßlinger, E. Auer, E. Dyllong, D. Traczinski, and H. Traczinski. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
E. Dyllong. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
E. Auer, R. Cuypers, E. Dyllong, S. Kiel, and W. Luther. Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
K. Bühler, E. Dyllong, and W. Luther. Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 160-190. Springer, (2003)