読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて表示
すべて
2019 年以来
引用
7
6
h 指標
2
2
i10 指標
0
0
0
4
2
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
1
1
1
3
1
共著者
Alessandro Gianola
INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
確認したメール アドレス: tecnico.ulisboa.pt
silvio ghilardi
Università degli Studi di Milano
確認したメール アドレス: unimi.it
Deepak Kapur
University of New Mexico
確認したメール アドレス: cs.unm.edu
Osorio Mauricio
Universidad de las Américas Puebla
確認したメール アドレス: udlap.mx
フォロー
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
さらに表示
プライバシー
規約
ヘルプ
Google Scholar について
ヘルプを検索