José Abel Castellanos Joo 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	7	6
h 指数	2	2
i10 指数	0	0

0

4

2

20142015201620172018201920202021202220231 1 1 3 1

合著作者

Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证
Deepak KapurUniversity of New Mexico在 cs.unm.edu 的电子邮件经过验证
Osorio MauricioUniversidad de las Américas Puebla在 udlap.mx 的电子邮件经过验证

José Abel Castellanos Joo

José Abel Castellanos Joo

University of New Mexico

在 unm.edu 的电子邮件经过验证 - 首页

Computer algebra Logic in Computer Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. JAC Joo, S Ghilardi, A Gianola, D Kapur SMT, 40-52, 2021	3	2021
Equivalence among RC-type paraconsistent logics M Osorio, JAC Joo Logic Journal of the IGPL 25 (2), 239-252, 2017	3	2017
Revisitando C1 JA Castellanos Joo	1	2014
Beating the Multiplicative Weights Update Algorithm A Aggarwal, JAC Joo, D Gupta arXiv preprint arXiv:1708.04668, 2017		2017
Revisitando C1 JAC Joo		2014

系统目前无法执行此操作，请稍后再试。

文章 1–5

共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索 @联系我们 | 申请短期会员 | 数据源提交