José Abel Castellanos

According to our database, José Abel Castellanos authored at least 8 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules.

José Abel Castellanos Joo, Deepak Kapur

CoRR, May, 2026

2025

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules.

Weifeng Shang, Chenqi Mou, José Abel Castellanos, Deepak Kapur

CoRR, March, 2025

2021

AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff.

José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

2017

Equivalence among RC-type paraconsistent logics.

Mauricio Osorio, José Abel Castellanos Joo

Log. J. IGPL, 2017

Beating the Multiplicative Weights Update Algorithm.

Abhinav Aggarwal, José Abel Castellanos Joo, Diksha Gupta

CoRR, 2017

2015

Weakening and Extending ℤ.

Mauricio Osorio, José Luis Carballido, Claudia Zepeda, José Abel Castellanos

Logica Universalis, 2015

2014

A Single Proof of Classical Behaviour in da Costa's C_n Systems.

Mauricio Osorio, José Abel Castellanos

Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

A Single Proof of Classical Behaviour in Da Costa's Cn Systems.

Mauricio Osorio, José Abel Castellanos Joo

Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014