Author of the publication

DataMod2020: 9th International Symposium "From Data to Models and Back".

, , and . CIKM, page 3531-3532. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues., , , and . HCI (38), volume 1581 of Communications in Computer and Information Science, page 103-111. Springer, (2022)Using Spatial Logic and Model Checking for Nevus Segmentation., , , , and . CoRR, (2020)DataMod2020: 9th International Symposium "From Data to Models and Back"., , and . CIKM, page 3531-3532. ACM, (2020)Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance., , , , , and . ICPC, page 54-58. IEEE, (2023)An Algorithm for Simulating Human Selective Attention., , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 48-55. Springer, (2017)An Executable Formal Framework for Safety-Critical Human Multitasking., , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 54-69. Springer, (2018)Feasibility of Spatial Model Checking for Nevus Segmentation., , , , and . FormaliSE@ICSE, page 1-12. IEEE, (2021)Formal modeling and analysis of safety-critical human multitasking., , and . Innov. Syst. Softw. Eng., 15 (3-4): 169-190 (2019)Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)., , , , , and . MEDI Workshops, volume 1481 of Communications in Computer and Information Science, page 285-301. Springer, (2021)Model-based analysis of driver distraction by infotainment systems in automotive domain.. EICS, page 133-136. ACM, (2017)