科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
M
Michael Rawson
university of southampton
H指数:
6
被引数:
81
浏览量:
0
认领学者
订阅学者
个人简介
暂无内容
教育背景
暂无内容
工作经历
暂无内容
荣誉奖项
暂无内容
收录论文
4
收录专利
0
教育教学
科学研究
发表时间最新
发表时间最新
IF最高
被引数最高
Finding Connections via Satisfiability Solving
通过可满足性求解寻找连接
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF
0
2026-01-01
0
OA
AI
Game Modeling of Blockchain Protocols
区块链协议的游戏建模
INTEGRATED FORMAL METHODS, IFM 2025
IF
0
2026-01-01
0
PRE
Constraint Learning for Non-confluent Proof Search
非共流证明搜索中的约束学习
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF
0
2026-01-01
0
OA
Divide and Conquer: A Compositional Approach to Game-Theoretic Security
分治法：一种面向博弈论安全的组合方法
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
研究方向
暂未获取到该数据
合作学者
合作期刊
合作次数
合作次数
H指数
论文数
被引数
L
Laura Kovács
H 指数:
22
论文数:
191
被引数:
2,173
S
Sophie Rain
H 指数:
3
论文数:
10
被引数:
21
C
Clemens Eisenhofer
H 指数:
1
论文数:
14
被引数:
16
A
Anja Petković Komel
H 指数:
2
论文数:
8
被引数:
15
I
Ivana Bocevska
H 指数:
0
论文数:
2
被引数:
0
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项
研究方向