logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Dominic Taylor

newcastle university - uk

4H-index
8Paper Count
120Citation Count
Published Papers 2
Publication Date
logo
Configurable Interlocking Verification
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errIliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander
errShare
errSave
Practical Verification of Railway Signalling Programs
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-01-01
err9
errOAAI
errIliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
A
Alexander Romanovsky
H-index: 30 · Papers: 496
L
Linas Laibinis
H-index: 15 · Papers: 97
A
Alexei Iliasov
H-index: 15 · Papers: 124
All loaded