Author of the publication

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).

, , , and . Dagstuhl Reports, 11 (8): 52-75 (2021)

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

OCTO+: Optimized Checkpointing of B+ Trees for Non-Volatile Main Memory Wear-Leveling., , , , and . NVMSA, page 1-6. IEEE, (2021)Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms., and . ISSTA, page 1475-1478. ACM, (2023)French speech recognition in an automatic dictation system for translators: the transtalk project., , , , , , and . EUROSPEECH, page 193-196. ISCA, (1995)Automatic methods for lexical stress assignment and syllabification., , , and . INTERSPEECH, page 423-426. ISCA, (2000)AMBER: A Modified BLEU, Enhanced Ranking Metric., and . WMT@EMNLP, page 71-77. Association for Computational Linguistics, (2011)PORTAGE: with Smoothed Phrase Tables and Segment Choice Models., , , , , , and . WMT@HLT-NAACL, page 134-137. Association for Computational Linguistics, (2006)Speech recongnition and the frequency of recently used words: a modified Markov model for natural language.. COLING, page 348-350. John von Neumann Society for Computing Sciences, Budapest, (1988)Bilingual Methods for Adaptive Training Data Selection for Machine Translation., , , , and . AMTA (1), page 93-106. The Association for Machine Translation in the Americas, (2016)Fast speaker adaptation using a priori knowledge., , , , , , , and . ICASSP, page 749-752. IEEE Computer Society, (1999)Vector Space Model for Adaptation in Statistical Machine Translation., , and . ACL (1), page 1285-1293. The Association for Computer Linguistics, (2013)