Author of the publication

Linearity and Uniqueness: An Entente Cordiale.

, , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 346-375. Springer, (2022)

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

Informative Summarization of Numeric Data., , , and . SSDBM, page 97-108. ACM, (2019)Time-Efficient Analysis of Complex Dependencies.. Karlsruhe Institute of Technology, Germany, (2020)Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations., , , , and . CoRR, (2021)Ausbildung und Migration in Ostmitteleuropa, and . Aus Politik und Zeitgeschichte, (2008)Deriving Distributive Laws for Graded Linear Types., , and . Linearity&TLLA@IJCAR-FSCD, volume 353 of EPTCS, page 109-131. (2020)Automatic Generation of Wave Digital Structures for Numerically Integrating Linear Symmetric Hyperbolic PDEs.. Multidimens. Syst. Signal Process., 16 (4): 369-396 (2005)Linearity and Uniqueness: An Entente Cordiale., , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 346-375. Springer, (2022)Assessing the Role of Facial Symmetry and Asymmetry between Partners in Predicting Relationship Duration: A Pilot Deep Learning Analysis of Celebrity Couples., , , , , and . Symmetry, 16 (2): 176 (February 2024)Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)., , , and . Dagstuhl Artifacts Ser., 9 (2): 25:1-25:2 (2023)LoCal: a language for programs operating on serialized data., , , , , and . PLDI, page 48-62. ACM, (2019)