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

A Qualitative Framework Dedicated to Toxicology., , , and . BIOINFORMATICS, page 93-103. SciTePress, (2017)Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network., and . Fundam. Informaticae, 91 (3-4): 463-485 (2009)A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 8-12. Springer, (2015)Exception Handling and Term Labelling., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 421-436. Springer, (1993)Enzymatic competition: Modeling and verification with timed hybrid petri nets., , and . Pattern Recognit., 42 (4): 562-566 (2009)Good Functors... are Those Preserving Philosophy.. Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 182-195. Springer, (1987)Correctness Proofs for Abstract Implementations.. ADT, (1986)Hierarchical Heterogeneous Specifications., , and . WADT, volume 1589 of Lecture Notes in Computer Science, page 107-121. Springer, (1998)A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency, , , , , , , and . BMC Syst. Biol., (2008)A Formal Approach to Software Testing., , and . AMAST, page 243-253. Springer, (1991)