Export 61 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: First Letter Of Title is S  [Clear All Filters]
Book Chapter
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
Balke, W. - T., "Supporting Information Retrieval in Peer-to-Peer Systems", Peer-to-Peer Systems and Applications, R. Steinmetz, K. Wehrle (eds.): Springer , 2005.  Download: p2p05.pdf (423.45 KB)
Conference Paper
Pinto, J. M. G., and W. - T. Balke, "Scientific Claims Characterization for Claim-Based Analysis in Digital Libraries", 22nd International Conference on Theory and Practice of Digital Libraries, Porto, Portugal, 06/2018. Abstract  Download: camera-ready_29.pdf (636.31 KB)
Löser, A., C. Tempich, B. Quilitz, W. - T. Balke, S. Staab, and W. Nejdl, "Searching Dynamic Communities with Personal Indexes", 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005. Abstract  Download: iswc05.pdf (308.29 KB)
Wawrzinek, J., and W. - T. Balke, "Semantic Facettation in Pharmaceutical Collections using Deep Learning for Active Substance Contextualization", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL), Bangkok, Thailand, 11/2017. Abstract  Download: Camera-Ready of ICADL2017 Paper 19.pdf (524.06 KB)
Diederich, J., and W. - T. Balke, "The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems", 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL), Budapest, Hungary, 2007. Abstract  Download: ecdl07.pdf (240.17 KB)
Kalo, J. - C., C. Lofi, R. P. Maseli, and W. - T. Balke, "Semantic Query Processing: Estimating Relational Purity", 15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017. Abstract  Download: LWDA_2017_paper_15.pdf (1.01 MB)
Balke, W. - T., and A. Badii, "Service Provisioning in the Dynamic Enterprise Space", Interdisciplinary Research Workshop on Global IT Outsourcing, Cambridge, UK, 2003. Abstract  Download: cambridge03.pdf (114.51 KB)
Balke, W. - T., W. Kießling, and C. Unbehend, "A Situation-aware Mobile Traffic Information System", 36th Hawaii International Conference on System Sciences (HICCS-36), Big Island, HI, USA, IEEE, 2003. Abstract  Download: hicss03.pdf (1.18 MB)
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)
Balke, W. - T., "Skyline Queries for Preference-Based Information Systems (Keynote)", 20th GI Workshop on Foundations of Databases (GvD), Apolda, Germany, 2008. Abstract  Download: gvdb08.pdf (168.1 KB)
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries in Crowd-Enabled Databases", Int. Conf. on Extending Database Technology (EDBT), Genoa, Italy, 03/2013. Abstract  Download: 13_edbt_final2.pdf (1.31 MB)
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries over Incomplete Data - Error Models for Focused Crowd-Sourcing", 32th Int. Conf. on Conceptual Modeling (ER), Hong Kong, China, 11/2013. Abstract  Download: paper_118.pdf (977.04 KB)
Selke, J., and W. - T. Balke, "SkyMap: A Trie-Based Index Structure for High-Performance Skyline Query Processing", 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Toulouse, France, Springer, 08/2011. Abstract  Download: dexa 2011 - final.pdf (250.28 KB)
Balke, W. - T., "Specialized Information Services - Hype or Important Change in Library Culture? (Panel)", International Conference on Theory and Practice of Digital Libraries (TPDL), Hannover, Germany, 09/2016. Abstract  Download: Panel Abstract - TPDL 2016.pdf (86.03 KB)
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 KB)
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract  Download: 1997DenkerEhrich.pdf (548.39 KB)
Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract  Download: 1985Tutzing.pdf (877.62 KB)
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)
Balke, W. - T., and U. Güntzer, "Supporting Skyline Queries on Categorical Data in Web Information Systems", IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2004), Kauai, HI, USA, 2004. Abstract  Download: imsa04.pdf (296.1 KB)
Conference Proceedings
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
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. 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
Löhr-Richter, P., "The Software Development Process captured in an Object Oriented Frame", Proc1 ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankreich: Inria Lorraine & Crin-Cnrs, pp. 163-173, 1993. Abstract
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. Abstract