Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Zobrazit všechny
Všechny
Od 2019
Citace
7
6
h-index
2
2
i10-index
0
0
0
4
2
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
1
1
1
3
1
Spoluautoři
Alessandro Gianola
INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
E-mailová adresa ověřena na: tecnico.ulisboa.pt
silvio ghilardi
Università degli Studi di Milano
E-mailová adresa ověřena na: unimi.it
Deepak Kapur
University of New Mexico
E-mailová adresa ověřena na: cs.unm.edu
Osorio Mauricio
Universidad de las Américas Puebla
E-mailová adresa ověřena na: udlap.mx
Sledovat
José Abel Castellanos Joo
University of New Mexico
E-mailová adresa ověřena na: unm.edu -
Domovská stránka
Computer algebra
Logic in Computer Science
Články
Citace
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–5
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě