E. Jane Albert Hubbard

According to our database, E. Jane Albert Hubbard authored at least 6 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Modeling the <i>C. elegans</i> germline stem cell genetic network using automated reasoning.

Ani Amar, E. Jane Albert Hubbard, Hillel Kugler

Biosyst., 2022

2008

Toward Verified Biological Models.

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

2007

"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.

Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Testing Scenario-Based Models.

Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2004

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.

Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Formal Modeling of C. elegans Development: A Scenario-Based Approach.

Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003