E. Jane Albert Hubbard

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Topics

Knowledge Representation And Reasoning

Automated Reasoning

Top Venues

Publications

Ani Amar, E. Jane Albert Hubbard, Hillel Kugler
germline stem cell genetic network using automated reasoning. Biosyst. 217 (2022)
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel
Toward Verified Biological Models. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (2) (2008)
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. TACAS (2007)
Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard
Testing Scenario-Based Models. FASE (2007)
Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB (2004)
Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB (2003)