Paul Jennings

According to our database, Paul Jennings authored at least 5 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Influence of AVC and HEVC Compression on Detection of Vehicles Through Faster R-CNN.

Pak Hung Chan, Anthony Huggett, Georgina Souvalioti, Paul Jennings, Valentina Donzella

IEEE Trans. Intell. Transp. Syst., January, 2024

2014

Systems biology modeling of omics data: effect of cyclosporine a on the Nrf2 pathway in human renal cells.

Jérémy Hamon, Paul Jennings, Frédéric Y. Bois

BMC Syst. Biol., 2014

A 8.125-15.625 Gb/s SerDes using a sub-sampling ring-oscillator phase-locked loop.

Socrates D. Vamvakos, Charles Boecker, Eric Groen, Alvin Wang, Shaishav Desai, Scott Irwin, Vithal Rao, Aldo Bottelli, Jawji Chen, Xiaole Chen, Prashant Choudhary, Kuo-Chiang Hsieh, Paul Jennings, Haidang Lin, Dan Pechiu, Chethan Rao, Jason Yeung

Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, 2014

2012

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems.

Paul Jennings, Arka P. Ghosh, Samik Basu

ACM Trans. Softw. Eng. Methodol., 2012

2010

A bounded statistical approach for model checking of unbounded until properties.

Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu

Proceedings of the ASE 2010, 2010