‪José Abel Castellanos Joo‬ - ‪Google 학술 검색‬

내 프로필 만들기

인용

	전체	2019년 이후
서지정보	7	6
h-index	2	2
i10-index	0	0

0

4

2

20142015201620172018201920202021202220231 1 1 3 1

공동 저자

Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
silvio ghilardiUniversità degli Studi di Milanounimi.it의 이메일 확인됨
Deepak KapurUniversity of New Mexicocs.unm.edu의 이메일 확인됨
Osorio MauricioUniversidad de las Américas Pueblaudlap.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