Autor der Publikation

On the Visual Representation of Configuration in Reconfigurable Computing.

, und . Electr. Notes Theor. Comput. Sci., (2004)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Life and work., und . The Turing Guide, Oxford University Press, (2017)POS-formal specification of a Unix tool.. Softw. Eng. J., 4 (1): 67-72 (1989)Safety-critical systems, formal methods and standards., und . Softw. Eng. J., 8 (4): 189-209 (1993)Computational Culture: Transforming Archives Practice and Education for a Post-Covid World., und . ACM Journal on Computing and Cultural Heritage, 15 (3): 47:1-47:18 (2022)Z Logic and its Consequences., , und . Comput. Artif. Intell., 22 (3-4): 381-415 (2003)Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara, und . CoRR, (2005)On the Security of Practical and Complete Homomorphic Encrypted Computation., und . IACR Cryptology ePrint Archive, (2016)The Impact of Alan Turing: Formal Methods and Beyond.. SETSS, Volume 11430 von Lecture Notes in Computer Science, Seite 202-235. Springer, (2018)From Programs to Object Code using Logic and Logic Programming.. Code Generation, Seite 173-192. Springer, (1991)A Practical Encrypted Microprocessor., , , und . SECRYPT, Seite 239-250. SciTePress, (2016)