Takuma Ichinose

According to our database1, Takuma Ichinose authored at least 4 papers between 2013 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci., 2015

2013
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


  Loading...