Mathiak, B., A. Kupfer, C. Rio Bartulos, T. Scope, J. Weiland, and S. Eckstein,
"Discovering gene expression data from the tables of full text publications",
ICDM Workshop on Mining and Management of Biological Data, Omaha, Nebraska, USA, IEEE Computer Society, pp. 113-118, 2007.
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