Export 118 results:
Sort by: Author Keyword [ Title  (Asc)] Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
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   [Show ALL]
Hartmann, T., and G. Saake, "Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll", Workshop Deklarative Programmierung und Spezifikation, Bad Honnef: Bericht Nr. 9412, Univ. Kiel, pp. 56-59, 1994. Abstract
Homoceanu, S., J. - C. Kalo, and W. - T. Balke, "Putting Instance Matching to the Test. Is Instance Matching Ready for Reliable Data Linking?", 21st International Symposium on Methodologies for Intelligent Systems (ISMIS), Roskilde, Denmark, 2014. Abstract  Download: ismis_homoceanu.pdf (832.92 KB)
Homoceanu, S., and W. - T. Balke, "Querying concepts in product data by means of query expansion", Web Intelligence and Agent Systems: An International Journal , vol. 12: IOS Press, 02/2014. Abstract  Download: QE_concept.pdf (657.14 KB)
Jungclaus, R., T. Hartmann, and G. Saake, "Relationships between Dynamic Objects", Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proc1 2nd European-Japanese Seminar, Hotel Ellivuori (SF)): IOS Press, Amsterdam, pp. 425-438, 1993. Abstract
Hülsmann, K., and G. Saake, "Representation of the Historical Information Necessary for Temporal Integrity Monitoring", Proc1 Int1 Conf1 on Extending Database Technology EDBT'90: LNCS 416, Springer, Berlin, 1990, pp. 378-392, 1990. Abstract
Homoceanu, S., S. Dechand, and W. - T. Balke, "Review Driven Customer Segmentation for Improved E-Shopping Experience", 3rd International Conference on Web Science, Koblenz, Germany, 2011. Abstract  Download: ws.pdf (434.25 KB)
Hartmann, T., J. Kusch, G. Saake, and P. Hartel, "Revised Version of the Conceptual Modeling and Design Language \sc Troll", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, pp. 89-103, 1994. Abstract
Wagner, M., W. - T. Balke, R. Hirschfeld, and W. Kellerer, "A Roadmap to Advanced Personalization of Mobile Services", 10th International Conference on Cooperative Information Systems (CoopIS 2002), Irvine, CA, USA, Springer, 2002. Abstract  Download: coopis02i.pdf (170.94 KB)
Conrad, S., M. Gogolla, and R. Herzig, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. Abstract
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba, "Skill ontology-based model for Quality Assurance in Crowdsourcing", Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
Zeippen, J. - M., and P. Hartel, "Specification of a Control System by Domain Specialists with OBLOG - Experience Report -", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 137-146, 1994. Abstract
Hartel, P., and R. Jungclaus, "Specifying Business Processes over Objects", Proc1 13th Int1 Conf1 on the Entity-Relationship Approac1 (ER'94): Springer, LNCS 881, Berlin, pp. 10-27, 1994. Abstract
Hartel, P., T. Hartmann, J. Kusch, and G. Saake, "Specifying Information System Dynamics in \sc TROLL", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994. Abstract
Herzig, R., Spezifikation der abstrakten Syntax von TROL1 \it light\/ mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 43-49, 1993. Abstract
Herzig, R., and N. Vlachantonis, Spezifikation einer Fertigungszelle mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993. Abstract
Hartmann, T., "Spezifikation und Ausführung von Objektinteraktionen in \sc Troll", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 89-95, 1994. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Spezifikation von Informationssystemen als Objektsysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993. Abstract
Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract  Download: 1992ObjBankExpert.pdf (1.72 MB)
Herzig, R., and M. Gogolla, "A SQL-like Query Calculus for Object-Oriented Database Systems", Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994. Abstract
Hülsmann, K., "Temporal Integrity Constraints in the Database Design Environment CADDY", Proc1 Workshop on Foundations of Models and Languages for Data and Objects, Aigen (A): Informatik-Bericht 90/3, TU Clausthal, pp. 191-198, 1990. Abstract
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract  Download: 1996Beijing.pdf (283.86 KB)
Hülsmann, K., "A Temporal-Logic-Based Query Language for Querying Database Histories", Proc1 2nd Int1 Conf1 on Database and Expert Systems (DEXA'91): Springer, pp. 393-399, 1991. Abstract
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract  Download: 1987ThreeLevelSpec.pdf (1.21 MB)
Homoceanu, S., S. Tönnies, P. Wille, and W. - T. Balke, "Time-Based Exploratory Search in Scientific Literature", Research and Advanced Technologies for Digital Libraries: 17th International Conference on Theory and Practice of Digital Libraries (TPDL), Valletta, Malta, 09/2013. Abstract  Download: essence_crc.pdf (538.82 KB)
Gogolla, M., and U. Hohenstein, "Towards a Semantic View of an Extended Entity-Relationship Model", ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991. Abstract
He, J., K. Kunze, C. Lofi, S. Madria, and S. Sigg, "Towards Mobile Sensor-Aware Crowdsourcing: Architecture, Opportunities and Challenges", Workshop on Uncertain and Crowdsourced Data (UnCrowd), Bali, Indonesia, 2014. Abstract  Download: hybridcrowd.pdf (1.14 MB)
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract  Download: 1993KorSo.pdf (314.47 KB)
Herzig, R., and M. Gogolla, "Transforming Conceptual Data Models into an Object Model", Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992. Abstract
Herzig, R., and N. Vlachantonis, "TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems", Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994. Abstract