Author of the publication

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

, , , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 418-423. Springer, (2024)

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 GPU-Accelerated Open Source VDI for OpenStack., , , and . CloudComp, volume 430 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 149-164. Springer, (2021)bwLehrpool als offene und flexible Betriebsplattform für PC-Pools mit optionalem Fernzugriff., , , , and . GI-Jahrestagung, volume P-326 of LNI, page 1417-1426. Gesellschaft für Informatik, Bonn, (2022)Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution)., , , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 418-423. Springer, (2024)