谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.
研究兴趣

论文共 95 篇作者统计合作学者相似作者

按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
NuITP: an Inductive Theorem Prover for Equational Program Verification
Francisco J. Durán,Santiago Escobar,José Meseguer,Julia Sapiña
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programmingpp.6:1-6:11, (2024)
引用0浏览0EI引用
0
0
Programming Open Distributed Systems in Maude
Francisco Durán,Steven Eker,Santiago Escobar,Narciso Martí-Oliet,José Meseguer,Rubén Rubio,Carolyn L. Talcott
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programmingpp.7:1-7:12, (2024)
引用0浏览0EI引用
0
0
Verifying Invariants by Deductive Model Checking
Kyungmin Bae,Santiago Escobar,Raúl López-Rueda,José Meseguer,Julia Sapiña
Workshop on Rewriting Logic and Its Applicationspp.3-21, (2024)
引用0浏览0EI引用
0
0
Protocol Dialects As Formal Patterns
D. Galan, V. Garcia,S. Escobar,C. Meadows,J. Meseguer
COMPUTER SECURITY - ESORICS 2023, PT II (2024): 42-61
引用0浏览0EI引用
0
0
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Santiago Escobar,Raul Lopez-Rueda,Julia Sapina
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (2023)
引用0浏览0EI引用
0
0
Métodos De Destete Ventilatorio Usados En La Unidad De Terapia Intensiva Del HCAM
Carlos Andrade Marín, Jesús Alonso Tapia,Juan C. López,Santiago Escobar
openalex（2022）
引用0浏览0引用
0
0
加载更多
作者统计

#Papers: 96

#Citation: 1250

H-Index: 23

G-Index: 32

Sociability: 5

Diversity: 0

Activity: 1

  • 合作者
  • 学生
  • 导师
暂无相似学者，你可以通过学者研究领域进行搜索筛选
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cn