VLDB 2026 Research / reviewers in the wild / expert
Michael L. Blinov
dblp:84/1521
· DBLP profile ↗
11ranked-venue papers
4as first author
5since 2021 · last 2026
0000-0002-9363-9705ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 11 · 4 first-author · 5 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Rules railroad: Syntax-inspired diagrams for visualizing and understanding rule-based model specificationsabstractRule-based modeling provides a powerful framework for describing and simulating biochemical systems composed of multi-site molecules and multi-molecular species. By encoding molecular interactions as rules rather than enumerating all possible species, this approach naturally accounts for the combinatorial complexity of connectivity within chemical species. Despite these advantages, visualization of such models remains challenging. Existing approaches, such as contact maps, give a high-level overview of possible sites and interactions but lack explicit representation of dynamic processes, while traditional rule cartoons split reactants and products across a reaction arrow, separating molecular context from transformation. We introduce Rules Railroad (RRR) diagrams, a novel diagrammatic representation of rule-based model specification. Each RRR diagram encapsulates a single rule as a continuous flow diagram with embedded actions, including binding, unbinding, and state changes. Inspired by classical railroad (syntax) diagrams used to represent formal grammars, RRR diagrams encode both the structural context and the transformations of a rule in a unified format, more compact compared to a classical visualization approach of presenting a single rule as a reactant-product pair. This integration reduces ambiguity, enhances readability, and provides a systematic, human- and machine-readable visualization of any rule-based system. RRR diagrams are precise, and suitable for debugging, communication, and education. Reesha J. Patel, Michael L. Blinov |
PLoS Comput. Biol. | 2 |
| 2025 | Verification and reproducible curation of the BioModels repositoryabstractThe BioModels Repository contains over 1000 manually curated mechanistic models from published literature, most often encoded in the Systems Biology Markup Language (SBML). This community-based standard formally specifies each model, but does not describe the computational experimental conditions to run a simulation and collect data. Therefore, it can be challenging to reproduce any figure or result from a publication with an SBML model alone. The Simulation Experiment Description Markup Language (SED-ML) provides a solution: a standard way to specify exactly how to run an experiment corresponding to a specific figure or result. BioModels was established years before SED-ML, and both systems evolved over time, both in content and acceptance. Hence, only about half of the entries in BioModels contained SED-ML files, and these files reflected the version of SED-ML that was available at the time. Additionally, almost all of these SED-ML files had at least one minor mistake that made them impossible to run. To make these models and their results more reproducible, we report here on our work updating, correcting and generating new SED-ML files for 1055 curated mechanistic models in BioModels. In addition, because SED-ML is implementation-independent, it can be used for verification, demonstrating that results hold across multiple simulation engines. We tested, corrected, and improved over 450 existing SED-ML files in the BioModels database, and created basic files for the rest of the entries. Then, we used a wrapper architecture for interpreting SED-ML, and report verification results across five different ODE-based biosimulation engines, after further improving the models, the wrappers, and the engines themselves. Our work with SED-ML and the BioModels collection aims to improve the utility of these models by making them more reproducible and credible. Improved reproducibility means these models are now even more fit for re-use, such as in new investigations and as components of multiscale models. Lucian P. Smith, Rahuman S. Malik-Sheriff, Tung V. N. Nguyen, Henning Hermjakob, Jonathan R. Karr, Bilal Shaikh, Logan Drescher, Ion I. Moraru, James C. Schaff, Eran Agmon, Alexander A. Patrie, Michael L. Blinov, Joseph L. Hellerstein, Elebeoba E. May, David P. Nickerson, John H. Gennari, Herbert M. Sauro |
PLoS Comput. Biol. | 12 |
| 2024 | bnglViz: online visualization of rule-based modelsabstractMOTIVATION: Rule-based modeling is a powerful method to describe and simulate interactions among multi-site molecules and multi-molecular species, accounting for the internal connectivity of molecules in chemical species. This modeling technique is implemented in BioNetGen software that is used by various tools and software frameworks, such as BioNetGen stand-alone software, NFSim simulation engine, Virtual Cell simulation and modeling framework, SmolDyn and PySB software tools. These tools exchange models using BioNetGen scripting language (BNGL). Until now, there was no online visualization of such rule-based models. Modelers and researchers reading the manuscripts describing rule-based models had to learn BNGL scripting or master one of these tools to understand the models. RESULTS: Here, we introduce bnglViz, an online platform for visualizing BNGL files as graphical cartoons, empowering researchers to grasp the nuances of rule-based models swiftly and efficiently, and making the exploration of complex biological systems more accessible than ever before. The produced visualizations can be used as supplemental figures in publications or as a way to annotate BNGL models on web repositories. AVAILABILITY AND IMPLEMENTATION: Available at https://bnglviz.github.io/. Noah Liguori-Bills, Michael L. Blinov |
Bioinform. | 2 |
| 2023 | MolClustPy: a Python package to characterize multivalent biomolecular clustersabstractSUMMARY: Low-affinity interactions among multivalent biomolecules may lead to the formation of molecular complexes that undergo phase transitions to become supply-limited large clusters. In stochastic simulations, such clusters display a wide range of sizes and compositions. We have developed a Python package, MolClustPy, which performs multiple stochastic simulation runs using NFsim (Network-Free stochastic simulator); MolClustPy characterizes and visualizes the distribution of cluster sizes, molecular composition, and bonds across molecular clusters. The statistical analysis offered by MolClustPy is readily applicable to other stochastic simulation software, such as SpringSaLaD and ReaDDy. AVAILABILITY AND IMPLEMENTATION: The software is implemented in Python. A detailed Jupyter notebook is provided to enable convenient running. Code, user guide, and examples are freely available at https://molclustpy.github.io/. Aniruddha Chattaraj, Indivar Nalagandla, Leslie M. Loew, Michael L. Blinov |
Bioinform. | 4 |
| 2021 | SBGN Bricks Ontology as a tool to describe recurring concepts in molecular networksabstractA comprehensible representation of a molecular network is key to communicating and understanding scientific results in systems biology. The Systems Biology Graphical Notation (SBGN) has emerged as the main standard to represent such networks graphically. It has been implemented by different software tools, and is now largely used to communicate maps in scientific publications. However, learning the standard, and using it to build large maps, can be tedious. Moreover, SBGN maps are not grounded on a formal semantic layer and therefore do not enable formal analysis. Here, we introduce a new set of patterns representing recurring concepts encountered in molecular networks, called SBGN bricks. The bricks are structured in a new ontology, the Bricks Ontology (BKO), to define clear semantics for each of the biological concepts they represent. We show the usefulness of the bricks and BKO for both the template-based construction and the semantic annotation of molecular networks. The SBGN bricks and BKO can be freely explored and downloaded at sbgnbricks.org. Adrien Rougny, Vasundra Touré, John Albanese, Dagmar Waltemath, Denis Shirshov, Anatoly A. Sorokin, Gary D. Bader, Michael L. Blinov, Alexander Mazein |
Briefings Bioinform. | 8 |
| 2016 | Rule-based modeling with Virtual CellabstractUNLABELLED: Rule-based modeling is invaluable when the number of possible species and reactions in a model become too large to allow convenient manual specification. The popular rule-based software tools BioNetGen and NFSim provide powerful modeling and simulation capabilities at the cost of learning a complex scripting language which is used to specify these models. Here, we introduce a modeling tool that combines new graphical rule-based model specification with existing simulation engines in a seamless way within the familiar Virtual Cell (VCell) modeling environment. A mathematical model can be built integrating explicit reaction networks with reaction rules. In addition to offering a large choice of ODE and stochastic solvers, a model can be simulated using a network free approach through the NFSim simulation engine. AVAILABILITY AND IMPLEMENTATION: Available as VCell (versions 6.0 and later) at the Virtual Cell web site (http://vcell.org/). The application installs and runs on all major platforms and does not require registration for use on the user's computer. Tutorials are available at the Virtual Cell website and Help is provided within the software. Source code is available at Sourceforge. CONTACT: [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. James C. Schaff, Dan Vasilescu, Ion I. Moraru, Leslie M. Loew, Michael L. Blinov |
Bioinform. | 5 |
| 2014 | Pathway Commons at Virtual Cell: use of pathway data for mathematical modelingabstractUNLABELLED: Pathway Commons is a resource permitting simultaneous queries of multiple pathway databases. However, there is no standard mechanism for using these data (stored in BioPAX format) to annotate and build quantitative mathematical models. Therefore, we developed a new module within the virtual cell modeling and simulation software. It provides pathway data retrieval and visualization and enables automatic creation of executable network models directly from qualitative connections between pathway nodes. AVAILABILITY AND IMPLEMENTATION: Available at Virtual Cell (http://vcell.org/). Application runs on all major platforms and does not require registration for use on the user’s computer. Tutorials and video are available at user guide page. Michael L. Blinov, James C. Schaff, Oliver Ruebenacker, Xintao Wei, Dan Vasilescu, Frank Morgan, Anuradha Lakshminarayana, Ion I. Moraru, Leslie M. Loew |
Bioinform. | 1 |
| 2010 | Modeling without Borders: Creating and Annotating VCell Models Using the Web
Michael L. Blinov, Oliver Ruebenacker, James C. Schaff, Ion I. Moraru |
ISBRA | 1 |
| 2007 | XML Encoding of Features Describing Rule-Based Modeling of Reaction Networks with Multi-Component Molecular ComplexesabstractMulti-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein that may be phosphorylated on multiple residues, and molecules that combine to form heterogeneous complexes located among multiple compartments, generates an effect of combinatorial complexity. Models involving relatively few signaling molecules can include thousands of distinct chemical species. Several software tools (StochSim, BioNetGen) are already available to deal with combinatorial complexity. Such tools need information standards if models are to be shared, jointly evaluated and developed. Here we discuss XML conventions that can be adopted for modeling biochemical reaction networks described by user-specified reaction rules. These could form a basis for possible future extensions of the Systems Biology Markup Language (SBML). Michael L. Blinov, Ion I. Moraru |
BIBE | 1 |
| 2007 | Kinetic Modeling Using BioPAX OntologyabstractThousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways Exchange (BioPAX) format. However, the BioPAX ontology does not encode the necessary information for kinetic modeling and simulation. The current standard for kinetic modeling is the System Biology Markup Language (SBML), but only a small number of models are available in SBML format in public repositories. Additionally, reusing and merging SBML models presents a significant challenge, because often each element has a value only in the context of the given model, and information encoding biological meaning is absent. We describe a software system that enables a variety of operations facilitating the use of BioPAX data to create kinetic models that can be visualized, edited, and simulated using the Virtual Cell (VCell), including improved conversion to SBML (for use with other simulation tools that support this format). Oliver Ruebenacker, Ion I. Moraru, James C. Schaff, Michael L. Blinov |
BIBM | 4 |
| 2004 | BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domainsabstractBioNetGen allows a user to create a computational model that characterizes the dynamics of a signal transduction system, and that accounts comprehensively and precisely for specified enzymatic activities, potential post-translational modifications and interactions of the domains of signaling molecules. The output defines and parameterizes the network of molecular species that can arise during signaling and provides functions that relate model variables to experimental readouts of interest. Models that can be generated are relevant for rational drug discovery, analysis of proteomic data and mechanistic studies of signal transduction. Michael L. Blinov, James R. Faeder, Byron Goldstein, William S. Hlavacek |
Bioinform. | 1 |