Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2021
-
The Varieties of Ought-implies-Can and Deontic STIT Logic , 1 Jul 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (eds.). College Publications, p. 57-76, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Tactile Heatmaps: A Novel Visualisation Technique for Data Analysis with Tactile Charts , 29 Jun 2021, The 14th PErvasive Technologies Related to Assistive Environments ConferenceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Bigraphical domain-specific language (BDSL): User Manual , 25 Jun 2021Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
-
CoopCL: A Framework for Cooperative Execution of Data-parallel Kernels on Multi-device Platforms , 21 Jun 2021, Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2021. Association for Computing Machinery, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Pre-trained web table embeddings for table discovery , 20 Jun 2021, Proceedings of the 4th International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, aiDM 2021. Association for Computing Machinery, Inc, p. 24-31, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Modified Supervaluationist Framework for Decision-Making , 1 Jun 2021, In: Logos & Episteme : an international journal of epistemology. 7, 2, p. 175-191, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Immersive 3D visualization of multi-modal brain connectivity , 1 Jun 2021, Proceedings of the International EuroVis Workshop on Visual Analytics (EuroVA). p. 7-11Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Advancing Design and Runtime Management of AI Applications with AI-SPRINT , Jun 2021, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Biggs Theorem for Directed Cycles and Topological Invariants of Digraphs , Jun 2021, In: Advances in Pure Mathematics : APM. 11, 6, p. 573-594, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification , Jun 2021, p. 83067 - 83079Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Deep Learning Improves Pancreatic Cancer Diagnosis Using RNA-Based Variants , 28 May 2021, In: Cancers. 13, 11, 2654Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Enhancing Probabilistic Model Checking with Ontologies , 26 May 2021, In: Formal Aspects of Computing. 33, 6, p. 885–921, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Responsibility Attribution in Parameterized Markovian Models , 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 ed., AAAI Press, Vol. 35. p. 11734-11743, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Investigating document layout and placement strategies for collaborative sensemaking in augmented reality , 13 May 2021, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts (EA). Kitamura, Y., Quigley, A., Isbister, K. & Igarashi, T. (eds.).7 p., 456Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
An online guided tuning approach to run CNN pipelines on edge devices , 11 May 2021, CF '21: Proceedings of the 18th ACM International Conference on Computing Frontiers. Association for Computing Machinery, Inc, p. 45-53, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Experiences and insights from using Github Classroom to support Project-Based Courses , 1 May 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], p. 31-35, 5 p., (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Experiences with User Studies in Augmented Reality , May 2021, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Poster Abstract: HiL meets Commodity Hardware – SimbaR for coupling IEEE 802.11 Radio Channels , May 2021, 40th IEEE International Conference on Computer Communications (INFOCOM 2021), Poster SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Toward the Design of Fault-Tolerance-Aware and Peak-Power-Aware Multicore Mixed-Criticality Systems , May 2021, In: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 5, p. 1509-1522, 14 p., 5Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A canonical string encoding for pure bigraphs , 30 Apr 2021, In: SN Computer Science. 2, 4, 14 p., 246Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A User-Centered Approach to Gamify the Manual Creation of Training Data for Machine Learning , 22 Apr 2021, In: i-com : journal of interactive media. 20, 1, p. 33–48, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Particle-based segmentation of extended objects on curved biological membranes , 13 Apr 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging (ISBI). p. 1150-1154, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Completing the Picture: Complexity of Graded Modal Logics with Converse , 1 Apr 2021, In: Theory and practice of logic programmingElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
How well can your car be tracked: Analysis of the European C-ITS pseudonym scheme , Apr 2021, 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring). Helsinki: IEEE Xplore, 9449078Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Learning physically consistent differential equation models from data using group sparsity , Apr 2021, In: Physical Review E. 103, 4, 042310Electronic (full-text) versionResearch output: Contribution to journal > Research article