Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 62 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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.
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
futureinternet-12-78.pdf
(1.97 MB)
Ehrich, H. - D.
,
U. Goltz
,
J. Meseguer
,
A. Pnueli
, and
(eds)
,
Specication of Distributed Information Systems. Dagstuhl Seminar 00081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2000.
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985Tutzing.pdf
(877.62 KB)
Ehrich, H. - D.
,
"
Specifying algebraic data types by domain equations
",
FCT
: Springer LNCS 117, 1981.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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.
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Some Examples for TROL1 \it light\/ Templates
,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
ARXIV2020_Entity-Tagged_CoVid19_Dataset.pdf
(374.75 KB)
1
2
next ›
last »