Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, und . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Seite 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , und . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, Seite 10. New York, Association for Computing Machinery, (2022)
 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient data sharing.. University of Cambridge, UK, (1988)British Library, EThOS.A Calculus for Access Control in Distributed Systems., , , und . ACM Trans. Program. Lang. Syst., 15 (4): 706-734 (1993)Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links., , , , , , , und . IEEE Journal on Selected Areas in Communications, 9 (8): 1318-1335 (1991)Rejoinder to Nessett., , und . Operating Systems Review, 24 (2): 39-40 (1990)Authentification and Delegation with Smart-Cards., , , und . Sci. Comput. Program., 21 (2): 93-113 (1993)Bigtable: A Distributed Storage System for Structured Data., , , , , , , , und . ACM Trans. Comput. Syst., 26 (2): 4:1-4:26 (2008)Authentication in Distributed Systems: Theory and Practice., , , und . SOSP, Seite 165-182. ACM, (1991)Operating System Review 25(5).Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs., , , , und . SOSP, Seite 27-37. ACM, (1997)Operating System Review 31(5).A Logic of Authentication., , und . ACM Trans. Comput. Syst., 8 (1): 18-36 (1990)A Cooperative Internet Backup Scheme., , , , und . USENIX Annual Technical Conference, General Track, Seite 29-41. USENIX, (2003)