Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci., 2015
Modular analysis of gene networks by linear temporal logic.
J. Integr. Bioinform., 2013
Formal Analysis of Gene Networks Using Network Motifs.
Proceedings of the Biomedical Engineering Systems and Technologies, 2013
Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.
Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010
Formal system of interactions on biomedical ontology.
Proceedings of the Information Modelling and Knowledge Bases XXI, 2009
A Quantitative Semantics of Formal Ontology of Drug Interactions.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008
An Object Logic for Object Base Capable of Version Management.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996