ProfessorsProfessors of École Polytechnique de MontréalJohn Mullins

John Mullins

École Polytechnique de Montréal

H-index: 16

North America-Canada

About John Mullins

John Mullins, With an exceptional h-index of 16 and a recent h-index of 8 (since 2020), a distinguished researcher at École Polytechnique de Montréal, specializes in the field of Computer science, formal methods, concurrency theory, model checking, process algebra.

His recent articles reflect a diverse array of research interests and contributions to the field:

Bounded opacity for timed systems

Timed bounded verification of inclusion based on timed bounded discretized language

On assessing the safety of reinforcement learning algorithms using formal methods

John Mullins Information

University	École Polytechnique de Montréal
Position	___
Citations(all)	839
Citations(since 2020)	210
Cited By	779
hIndex(all)	16
hIndex(since 2020)	8
i10Index(all)	25
i10Index(since 2020)	6
Email	Access Email
University Profile Page	École Polytechnique de Montréal
Google Scholar	View Google Scholar Profile

John Mullins Skills & Research Interests

Computer science

formal methods

concurrency theory

model checking

process algebra

Top articles of John Mullins

Title	Journal	Author(s)	Publication Date
Bounded opacity for timed systems	Journal of Information Security and Applications	Ikhlass Ammar Yamen El Touati Moez Yeddes John Mullins	2021/9/1
Timed bounded verification of inclusion based on timed bounded discretized language	International Journal of Foundations of Computer Science	Ikhlass Ammar Yamen El Touati John Mullins Moez Yeddes	2021/2/6
On assessing the safety of reinforcement learning algorithms using formal methods		Paulina Stevia Nouwou Mindom Amin Nikanjam Foutse Khomh John Mullins	2021/12/6