Publikationen

Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.

3721 Einträge

2020

Temporal Constraint Satisfaction Problems in Fixed-Point LogicBodirsky, M., Pakusa, W. & Rydval, J., 8 Juli 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery (ACM), New York, S. 237-251, 15 S., 3394750. (ACM International Conference Proceeding Series)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
A Framework for Reasoning about Dynamic Axioms in Description LogicsBednarczyk, B., Demri, S. & Mansutti, A., 1 Juli 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020). International Joint Conferences on Artificial IntelligenceElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDsBednarczyk, B., Ferens, R. & Ostropolski-Nalewaja, P., 1 Juli 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020). International Joint Conferences on Artificial IntelligenceElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Towards interaction design for mobile devices in collocated mixed-focus collaborationKühn, R., Korzetz, M., Grzelak, D., Aßmann, U. & Schlegel, T., 1 Juli 2020, HCI International 2020 - Posters: 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I. Stephanidis, C. & Antona, M. (Hrsg.). Springer, Cham, S. 35–43Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Efficient Cloud-based Secret Shuffling via Homomorphic EncryptionBecher, K. & Strufe, T., Juli 2020, 2020 IEEE Symposium on Computers and Communications, ISCC 2020. Institute of Electrical and Electronics Engineers Inc., 9219588Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Model-driven Software Engineering for Construction Engineering: Quo Vadis?Götz, S., Fehn, A., Rohde, F. & Kühn, T., Juli 2020, in: Journal of Object Technology. 2020, 07, S. 1-22Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Poster Abstract: An Open Source Approach to Field Testing of WLAN up to IEEE 802.11ad at 60 GHz Using Commodity Hardware.Klingler, F., Hauptmeier, F., Sommer, C. & Dressler, F., Juli 2020, 39th IEEE International Conference on Computer Communications (INFOCOM 2020), Poster Session. IEEE, S. 1312-1313, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
The german-speaking twitter community reference data setPflugmacher, J., Escher, S., Reubold, J. & Strufe, T., Juli 2020, IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020. Institute of Electrical and Electronics Engineers Inc., S. 1172-1177, 6 S., 9162728Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Toward an ICT-Based Service Oriented Health Care ParadigmAntonopoulos, C. P., Keramidas, G., Voros, N. S., Huebner, M., Schwiegelshohn, F., Goehringer, D., Dagioglou, M. & 3 weitere, Juli 2020, in: IEEE Consumer Electronics Magazine. 9, 4, S. 77-82, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Transparent microsegmentation in smart home IoT networksOsman, A., Wasicek, A., Köpsell, S. & Strufe, T., 25 Juni 2020, Proceedings of the USENIX Workshop on Hot Topics in Edge Computing (HotEdge). 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
FacetE: Exploiting web tables for domain-specific word embedding evaluationGünther, M., Sikorski, P., Thiele, M. & Lehner, W., 19 Juni 2020, DBTest '20: Proceedings of the workshop on Testing Database Systems. Association for Computing Machinery (ACM), New York, S. 1-6, 6 S., 5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Workload merging potential in SAP HybrisRehrmann, R., Keppner, M., Lehner, W., Binnig, C. & Schwarz, A., 19 Juni 2020, DBTest '20: Proceedings of the workshop on Testing Database Systems. Association for Computing Machinery, Inc, 6 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Comparative analysis of OpenCL and RTL for sort-merge primitives on FPGAMoghaddamfar, M., Färber, C., Lehner, W. & May, N., 15 Juni 2020, DaMoN '20: Proceedings of the 16th International Workshop on Data Management on New Hardware. Association for Computing Machinery (ACM), New York, S. 11:1-11:7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
A cost-based storage format selector for materialized results in big data frameworksMunir, R. F., Abelló, A., Romero, O., Thiele, M. & Lehner, W., 1 Juni 2020, in: Distributed and parallel databases : an international journal. 38, 2, S. 335-364, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Configuring Parallelism for Hybrid Layouts Using Multi-Objective OptimizationMunir, R. F., Abelló, A., Romero, O., Thiele, M. & Lehner, W., 1 Juni 2020, in: Big data. 8, 3, S. 235-247, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Modal Logics with Composition on Finite Forests: Expressivity and ComplexityBednarczyk, B., Demri, S., Fervari, R. & Mansutti, A., 1 Juni 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsBaader, F., Bednarczyk, B. & Rudolph, S., 1 Juni 2020, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS Press, S. 616-623, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Sharing opportunities for OLTP workloads in different isolation levelsRehrmann, R., Binnig, C., Böhm, A., Kim, K. & Lehner, W., 1 Juni 2020, in: Proceedings of the VLDB Endowment. 13, 10, S. 1696-1708, 13 S., 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
A non-linear system patterns Rab5 GTPase on the membraneCezanne, A., Lauer, J., Solomatina, A., Sbalzarini, I. F. & Zerial, M., Juni 2020, in: eLife. 9, 22 S., e54434Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Parametric Markov chains: PCTL complexity and fraction-free Gaussian eliminationBaier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J. P. & Klein, J., Juni 2020, in: Information and computation. 272, 104504Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Feature-aware forecasting of large-scale time series data setsHartmann, C., Kegel, L. & Lehner, W., 27 Mai 2020, in: it-Information Technology. 62, 3-4, S. 157-168, 12 S., 3-4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Visualisation of Medical Image Fusion and Translation for Accurate Diagnosis of High Grade GliomasKumar, N., Hoffmann, N., Kirsch, M. & Gumhold, S., 22 Mai 2020, S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
stARS: Proposing an adaptable collaborative learning environment to support communication in the classroomKubica, T., Shmelkin, I., Peine, R., Roszko, L. & Schill, A., 2 Mai 2020, CSEDU 2020 - Proceedings of the 12th International Conference on Computer Supported Education. S. 390-397Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
General dynamic Yannakakis: conjunctive queries with theta joins under updatesIdris, M., Ugarte, M., Vansummeren, S., Voigt, H. & Lehner, W., 1 Mai 2020, in: The VLDB journal. 29, 2-3, S. 619-653, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Investigating subclasses of abstract dialectical frameworksDiller, M., Zafarghandi, A. K., Linsbichler, T. & Woltran, S., 1 Mai 2020, in: Argument & computation. 11, 1-2, S. 191-219, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

Publikationen

2020

Zu dieser Seite

Finden!