Tomáš Helikar
University of Nebraska–Lincoln
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Tomáš Helikar.
Proceedings of the National Academy of Sciences of the United States of America | 2008
Tomáš Helikar; John Konvalina; Jack Heidel; Jim A. Rogers
The complexity of biochemical intracellular signal transduction networks has led to speculation that the high degree of interconnectivity that exists in these networks transforms them into an information processing network. To test this hypothesis directly, a large scale model was created with the logical mechanism of each node described completely to allow simulation and dynamical analysis. Exposing the network to tens of thousands of random combinations of inputs and analyzing the combined dynamics of multiple outputs revealed a robust system capable of clustering widely varying input combinations into equivalence classes of biologically relevant cellular responses. This capability was nontrivial in that the network performed sharp, nonfuzzy classifications even in the face of added noise, a hallmark of real-world decision-making.
BMC Systems Biology | 2013
Claudine Chaouiya; Duncan Bérenguier; Sarah M. Keating; Aurélien Naldi; Martijn P. van Iersel; Nicolas Rodriguez; Andreas Dräger; Finja Büchel; Thomas Cokelaer; Bryan Kowal; Benjamin Wicks; Emanuel Gonçalves; Julien Dorier; Michel Page; Pedro T. Monteiro; Axel von Kamp; Ioannis Xenarios; Hidde de Jong; Michael Hucka; Steffen Klamt; Denis Thieffry; Nicolas Le Novère; Julio Saez-Rodriguez; Tomáš Helikar
BackgroundQualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage of these frameworks is that they do not require precise quantitative data, and that they are well-suited for studies of large networks. While numerous groups have developed specific computational tools that provide original methods to analyse qualitative models, a standard format to exchange qualitative models has been missing.ResultsWe present the Systems Biology Markup Language (SBML) Qualitative Models Package (“qual”), an extension of the SBML Level 3 standard designed for computer representation of qualitative models of biological networks. We demonstrate the interoperability of models via SBML qual through the analysis of a specific signalling network by three independent software tools. Furthermore, the collective effort to define the SBML qual format paved the way for the development of LogicalModel, an open-source model library, which will facilitate the adoption of the format as well as the collaborative development of algorithms to analyse qualitative models.ConclusionsSBML qual allows the exchange of qualitative models among a number of complementary software tools. SBML qual has the potential to promote collaborative work on the development of novel computational approaches, as well as on the specification and the analysis of comprehensive qualitative models of regulatory and signalling networks.
BMC Systems Biology | 2012
Tomáš Helikar; Bryan Kowal; Sean McClenathan; Mitchell Bruckner; Thaine W. Rowley; Alex Madrahimov; Benjamin Wicks; Manish Shrestha; Kahani Limbu; Jim A. Rogers
BackgroundDespite decades of new discoveries in biomedical research, the overwhelming complexity of cells has been a significant barrier to a fundamental understanding of how cells work as a whole. As such, the holistic study of biochemical pathways requires computer modeling. Due to the complexity of cells, it is not feasible for one person or group to model the cell in its entirety.ResultsThe Cell Collective is a platform that allows the world-wide scientific community to create these models collectively. Its interface enables users to build and use models without specifying any mathematical equations or computer code - addressing one of the major hurdles with computational research. In addition, this platform allows scientists to simulate and analyze the models in real-time on the web, including the ability to simulate loss/gain of function and test what-if scenarios in real time.ConclusionsThe Cell Collective is a web-based platform that enables laboratory scientists from across the globe to collaboratively build large-scale models of various biological processes, and simulate/analyze them in real time. In this manuscript, we show examples of its application to a large-scale model of signal transduction.
Frontiers in Genetics | 2016
Wassim Abou-Jaoudé; Pauline Traynard; Pedro T. Monteiro; Julio Saez-Rodriguez; Tomáš Helikar; Denis Thieffry; Claudine Chaouiya
The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed various methods and tools to support the definition and analysis of logical models. After an introduction to the logical modeling framework and to several of its variants, we review here a number of recent methodological advances to ease the analysis of large and intricate networks. In particular, we survey approaches to determine model attractors and their reachability properties, to assess the dynamical impact of variations of external signals, and to consistently reduce large models. To illustrate these developments, we further consider several published logical models for two important biological processes, namely the differentiation of T helper cells and the control of mammalian cell cycle.
BMC Systems Biology | 2009
Tomáš Helikar; Jim A. Rogers
BackgroundNew mathematical models of complex biological structures and computer simulation software allow modelers to simulate and analyze biochemical systems in silico and form mathematical predictions. Due to this potential predictive ability, the use of these models and software has the possibility to compliment laboratory investigations and help refine, or even develop, new hypotheses. However, the existing mathematical modeling techniques and simulation tools are often difficult to use by laboratory biologists without training in high-level mathematics, limiting their use to trained modelers.ResultsWe have developed a Boolean network-based simulation and analysis software tool, ChemChains, which combines the advantages of the parameter-free nature of logical models while providing the ability for users to interact with their models in a continuous manner, similar to the way laboratory biologists interact with laboratory data. ChemChains allows users to simulate models in an automatic fashion under tens of thousands of different external environments, as well as perform various mutational studies.ConclusionChemChains combines the advantages of logical and continuous modeling and provides a way for laboratory biologists to perform in silico experiments on mathematical models easily, a necessary component of laboratory research in the systems biology era.
The Open Bioinformatics Journal | 2011
Tomáš Helikar; Naomi Kochi; John Konvalina; Jim A. Rogers
The use of modeling to observe and analyze the mechanisms of complex biochemical network function is be- coming an important methodological tool in the systems biology era. Number of different approaches to model these net- works have been utilized-- they range from analysis of static connection graphs to dynamical models based on kinetic in- teraction data. Dynamical models have a distinct appeal in that they make it possible to observe these networks in action, but they also pose a distinct challenge in that they require detailed information describing how the individual components of these networks interact in living cells. Because this level of detail is generally not known, dynamic modeling requires simplifying assumptions in order to make it practical. In this review Boolean modeling will be discussed, a modeling method that depends on the simplifying assumption that all elements of a network exist only in one of two states.
PLOS ONE | 2013
Tomáš Helikar; Naomi Kochi; Bryan Kowal; Manjari Dimri; Mayumi Naramura; Srikumar M. Raja; Vimla Band; Hamid Band; Jim A. Rogers
The non-receptor tyrosine kinase Src and receptor tyrosine kinase epidermal growth factor receptor (EGFR/ErbB1) have been established as collaborators in cellular signaling and their combined dysregulation plays key roles in human cancers, including breast cancer. In part due to the complexity of the biochemical network associated with the regulation of these proteins as well as their cellular functions, the role of Src in EGFR regulation remains unclear. Herein we present a new comprehensive, multi-scale dynamical model of ErbB receptor signal transduction in human mammary epithelial cells. This model, constructed manually from published biochemical literature, consists of 245 nodes representing proteins and their post-translational modifications sites, and over 1,000 biochemical interactions. Using computer simulations of the model, we find it is able to reproduce a number of cellular phenomena. Furthermore, the model predicts that overexpression of Src results in increased endocytosis of EGFR in the absence/low amount of the epidermal growth factor (EGF). Our subsequent laboratory experiments also suggest increased internalization of EGFR upon Src overexpression under EGF-deprived conditions, further supporting this model-generated hypothesis.
Bulletin of Mathematical Biology | 2013
Alex Madrahimov; Tomáš Helikar; Bryan Kowal; Guoqing Lu; Jim A. Rogers
The replication and life cycle of the influenza virus is governed by an intricate network of intracellular regulatory events during infection, including interactions with an even more complex system of biochemical interactions of the host cell. Computational modeling and systems biology have been successfully employed to further the understanding of various biological systems, however, computational studies of the complexity of intracellular interactions during influenza infection is lacking. In this work, we present the first large-scale dynamical model of the infection and replication cycle of influenza, as well as some of its interactions with the host’s signaling machinery. Specifically, we focus on and visualize the dynamics of the internalization and endocytosis of the virus, replication and translation of its genomic components, as well as the assembly of progeny virions. Simulations and analyses of the models dynamics qualitatively reproduced numerous biological phenomena discovered in the laboratory. Finally, comparisons of the dynamics of existing and proposed drugs, our results suggest that a drug targeting PB1:PA would be more efficient than existing Amantadin/Rimantaine or Zanamivir/Oseltamivir.
Clinical Pharmacology & Therapeutics | 2013
Tomáš Helikar; Bryan Kowal; Jim A. Rogers
Diseases are often a result of multiple malfunctions in complex, nonlinear biological/biochemical networks. As such, these processes are far more complicated to understand because they tend to give rise to functions that are emergent in nature, i.e., higher‐level (mal)functions that are more than the sum of their parts. Systems biology provides a new approach to understanding biological systems and diseases from a holistic perspective.
PLOS ONE | 2012
Robert G. Todd; Tomáš Helikar
It has been suggested that irreducible sets of states in Probabilistic Boolean Networks correspond to cellular phenotype. In this study, we identify such sets of states for each phase of the budding yeast cell cycle. We find that these “ergodic sets” underly the cyclin activity levels during each phase of the cell cycle. Our results compare to the observations made in several laboratory experiments as well as the results of differential equation models. Dynamical studies of this model: (i) indicate that under stochastic external signals the continuous oscillating waves of cyclin activity and the opposing waves of CKIs emerge from the logic of a Boolean-based regulatory network without the need for specific biochemical/kinetic parameters; (ii) suggest that the yeast cell cycle network is robust to the varying behavior of cell size (e.g., cell division under nitrogen deprived conditions); (iii) suggest the irreversibility of the Start signal is a function of logic of the G1 regulon, and changing the structure of the regulatory network can render start reversible.