Login / Signup
Michael Bulinski
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 2
Top Topics
Closed World
Relational Queries
Inference Control
Theorem Proving
Top Venues
ADBIS
Inf. Syst.
GI-Jahrestagung
</>
Publications
</>
Michael Dominik Görtz
,
Roland Kühn
,
Oliver Zietek
,
Roman Bernhard
,
Michael Bulinski
,
Dennis Duman
,
Benedikt Freisen
,
Uwe Jentsch
,
Tobias Klöppner
,
Dragana Popovic
,
Lili Xu
Energy Efficiency of a Low Power Hardware Cluster for High Performance Computing.
GI-Jahrestagung
(2017)
Joachim Biskup
,
Martin Bring
,
Michael Bulinski
Inference control of open relational queries under closed-world semantics based on theorem proving.
Inf. Syst.
70 (2017)
Joachim Biskup
,
Martin Bring
,
Michael Bulinski
Confidentiality Preserving Evaluation of Open Relational Queries.
ADBIS
(2015)