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
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