Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Marian Gheorghe

Showing results (1-10 of 13) with videos related to

Pageof 2
Sort By:
IEEE/ACM Transactions on Computational Biology and Bioinformatics|September 11, 2015
A Property-Driven Methodology for Formal Analysis of Synthetic Biology SystemsSavas Konur, Marian Gheorghe
Comparative and Functional Genomics|July 17, 2008
A formal language-based approach in biologyMarian Gheorghe, Victor Mitrana
Bio Systems|August 31, 2007
P systems applications to systems biologyMarian Gheorghe, Natalio Krasnogor, Miguel Camara
International Journal of Neural Systems|January 5, 2021
IntroductionMarian Gheorghe, Ferrante Neri, Gexiang Zhang
Journal of the Royal Society, Interface|May 9, 2023
Verifiable biologySavas Konur, Marian Gheorghe, Natalio Krasnogor
Bio Systems|February 22, 2003
A hybrid machine model of rice blast fungus, Magnaporthe griseaMike Holcombe, Lucy Holcombe, Marian Gheorghe, et al.
International Journal of Neural Systems|August 30, 2024
A Federated Learning Protocol for Spiking Neural Membrane SystemsMihail-Iulian Pleşa, Marian Gheorghe, Florentin Ipate, et al.
Bioinformatics (Oxford, England)|April 25, 2018
Automatic selection of verification tools for efficient analysis of biochemical modelsMehmet Emin Bakir, Savas Konur, Marian Gheorghe, et al.
ACS Synthetic Biology|August 5, 2014
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systemsSavas Konur, Marian Gheorghe, Ciprian Dragomir, et al.
IEEE Transactions on Nanobioscience|August 6, 2014
Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredientsGexiang Zhang, Haina Rong, Zhu Ou, et al.
Pageof 2

Showing results (1-10 of 13) with videos related to

Sort By:
Pageof 2
IEEE/ACM Transactions on Computational Biology and Bioinformatics|September 11, 2015
A Property-Driven Methodology for Formal Analysis of Synthetic Biology SystemsSavas Konur, Marian Gheorghe
Comparative and Functional Genomics|July 17, 2008
A formal language-based approach in biologyMarian Gheorghe, Victor Mitrana
Bio Systems|August 31, 2007
P systems applications to systems biologyMarian Gheorghe, Natalio Krasnogor, Miguel Camara
International Journal of Neural Systems|January 5, 2021
IntroductionMarian Gheorghe, Ferrante Neri, Gexiang Zhang
Journal of the Royal Society, Interface|May 9, 2023
Verifiable biologySavas Konur, Marian Gheorghe, Natalio Krasnogor
Bio Systems|February 22, 2003
A hybrid machine model of rice blast fungus, Magnaporthe griseaMike Holcombe, Lucy Holcombe, Marian Gheorghe, et al.
International Journal of Neural Systems|August 30, 2024
A Federated Learning Protocol for Spiking Neural Membrane SystemsMihail-Iulian Pleşa, Marian Gheorghe, Florentin Ipate, et al.
Bioinformatics (Oxford, England)|April 25, 2018
Automatic selection of verification tools for efficient analysis of biochemical modelsMehmet Emin Bakir, Savas Konur, Marian Gheorghe, et al.
ACS Synthetic Biology|August 5, 2014
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systemsSavas Konur, Marian Gheorghe, Ciprian Dragomir, et al.
IEEE Transactions on Nanobioscience|August 6, 2014
Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredientsGexiang Zhang, Haina Rong, Zhu Ou, et al.
Pageof 2