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

Ezio Bartocci

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

Pageof 2
Sort By:
Plos Computational Biology|January 23, 2016
Computational Modeling, Formal Analysis, and Tools for Systems BiologyEzio Bartocci, Pietro Lió
BMC Bioinformatics|April 14, 2007
BioWMS: a web-based Workflow Management System for bioinformaticsEzio Bartocci, Flavio Corradini, Emanuela Merelli, et al.
Formal Methods in System Design|December 4, 2023
The probabilistic termination tool amberMarcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, et al.
Formal Methods in System Design|April 9, 2019
Quantitative monitoring of STL with edit distanceStefan Jakšić, Ezio Bartocci, Radu Grosu, et al.
BMC Bioinformatics|April 18, 2008
CellExcite: an efficient simulation environment for excitable cellsEzio Bartocci, Flavio Corradini, Emilia Entcheva, et al.
Journal of Integrative Bioinformatics|July 10, 2012
UBioLab: a web-laboratory for ubiquitous in-silico experimentsEzio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics|December 12, 2018
Quantitative Regular Expressions for Arrhythmia DetectionHoussam Abbas, Alena Rodionova, Konstantinos Mamouras, et al.
IEEE Transactions on Nanobioscience|August 19, 2007
An agent-based multilayer architecture for bioinformatics gridsEzio Bartocci, Diletta Cacciagrano, Nicola Cannata, et al.
BMC Bioinformatics|April 14, 2007
Biowep: a workflow enactment portal for bioinformatics applicationsPaolo Romano, Ezio Bartocci, Guglielmo Bertolini, et al.
Genome Biology|November 13, 2003
Expressionview: visualization of quantitative trait loci and gene-expression data in EnsemblGertrud Fischer, Saleh M Ibrahim, Gudrun A Brockmann, et al.
Pageof 2

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

Sort By:
Pageof 2
Plos Computational Biology|January 23, 2016
Computational Modeling, Formal Analysis, and Tools for Systems BiologyEzio Bartocci, Pietro Lió
BMC Bioinformatics|April 14, 2007
BioWMS: a web-based Workflow Management System for bioinformaticsEzio Bartocci, Flavio Corradini, Emanuela Merelli, et al.
Formal Methods in System Design|December 4, 2023
The probabilistic termination tool amberMarcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, et al.
Formal Methods in System Design|April 9, 2019
Quantitative monitoring of STL with edit distanceStefan Jakšić, Ezio Bartocci, Radu Grosu, et al.
BMC Bioinformatics|April 18, 2008
CellExcite: an efficient simulation environment for excitable cellsEzio Bartocci, Flavio Corradini, Emilia Entcheva, et al.
Journal of Integrative Bioinformatics|July 10, 2012
UBioLab: a web-laboratory for ubiquitous in-silico experimentsEzio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics|December 12, 2018
Quantitative Regular Expressions for Arrhythmia DetectionHoussam Abbas, Alena Rodionova, Konstantinos Mamouras, et al.
IEEE Transactions on Nanobioscience|August 19, 2007
An agent-based multilayer architecture for bioinformatics gridsEzio Bartocci, Diletta Cacciagrano, Nicola Cannata, et al.
BMC Bioinformatics|April 14, 2007
Biowep: a workflow enactment portal for bioinformatics applicationsPaolo Romano, Ezio Bartocci, Guglielmo Bertolini, et al.
Genome Biology|November 13, 2003
Expressionview: visualization of quantitative trait loci and gene-expression data in EnsemblGertrud Fischer, Saleh M Ibrahim, Gudrun A Brockmann, et al.
Pageof 2