Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
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
Medförfattare
Alessandro Gianola
INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
Verifierad e-postadress på tecnico.ulisboa.pt
silvio ghilardi
Università degli Studi di Milano
Verifierad e-postadress på unimi.it
Deepak Kapur
University of New Mexico
Verifierad e-postadress på cs.unm.edu
Osorio Mauricio
Universidad de las Américas Puebla
Verifierad e-postadress på udlap.mx
Följ
José Abel Castellanos Joo
University of New Mexico
Verifierad e-postadress på unm.edu -
Startsida
Computer algebra
Logic in Computer Science
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen