From post

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.

 

Другие публикации лиц с тем же именем

A Qualitative Framework Dedicated to Toxicology., , , и . BIOINFORMATICS, стр. 93-103. SciTePress, (2017)A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , и . CMSB, том 9308 из Lecture Notes in Computer Science, стр. 8-12. Springer, (2015)Exception Handling and Term Labelling., и . TAPSOFT, том 668 из Lecture Notes in Computer Science, стр. 421-436. Springer, (1993)Chronique : Le programme d'épigénomique., и . Technique et Science Informatiques, 26 (1-2): 237-240 (2007)Abstract Implementation with Exception Handling.. ADT, (1986)Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes., , , и . CMSB, том 10545 из Lecture Notes in Computer Science, стр. 196-213. Springer, (2017)Computer-aided Formal Proofs about Dendritic Integration within a Neuron., , , , и . BIOINFORMATICS, стр. 49-60. SciTePress, (2018)Algebraic Semantics of Exception Handling., , и . ESOP, том 213 из Lecture Notes in Computer Science, стр. 173-186. Springer, (1986)Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models., , , , и . ICPRAM, стр. 605-612. SciTePress, (2019)Hierarchical Heterogeneous Specifications., , и . WADT, том 1589 из Lecture Notes in Computer Science, стр. 107-121. Springer, (1998)