Biblio

Export 714 results:
Sort by: Author Keyword [ Title  (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)
Lofi, C., U. Güntzer, and W. - T. Balke, "Consistency Check Algorithms for Multi-Dimensional Preference Trade-Offs", International Journal of Computer Science & Applications (IJCSA), vol. 5, no. 3b, pp. 165 - 185, 2008. Abstract  Download: Fulltext-PDF (888.54 KB)
Selke, J., S. Homoceanu, and W. - T. Balke, "Conceptual Views for Entity-Centric Search: Turning Data into Meaningful Concepts (extended)", Computer Science: Research and Development , vol. 27, no. 1: Springer, pp. 65-79, 2012. Abstract  Download: concept_queries.pdf (1.63 MB)
Selke, J., S. Homoceanu, and W. - T. Balke, "Conceptual Views for Entity-Centric Search: Turning Data into Meaningful Concepts", 14. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW), Kaiserslautern, Germany, 2011. Abstract  Download: conceptual_views.pdf (1.19 MB)
Balke, W. - T., "Conceptual Views for Entity-Centric Search (Keynote)", 23th GI Workshop on Foundations of Databases (GvD), Obergurgl, Austria, 2011. Abstract  Download: GvDB_2011.pdf (233.23 KB)
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Some Language Constructs", Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003. Abstract
Eckstein, R., and S. Eckstein, "Conceptual Modeling XML-Schemata Using UML", Proc. CAiSE'04 Forum, 15th Int. Conf. on Advanced Information Systems Engineering, pp. 122 - 131, 2004. Abstract
Saake, G., "Conceptual Modeling of Database Applications", Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991. Abstract
Selke, J., "The Concepts of the Crowd: Mining Perceptual Attributes from Rating Data on the Social Web", Carl-Friedrich-Gauß-Fakultät: Technische Universität Braunschweig, 2012. Abstract  Download: dissertation-selke.pdf (6.19 MB)
Ehrich, H. - D., G. Saake, and A. Sernadas, "Concepts of Object-Orientation", Proc of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF 303, pp. 1-19, 1992. Abstract  Download: 1992ConcObjOr.pdf (208.55 KB)
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
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
Herzig, R., S. Conrad, and M. Gogolla, "Compositional Description of Object Communities with TROLL \em light", Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994. Abstract
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
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
Tauscher, S., and K. Neumann, "Combining Web Map Services and Opinion Mining to generate Sentiment Maps of Touristic Locations", Symposium on Service Oriented Mapping, Wien, JOBSTMedia Präsentation Management Verlag, pp. 277-286, 11/2012. Abstract
Kupfer, A., and S. Eckstein, "Coevolution of Database Schemas and Associated Ontologies in Biological Context", 22nd British National Conference on Databases: Workshops and Posters, vol. 2: University of Sunderland Press, pp. 45-50, 2005. Abstract
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "A Coevolution Approach for Database Schemas and Related Ontologies", 19. IEEE Int. Symposium on Computer-Based Medical Systems: IEEE CS, pp. 605-610, June, 2006. Abstract
Lofi, C., "Choosing the Right Thing: Cooperative Trade-Off Enhanced Skyline Queries", PhD Workshop at the International Conference On Data Engineering (ICDE), Hannover, Germany, 04/2011. Abstract  Download: 11ICDE_02.pdf (366.51 KB)
Homoceanu, S., and W. - T. Balke, "A Chip Off the Old Block – Extracting Typical Attributes for Entities based on Family Resemblance", 20th International Conference on Database Systems for Advanced Applications (DASFAA), Hanoi, Vietnam, 04/2015. Abstract  Download: DASFAA15_camera-ready.pdf (1.15 MB)
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract  Download: 2003JUCS.pdf (167.55 KB)
Lofi, C., "cGQM - Ein zielorientierter Ansatz für kontinuierliche, automatisierte Messzyklen", Proceedings of the 4th National Conference on Software Measurement and Metrics (DASMA MetriKon 2005), Kaiserslautern, Germany, GI, 11/2005. Abstract  Download: 
Ehrich, H. - D., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1991. Abstract  Download: 1991CatTheorObjObservProc.pdf (533.9 KB)
Köhncke, B., S. Tönnies, and W. - T. Balke, "Catching the Drift – Indexing Implicit Knowledge in Chemical Digital Libraries", International Conference on Theory and Practice of Digital Libraries (TPDL), Paphos, Cyprus, 09/2012. Abstract  Download: koehncke_tpdl12.pdf (696.04 KB)
Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. Abstract
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract
Vlachantonis, N., "A Case Study for an Open CASE System: The TROLL \em light Development Environment", Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993. Abstract