Alvaro, N., M. Conway, S. Doand, C. Lofi, J. Overington, and N. Collier,
"Crowdsourcing Twitter annotations to identify first-hand experiences of prescription drug use",
Journal of Biomedical Informatics, vol. 58, pp. 280–287, 2015.
Abstract
Download: 2016JBI.pdf (658.42 KB)
Gogolla, M., and H. - D. Ehrich,
Contributions to: Algebraic System Specification and Development,
, Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991.
Abstract
Kroll, H., J. - C. Kalo, D. Nagel, S. Mennicke, and W. - T. Balke,
"Context-Compatible Information Fusion for Scientific Knowledge Graphs",
24th International Conference on Theory and Practice of Digital Libraries (TPDL), Lyon, France, Springer, 08/2020.
Abstract
Download: TPDL2020_Kroll_Camera_Ready.pdf (308.77 KB)
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich,
"Conceptual modelling of database applications using an extended ER model",
Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992.
Abstract
Download: 1992DKE.pdf (883.85 KB)
Luthmann, L., S. Mennicke, and M. Lochau,
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann,
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract