Export 713 results:
Sort by: Author Keyword Title [ Type  (Desc)] Year
Journal Article
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "Incremental model checking of delta-oriented software product lines", Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016. Abstract
Balke, W. - T., C. Lofi, and U. Güntzer, "Incremental Trade-Off Management for Preference Based Queries", International Journal of Computer Science & Applications (IJCSA), vol. 4, no. 2, 06/2007. Abstract  Download: Fulltext-PDF (572.96 KB)
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract  Download: 2000CWM.pdf (461.8 KB)
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)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract  Download: 1999CWM.pdf (515.72 KB)
Lofi, C., "Measuring Semantic Similarity and Relatedness with Distributional and Knowledge-based Approaches", Database Society of Japan (DBSJ) Journal, vol. 14, no. 1, pp. 1-9, 03/2016. Abstract  Download: DBSJ01.pdf (574.61 KB)
Neumann, K., M. Grutza, T. Nordmann, F. Schlutow, and C. Wolf, "Metaautomation der Liegenschaftskarte", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 39, pp. 15-29, 2007. Abstract  Download: NGNSW07aga.pdf (565.67 KB)
Kupfer, A., S. Eckstein, B. Störmann, K. Neumann, and B. Mathiak, "Methods for a Synchronised Evolution of Databases and Associated Ontologies", Frontiers in Artificial Intelligence and Applications, vol. 155: IOS Press, pp. 89-102, 2007. Abstract
Tönnies, S., "Mixed Reality in der Fahrzeugnavigation", GIS-BUSINESS Geoinformationstechnologie für die Praxis, 08/2007.
Hartel, P., and R. Jungclaus, "Modeling Business Processes over Objects", Int1 Journal of Cooperative Information Systems, vol. 4, no. 2, pp. 165-188, 1995. Abstract
Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract
Munz, M., S. Tönnies, W. - T. Balke, and E. Simon, "Multidimensional Gene Search with Genehopper", Nucleic Acids Research, vol. 43, no. 9: Oxford University Press, 05/2015.  Download: Nucleic Acids Research - 2015 - Munz.pdf (2.02 MB)
Kroll, H., and C. Draheim, "Narrative Information Access for a Precise and Structured Literature Search", O-Bib. Das Offene Bibliotheksjournal, vol. 8, no. 4: Herausgeber VDB, 11/2021. Abstract
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 KB)
Ehrich, H. - D., and J. W. Lipski, "On the Storage Space Requirement of Consecutive Retrieval with Redundancy", Information Processing Letters, vol. 4 (4), pp. 101-104, 1976.  Download: 1976ConsecRetrieval.pdf (168.16 KB)