Tönnies, S., B. Köhncke, O. Koepler, and W. - T. Balke,
"Building Chemical Information Systems - the ViFaChem II Project",
13. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web, Münster, Germany, 03/2009.
Abstract
Download: btw09.pdf (428.21 KB)
Pinto, J. M. G., J. Wawrzinek, S. Kori, and W. - T. Balke,
"Can Language Inference Support Metadata Generation?",
23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019.
Abstract
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck,
"DeltaCCS: A Core Calculus for Behavioral Change",
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014.
Abstract