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.
3727 Entries
2020
-
Runtime modeling and analysis of IoT systems. , 16 Oct 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 40:1-40:5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the probabilistic bisimulation spectrum with silent moves , 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512, 48 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Semantic Node-RED for rapid development of interoperable industrial IoT applications , 1 Oct 2020, In: Semantic web. 11, 6, p. 949-975, 27 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
The classification of homomorphism homogeneous tournaments , 1 Oct 2020, In: European Journal of Combinatorics. 89, p. 103142, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
GPU-based Raycasting of Hermite Spline Tubes , Oct 2020, Proceedings - 2020 IEEE Visualization Conference, VIS 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 26-30, 5 p., 9331319Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Secure Embedding of Rooted Spanning Trees for Scalable Routing in Topology-Restricted Networks , 24 Sep 2020, 2020 International Symposium on Reliable Distributed Systems (SRDS). Wiley-IEEE Press, p. 175-184, 10 p., 9252048Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
TouchPen: Rich Interaction Technique for Audio-Tactile Charts by Means of Digital Pens , 20 Sep 2020, Lecture Notes in Computer ScienceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing , 16 Sep 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
A Language for Deterministic Coordination across Multiple Timelines , 15 Sep 2020, 2020 Forum for Specification and Design Languages (FDL). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ComPy-Learn: A toolbox for exploring machine learning representations for compilers , 15 Sep 2020, 2020 Forum for Specification and Design Languages (FDL). 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PIKA: Center-Wide and Job-Aware Cluster Monitoring , 14 Sep 2020, 2020 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Computer Society, Washington , p. 424-432, 9 p., (IEEE International Conference on Cluster Computing)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Service Granularity in Industrial Automation and Control Systems , 11 Sep 2020, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Institute of Electrical and Electronics Engineers (IEEE), Vol. 1. p. 132-139, 8 p., 9212048Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Achiever or explorer? Gamifying the creation process of training data for machine learning , 6 Sep 2020, MuC '20: Proceedings of Mensch und Computer 2020. Preim, B., Nürnberger, A. & Hansen, C. (eds.). Association for Computing Machinery (ACM), New York, p. 173-181Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
CoFind: A Browser Plugin for Investigating Co-Located Collaborative Web Search , 6 Sep 2020, p. 425–429, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Analysis of Indoor Maps Accounting the Needs of People with Impairments , 4 Sep 2020, Lecture Notes in Computer Science: International Conference on Computers Helping People with Special Needs. Springer, Cham, p. 305-314Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Blind Twins: Siamese Networks for Non-Interactive Information Reconciliation , 3 Sep 2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications. IEEE TechRxiv, p. 1-7, 7 p., 9217278Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A note on C2 interpreted over finite data-words , 1 Sep 2020, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Neva - Extension Visualization for Argumentation Frameworks , 1 Sep 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Vol. 326. p. 477-478, 2 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The ASPARTIX System Suite , 1 Sep 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Vol. 326. p. 461-462, 2 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Use of Steroid Profiling Combined With Machine Learning for Identification and Subtype Classification in Primary Aldosteronism , 1 Sep 2020, In: JAMA network open. 3, 9, p. e2016209Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Mathematical basis for the assessment of antibiotic resistance and administrative counter-strategies , Sep 2020, In: PloS one. 15, 9 September, e0238692Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A heterogeneous microkernel OS for Rack-Scale systems , 24 Aug 2020, Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems. p. 50-58Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Deep Domain-Specific Model Framework for Self-Reproducing Robotic Control Systems , 20 Aug 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). p. 240-242Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Magnetic Racetrack Memory: From Physics to the Cusp of Applications within a Decade , Aug 2020, In: Proceedings of the IEEE. 108, 8, p. 1303-1321, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Systembiologie: Wird die Informatik auch die klinische Forschung revolutionieren? , Aug 2020, In: Allergologie. 43, 8, p. 338-339, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Short survey/Review