Author of the publication

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

Abstract Syntax and Variable Binding for Linear Binders.. MFCS, volume 1893 of Lecture Notes in Computer Science, page 670-679. Springer, (2000)Category Theoretic Semantics for Typed Binding Signatures with Recursion., and . Fundam. Informaticae, 84 (2): 221-240 (2008)On the Adversarial Transferability of ConvMixer Models., , , and . CoRR, (2022)Binding Signatures for Generic Contexts., and . TLCA, volume 3461 of Lecture Notes in Computer Science, page 308-323. Springer, (2005)A 28nm high density 1R/1W 8T-SRAM macro with screening circuitry against read disturb failure., , , , , and . CICC, page 1-4. IEEE, (2013)A 6.05-Mb/mm2 16-nm FinFET double pumping 1W1R 2-port SRAM with 313 ps read access time., , , , , , and . VLSI Circuits, page 1-2. IEEE, (2016)A Hoare Logic for Diverging Programs., , and . Arch. Formal Proofs, (2023)On the Transferability of Adversarial Examples between Encrypted Models., , and . ISPACS, page 1-4. IEEE, (2022)Pseudo-distributive laws and axiomatics for variable binding., and . High. Order Symb. Comput., 19 (2-3): 305-337 (2006)1.8 Mbit/mm2 ternary-CAM macro with 484 ps search access time in 16 nm Fin-FET bulk CMOS technology., , , , and . VLSIC, page 274-. IEEE, (2015)