Home › Biblio

Biblio

Export 62 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: First Letter Of Title is S  [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]
A
Abel, P., D. Miether, F. Plötzky, and S. Robra-Bissantz, "The Shape of Bottom-Up Urbansim Participatory Platforms: A Conceptualisation and Empirical Study", 34th Bled eConference Digital Support from Crisis to Progressive Change, Bled, Slovenia, University of Maribor Press, doi:10.18690/978-961-286-485-9, 06/2021. Abstract
Ahlbrecht, P., and J. Röver, "Specification and Implementation of Mobile-Agent-Based Data Integration", Databases and Information Systems. Proc. 5th Int. Baltic Conf., BalticDB&IS 2002, pp. 117-131, 2002. Abstract
Ahlbrecht, P., and J. Röver, "Specification and Implementation of Mobile-Agent-Based Data Integration", Databases and Information Systems II: Kluwer Academic Publisher, pp. 269-283, 2002. Abstract
B
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)
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)
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)
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)
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)
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)
C
Conrad, S., Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993. Abstract
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
D
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
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)
Diederich, J., U. Thaden, and W. - T. Balke, "The Semantic GrowBag Demonstrator for Automatically Organizing Topic Facets", 1st SIGIR'2006 Workshop on Faceted Search, Seattle, WA, USA, 2006. Abstract  Download: facetedsearch06.pdf (182.07 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)
E
Effendi, S. B., B. van der Merwe, and W. - T. Balke, "Suitability of Graph Database Technology for the Analysis of Spatio-Temporal Data", Future Internet, vol. 12, no. 5: MDPI, 04/2020. Abstract  Download: futureinternet-12-78.pdf (1.97 MB)
Ehrich, H. - D., U. Goltz, J. Meseguer, A. Pnueli, and (eds), Speci cation of Distributed Information Systems. Dagstuhl Seminar 00081 Report, , Schloss Dagstuhl, IBFI GmbH, 2000.  Download: 2000DagstuhlSemina00081.pdf (187.18 KB)
Ehrich, H. - D., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract  Download:  2006editorialSpecIssueJSS.pdf (241.7 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)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 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)
Ehrich, H. - D., "Specifying algebraic data types by domain equations", FCT: Springer LNCS 117, 1981. Abstract  Download: 1981FCT-ADE.pdf (485.92 KB)
G
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.
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
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. Abstract
H
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
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
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., "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, 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 N. Vlachantonis, Spezifikation einer Fertigungszelle mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993. Abstract
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
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
K
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)
Kroll, H., J. Pirklbauer, J. Ruthmann, and W. - T. Balke, "A Semantically Enriched Dataset based on Biomedical NER for the COVID19 Open Research Dataset Challenge (Data Publication)", arXiv:2005.08823, 05/2020. Abstract  Download: ARXIV2020_Entity-Tagged_CoVid19_Dataset.pdf (374.75 KB)