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

Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software.. Royal Institute of Technology, Stockholm, Sweden, (2024)base-search.net (ftkthstockholm:oai:DiVA.org:kth-341484).Refinement-Based Verification of Device-to-Device Information Flow., , and . FMCAD, page 123-132. IEEE, (2021)Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution., , , , and . FMCAD, page 129-138. IEEE, (2022)Addressing Posterior Collapse with Mutual Information for Improved Variational Neural Machine Translation., , , and . ACL, page 8512-8525. Association for Computational Linguistics, (2020)Detection of packing filter rods based on visual saliency., , , , and . ICIA, page 1349-1353. IEEE, (2016)Operator Smith Algorithm for Coupled Stein Equations from Jump Control Systems., , and . Axioms, 13 (4): 249 (April 2024)Hybrid Multiobjective Differential Evolution Incorporating Preference Based Local Search., and . Int. J. Comput. Intell. Syst., 7 (4): 733-747 (2014)Multiobjective Differential Evolution Based on Opposite Operation., and . CIS (1), page 123-127. IEEE Computer Society, (2009)COLLD: Contrastive Layer-to-Layer Distillation for Compressing Multilingual Pre-Trained Speech Encoders., , , , and . ICASSP, page 10801-10805. IEEE, (2024)The Llama 3 Herd of Models, , , , , , , , , and 523 other author(s). (2024)