Staff Profile
Dr Fedor Shmarov
Lecturer
- Email: fedor.shmarov@ncl.ac.uk
- Personal Website:
- Address: School of Computing,
Â鶹´«Ã½,
Urban Sciences Building,
1 Science Square,
Â鶹´«Ã½ upon Tyne, NE4 5TG
Publications
-
Articles
- Shmarov F, Smith GR, Weatherhead SC, Reynolds NJ, Zuliani P. . PLoS Computational Biology 2022, 18(9), e1010267.
- Watson N, Wilson N, Shmarov F, Zuliani P, Reynolds NJ, Weatherhead SC. . Journal of the European Academy of Dermatology and Venereology 2021, 35(11), 2250-2258.
- Shmarov F, Soudjani S, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. . IEEE Access 2020, 8, 180825-180843.
-
Conference Proceedings (inc. Abstracts)
- Abate A, Blom H, Cauchi J, Delicaris J, Haesaert S, van Huijgevoort B, Lavaei A, Remke A, Schön O, Schupp S, Shmarov F, Soudjani S, Willemsen L, Zuliani P. . In: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing. 2023, San Antonio, Texas: EPiC Computing.
- Abate A, Blom H, Bouissou M, Cauchi N, Chraibi H, Delicaris J, Haesaert S, Hartmanns A, Khaled M, Lavaei A, Ma H, Mallik K, Niehage M, Remke A, Schupp S, Shmarov F, Soudjani S, Thorpe A, Turcuman V, Zuliani P. . In: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). 2021, Brussels, Belgium: EasyChair.
- Vasileva M, Shmarov F, Zuliani P. . In: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020). 2020, Jaipur, India (Online): IEEE.
- Shmarov F, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. . In: HVC 2017: Hardware and Software: Verification and Testing. 2017, Haifa, Israel: Springer Verlag.
- Shmarov F, Zuliani P. . In: 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2015, Seattle, WA, USA: ACM.
- Madsen C, Shmarov F, Zuliani P. . In: 13th International Conference on Computational Methods in Systems Biology (CMSB). 2015, Nantes, France: Springer.