Jonathan Saul

18 papers and 114 indexed citations i.

Jonathan Saul has authored 18 papers that have received a total of 114 indexed citations. This includes 8 papers in Electrical and Electronic Engineering, 8 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and Low-power high-performance VLSI design (4 papers). Jonathan Saul is often cited by papers focused on Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and Low-power high-performance VLSI design (4 papers) and collaborates with scholars based in United Kingdom, Poland and China. Jonathan Saul's co-authors include Stephen F. Benjamin, Óscar García-Afonso, M. Adamski, E.L. Dagless and EL Dagless and has published in prestigious journals such as Fuel, SAE technical papers on CD-ROM/SAE technical paper series and Applied Mathematical Modelling.