Jane Hillston

109 papers and 1.4k indexed citations i.

About

Jane Hillston has authored 109 papers that have received a total of 1.4k indexed citations. This includes 46 papers in Computational Theory and Mathematics, 36 papers in Molecular Biology and 28 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (41 papers), Gene Regulatory Network Analysis (34 papers) and Petri Nets in System Modeling (22 papers). Jane Hillston is often cited by papers focused on Formal Methods in Verification (41 papers), Gene Regulatory Network Analysis (34 papers) and Petri Nets in System Modeling (22 papers) and collaborates with scholars based in United Kingdom, Italy and China. Jane Hillston's co-authors include Stephen Gilmore, Federica Ciocchetta, Maria Luisa Guerriero, Luca Bortolussi and Leı̈la Kloul and has published in prestigious journals such as Fuzzy Sets and Systems, International Journal of Production Research and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025