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
Lofi, C., A. Ahamed, P. Kulkarni, and R. Thakkar,
"Benchmarking Semantic Capabilities of Analogy Querying Algorithms",
21th International Conference on Database Systems for Advanced Applications (DASFAA), Dallas, TX, Usa, 04/2016.
Abstract
Download: 16_DASFAA_04_finalVersion.pdf (714.43 KB)