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

Michael Rawson

university of southampton

6H-index
52Paper Count
81Citation Count
Published Papers 4
Publication Date
logo
Finding Connections via Satisfiability Solving
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errEisenhofer, Clemens; Rawson, Michael; Kovacs, Laura
errShare
errSave
Game Modeling of Blockchain Protocols
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errRain, Sophie; Komel, Anja Petkovi; Rawson, Michael; Kovacsk, Laura
errShare
errSave
Constraint Learning for Non-confluent Proof Search
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errRawson, Michael; Eisenhofer, Clemens; Kovacs, Laura
errShare
errSave
Divide and Conquer: A Compositional Approach to Game-Theoretic Security
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBocevska, Ivana; Komel, Anja Petkovic; Kovacs, Laura; Rain, Sophie; Rawson, Michael
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Laura Kovács
H-index: 22 · Papers: 191
S
Sophie Rain
H-index: 3 · Papers: 10
A
Anja Petković Komel
H-index: 2 · Papers: 8
C
Clemens Eisenhofer
H-index: 1 · Papers: 14
I
Ivana Bocevska
H-index: 0 · Papers: 2
All loaded