Publications

2020

• Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link DiagramsFlemisch, T., Langner, R., Alrabbaa, C. & Dachselt, R., 1 Nov 2020, VOILA 2020 Visualization and Interaction for Ontologies and Linked Data: Proceedings of the Fifth International Workshop on Visualization and Interaction for Ontologies and Linked Data co-located with the 19th International Semantic Web Conference (ISWC 2020). Ivanova, V., Lambrix, P., Pesquita, C. & Wiens, V. (eds.).p. 28-40, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing Tensor Contractions for Embedded Devices with Racetrack and DRAM MemoriesKhan, A. A., Rink, N. A., Hameed, F. & Castrillon, J., Nov 2020, In: ACM transactions on embedded computing systems. 19, 6, 44Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Polyhedral Compilation for Racetrack MemoriesKhan, A. A., Mewes, H., Grosser, T., Hoefler, T. & Castrillon, J., Nov 2020, In: IEEE transactions on computer-aided design of integrated circuits and systems. 39, 11, p. 3968-3980, 13 p., 9216560Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Travelling more independently: A Requirements Analysis for Accessible Journeys to Unknown Buildings for People with Visual ImpairmentsEngel, C., Müller, K., Angela Constantinescu, A., Petrausch ,, V., Loitsch, C., Weber, G. & Stiefelhagen, R., 26 Oct 2020, The 22nd International ACM SIGACCESS Conference on Computers and AccessibilityElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning from Textual Data in Database SystemsGünther, M., Oehme, P., Thiele, M. & Lehner, W., 19 Oct 2020, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), New York, Vol. 2020. p. 375-384, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A model-driven approach for cobotic cells based on Petri netsEbert, S., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. Association for Computing Machinery, Inc, p. 142-147, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Runtime modeling and analysis of IoT systems.Åkesson, A., Hedin, G., Fors, N., Schöne, R. & Mey, J., 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 movesBaier, C., D’Argenio, P. R. & Hermanns, H., 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 applicationsThuluva, A. S., Anicic, D., Rudolph, S. & Adikari, M., 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 tournamentsFeller, T., Pech, C. & Pech, M., 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 TubesRussig, B., Salm, M. & Gumhold, S., Oct 2020, Proceedings - 2020 IEEE Visualization Conference, VIS 2020. Institute of Electrical and Electronics Engineers Inc., 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 NetworksByrenheid, M., Strufe, T. & Roos, S., 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 PensEngel, C., Konrad, N. & Weber, G., 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 FuzzingLochmann, A., Thunig, R. & Schirmeier, H., 16 Sep 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Language for Deterministic Coordination across Multiple TimelinesLohstroh, M., Menard, C., Schulz-Rosengarten, A., Weber, M., Castrillon, J. & Lee, E. A., 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 compilersBrauckmann, A., Goens, A. & Castrillon, J., 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 MonitoringDietrich, R., Winkler, F., Knüpfer, A. & Nagel, W., 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 SystemsHomay, A., Sousa, M. D., Zoitl, A. & Wollschlaeger, M., 11 Sep 2020, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 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 learningAlaghbari, S., Mitschick, A., Blichmann, G., Voigt, M. & Dachselt, R., 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 SearchFuhrmann, R., Lehmann, A., Mitschick, A., Langner, R. & Dachselt, R., 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 ImpairmentsStriegl - Freiherr von Hoverbeck, J. L., Loitsch, C., Schmalfuß-Schwarz, J. & Weber, G., 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 ReconciliationWalther, P. & Strufe, T., 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-wordsBednarczyk, B. & Witkowski, P., 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 FrameworksYang, M., Gaggl, S. A. & Rudolph, S., 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 SuiteDvořák, W., Gaggl, S. A., Rapberger, A., Wallner, J. P. & Woltran, S., 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