Publikationen

2022

• Design centering enables robustness screening of pattern formation modelsSolomatina, A., Cezanne, A., Kalaidzidis, Y., Zerial, M. & Sbalzarini, I. F., 16 Sept. 2022, in: Bioinformatics. 38, 2 S, S. II134-II140Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• DECO: Optimizing Software-based Soft-Error Detector ConfigurationsThunig, R., Lenz, M., Ulbrich, P. & Schirmeier, H., 15 Sept. 2022, Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022. IEEE Xplore, S. 73-80, 8 S., 9933206Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Load Balancing Potentials in 5G NR FR2Rezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., 15 Sept. 2022, 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, S. 1393-1399, 7 S., 9977585Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using Matchboxes to Teach the Basics of Machine Learning: an Analysis of (Possible) MisconceptionsMarx, E., Leonhardt, T., Baberowski, D. & Bergner, N., 8 Sept. 2022, Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop. PMLR, S. 25-29, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Operational causality – Necessarily sufficient and sufficiently necessaryBaier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sept. 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Berlin [u. a.], S. 27–45, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Stretching Projection - Projection-Based Visual Control and Support for Sports ExercisesFranke, I. S., Elze, A. & McGinity, M., 4 Sept. 2022, MuC '22: Proceedings of Mensch und Computer 2022. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (Hrsg.). Association for Computing Machinery, S. 452-456, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ADF - BDD : An ADF Solver Based on Binary Decision DiagramsEllmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 1 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 355–356, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Coupling and Decoupling in IEC 61499 and IEC 61131-3 ApplicationsHomay, A., de Sousa, M., Zoitl, A. & Wollschlaeger, M., 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall MemoryMultanen, J. I., Hepola, K., Khan, A. A., Castrillon, J. & Jaaskelainen, P., 1 Sept. 2022, in: IEEE Transactions on Computers. 71, 9, S. 2010-2021, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Holistic Monitoring for heterogeneous industrial Time Sensitive NetworksSoler Perez Olaya, S., Braunisch, N., Wollschlaeger, M., Zemitis, J., Chams Zahrouni, G., Hendel, M. & Blöcher, I., 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation SystemsHomay, A., Wollschlaeger, M., de Sousa, M. & kepler, J., 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution SpacesDachselt, R., Gaggl, S. A., Krötzsch, M., Méndez, J., Rusovac, D. & Yang, M., 1 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 116–127, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Purser, D. & 2 weitere, 1 Sept. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBednarczyk, B. & Fiuk, O., 1 Sept. 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (Hrsg.).S. 295-308, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Semantic Characterizations of AGM Revision for Tarskian LogicsFalakh, F. M., Rudolph, S. & Sauerwald, K., 1 Sept. 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (Hrsg.).S. 95-110, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)Marx, M. & Krötzsch, M., 1 Sept. 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (Hrsg.). CEUR-WS.org, S. 97–103Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Accessible Mobile Map Application and Interaction for People with Visual or Mobility ImpairmentsRottmann, S., Loitsch, C. & Weber, G., Sept. 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (Hrsg.).S. 119-127, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• CPrAA – A Checker for Probabilistic Abstract ArgumentationKäfer, N., Sept. 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Band 353. S. 359-360, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Efficient Pareto Optimality-based Task Scheduling for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle SimulationsLobato, W., da Costa, J. B. D., de Souza, A. M., Rosário, D., Sommer, C. & Aparecido Villas, L., Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolutionSusik, M., Schönborn, H. & Sbalzarini, I. F., Sept. 2022, in: Forensic science international : official journal of the International Society for Forensic Genetics. 60, 9 S., 102744Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Virtualization of Embedded Reconfigurable SystemsWulf, C. & Göhringer, D., 30 Aug. 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 460-461, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PANACA: An open-source configurable network-on-chip simulation platformHaase, J., Groß, A., Feichter, M. & Göhringer, D., 26 Aug. 2022, 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI). S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Informatics Education in German Primary School CurriculaNenner, C. & Bergner, N., 25 Aug. 2022, Informatics in Schools. A Step Beyond Digital Education - 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Proceedings. Bollin, A. & Futschek, G. (Hrsg.). Cham: Springer, Berlin [u. a.], S. 3-14, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Haptic Force Feedback in Training for minimally invasive Surgery – Entwicklung und Validierung eines Laparoskopie-Simulators mit haptischem Vibrationsfeedback zum Training der adäquaten Kraftausübung.Bechtolsheim, F., Oehme, F., Bielert, F., Schmidt, S., Schneider, A., Bodenstedt, S., Speidel, S. & 4 weitere, 19 Aug. 2022, in: Zeitschrift fur GastroenterologiePublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten