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

From narrative descriptions to MedDRA: automagically encoding adverse drug reactions., , , , and . J. Biomed. Informatics, (2018)A Logic for Quantum Register Measurements., and . Axioms, 8 (1): 25 (2019)Normalizing Spontaneous Reports Into MedDRA: Some Experiments With MagiCoder., , , , and . IEEE J. Biomed. Health Informatics, 23 (1): 95-102 (2019)Probabilistic operational semantics for the lambda calculus., and . RAIRO Theor. Informatics Appl., 46 (3): 413-450 (2012)QPCF: higher order languages and quantum circuits., , and . CoRR, (2018)It could be worse, it could be raining: reliable automatic meteorological forecasting., , , , and . CoRR, (2019)Automatic Generation of Dictionaries: The Journalistic Lexicon Case., , and . IEA/AIE, volume 11606 of Lecture Notes in Computer Science, page 744-752. Springer, (2019)A Logical Framework for XML Reference Specification., , , and . DEXA (2), volume 9262 of Lecture Notes in Computer Science, page 258-267. Springer, (2015)On a measurement-free quantum lambda calculus with classical control., , and . Math. Struct. Comput. Sci., 19 (2): 297-335 (2009)On quantum lambda calculi: a foundational perspective.. Math. Struct. Comput. Sci., 26 (7): 1107-1195 (2016)