科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
P
Paulo Verı́ssimo
universidade de lisboa
42
H指数
289
论文数
6.0K
被引数
0
相关解读
订阅
收录论文
11
发表时间
发表时间
IF
被引数
Efficient Byzantine Fault-Tolerance
高效的拜占庭容错
IEEE TRANSACTIONS ON COMPUTERS
IF
3.8
2013-01-01
235
OA
AI
Veronese, Giuliana Santos; Correia, Miguel; Bessani, Alysson Neves; Lung, Lau Cheuk; Verissimo, Paulo
分享
收藏
RITAS: Services for Randomized Intrusion Tolerance
RITAS: 随机入侵容忍服务
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF
7.5
2011-01-01
31
PRE
AI
Moniz, Henrique; Neves, Nuno Ferreira; Correia, Miguel; Verissimo, Paulo
分享
收藏
Vulnerability Discovery with Attack Injection
带有攻击注入的漏洞发现
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2010-05-01
40
PRE
AI
Antunes, Joao; Neves, Nuno; Correia, Miguel; Verissimo, Paulo; Neves, Rui
分享
收藏
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
具有主动响应恢复功能的高可用性入侵容忍服务
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF
6
2010-04-01
86
PRE
AI
Sousa, Paulo; Bessani, Alysson Neves; Correia, Miguel; Neves, Nuno Ferreira; Verissimo, Paulo
分享
收藏
On Byzantine generals with alternative plans
关于拜占庭将军的替代计划
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF
4
2008-09-01
12
PRE
AI
Correia, Miguel; Bessani, Alysson Neves; Verissimo, Paulo
分享
收藏
Automated rule-based diagnosis through a distributed monitor system
通过分布式监控系统实现基于规则的自动诊断
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF
7.5
2007-10-01
34
PRE
AI
Khanna, Gunjan; Cheng, Mike Yu; Varadharajan, Padma; Bagchi, Saurabh; Correia, Miguel P.; Verissimo, Paulo J.
分享
收藏
Worm-IT -: A wormhole-based intrusion-tolerant group communication system
Worm-IT -: 一种基于虫洞的入侵容忍群组通信系统
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2007-02-01
20
PRE
AI
Correia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Verissimo, Paulo
分享
收藏
Guest editorial for the special issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the dependable computing and communications and performance and dependability symposia
2005 IEEE/IFIP可靠系统和网络会议特刊的客座社论,包括可靠计算和通信以及性能和可靠性专题讨论会
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF
7.5
2006-07-01
0
OA
AI
Arlat, Jean; Bondavalli, Andrea; Haverkort, Boudewijn; Verissimo, Paulo
分享
收藏
Solving vector consensus with a wormhole
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF
6
2005-12-01
26
OA
AI
Neves, NF; Correia, M; Veríssimo, P
分享
收藏
The timely computing base model and architecture
IEEE TRANSACTIONS ON COMPUTERS
IF
3.8
2002-08-01
56
PRE
AI
Veríssimo, P; Casimiro, A
分享
收藏
A dynamic light-weight group service
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF
4
2000-12-01
3
OA
AI
Rodrigues, L; Guo, K; Veríssimo, P; Birman, KP
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
L
Luı́s Rodrigues
H 指数: 64 · 论文数: 567
S
Saurabh Bagchi
H 指数: 47 · 论文数: 439
M
Miguel Correia
H 指数: 41 · 论文数: 361
N
Nuno Neves
H 指数: 36 · 论文数: 177
B
Boudewijn R. Haverkort
H 指数: 35 · 论文数: 353
查看更多