Publikationen

2020

• A Language for Deterministic Coordination across Multiple TimelinesLohstroh, M., Menard, C., Schulz-Rosengarten, A., Weber, M., Castrillon, J. & Lee, E. A., 15 Sept. 2020, 2020 Forum for Specification and Design Languages (FDL). 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ComPy-Learn: A toolbox for exploring machine learning representations for compilersBrauckmann, A., Goens, A. & Castrillon, J., 15 Sept. 2020, 2020 Forum for Specification and Design Languages (FDL). 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PIKA: Center-Wide and Job-Aware Cluster MonitoringDietrich, R., Winkler, F., Knüpfer, A. & Nagel, W., 14 Sept. 2020, 2020 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Computer Society, Washington , S. 424-432, 9 S., (IEEE International Conference on Cluster Computing)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Service Granularity in Industrial Automation and Control SystemsHomay, A., Sousa, M. D., Zoitl, A. & Wollschlaeger, M., 11 Sept. 2020, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, Band 1. S. 132-139, 8 S., 9212048Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Achiever or explorer? Gamifying the creation process of training data for machine learningAlaghbari, S., Mitschick, A., Blichmann, G., Voigt, M. & Dachselt, R., 6 Sept. 2020, MuC '20: Proceedings of Mensch und Computer 2020. Preim, B., Nürnberger, A. & Hansen, C. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 173-181Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CoFind: A Browser Plugin for Investigating Co-Located Collaborative Web SearchFuhrmann, R., Lehmann, A., Mitschick, A., Langner, R. & Dachselt, R., 6 Sept. 2020, S. 425–429, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 Sept. 2020, Lecture Notes in Computer Science: International Conference on Computers Helping People with Special Needs. Springer, Cham, S. 305-314Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Blind Twins: Siamese Networks for Non-Interactive Information ReconciliationWalther, P. & Strufe, T., 3 Sept. 2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications. IEEE TechRxiv, S. 1-7, 7 S., 9217278Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A note on C2 interpreted over finite data-wordsBednarczyk, B. & Witkowski, P., 1 Sept. 2020, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Neva - Extension Visualization for Argumentation FrameworksYang, M., Gaggl, S. A. & Rudolph, S., 1 Sept. 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Band 326. S. 477-478, 2 S., (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The ASPARTIX System SuiteDvořák, W., Gaggl, S. A., Rapberger, A., Wallner, J. P. & Woltran, S., 1 Sept. 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Band 326. S. 461-462, 2 S., (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Use of Steroid Profiling Combined With Machine Learning for Identification and Subtype Classification in Primary AldosteronismEisenhofer, G., Durán, C., Cannistraci, C. V., Peitzsch, M., Williams, T. A., Riester, A., Burrello, J. & 7 weitere, 1 Sept. 2020, in: JAMA network open. 3, 9, S. e2016209Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Mathematical basis for the assessment of antibiotic resistance and administrative counter-strategiesDiebner, H. H., Kather, A., Roeder, I. & de With, K., Sept. 2020, in: PloS one. 15, 9 September, e0238692Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Deep Domain-Specific Model Framework for Self-Reproducing Robotic Control SystemsZhao, W. & Aßmann, U., 20 Aug. 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). S. 240-242Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Magnetic Racetrack Memory: From Physics to the Cusp of Applications within a DecadeBlasing, R., Khan, A. A., Filippou, P. C., Garg, C., Hameed, F., Castrillon, J. & Parkin, S. S., Aug. 2020, in: Proceedings of the IEEE. 108, 8, S. 1303-1321, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Systembiologie: Wird die Informatik auch die klinische Forschung revolutionieren?Sbalzarini, I. F., Aug. 2020, in: Allergologie. 43, 8, S. 338-339, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Kurze Umfrage/Übersichtsartikel
• ADA-FS - Advanced Data Placement via Ad hoc File Systems at Extreme Scales.Oeste, S., Vef, M., Soysal, M., Nagel, W. E., Brinkmann, A. & Streit, A., 30 Juli 2020, Software for Exascale Computing - SPPEXA 2016-2019. S. 29-59Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• The structural basis of the genetic code: amino acid recognition by aminoacyl-tRNA synthetasesKaiser, F., Krautwurst, S., Salentin, S., Haupt, J., Leberecht, C., Bittrich, S., Labudde, D. & 1 weitere, 28 Juli 2020, in: Scientific reports. 10, 1, 12647Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis: A Dissertation SummaryKriegel, F., 11 Juli 2020, in: KI. Künstliche Intelligenz. 34, S. 399-403, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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