Lee, J., G. -won You, S. -won Hwang, J. Selke, and W. - T. Balke,
"Interactive Skyline Queries",
Information Sciences, vol. 211: Elsevier, pp. 18-35, 11/2012.
Abstract
Download: Information Sciences - final.pdf (586.68 KB)
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