PS-LTL for Constraint-Based Security Protocol Analysis. - Ricardo Corin; Ari Saptawijaya; Sandro Etalle (ICLP, 2005)

A Logic for Constraint-based Security Protocol Analysis. - Ricardo Corin; Sandro Etalle; Ari Saptawijaya (S&P, 2006)

Modelling morality with prospective logic. - Luís Moniz Pereira; Ari Saptawijaya (Int. J. Reason. based Intell. Syst., 2009)

Improving Resource-Unaware SAT Solvers. - Steffen Hölldobler; Norbert Manthey; Ari Saptawijaya (LPAR (Yogyakarta), 2010)

Towards Improving the Resource Usage of SAT-solvers. - Norbert Manthey; Ari Saptawijaya (POS@SAT, 2010)

Moral Reasoning under Uncertainty. - Han The Anh; Ari Saptawijaya; Luís Moniz Pereira (LPAR, 2012)

Towards Practical Tabled Abduction in Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (EPIA, 2013)

Incremental Tabling for Query-Driven Propagation of Logic Program Updates. - Ari Saptawijaya; Luís Moniz Pereira (LPAR, 2013)

Program Updating by Incremental and Answer Subsumption Tabling. - Ari Saptawijaya; Luís Moniz Pereira (LPNMR, 2013)

Towards Computational Morality with Logic Programming. - Ari Saptawijaya (Theory Pract. Log. Program., 2013)

Tabled Abduction in Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (Theory Pract. Log. Program., 2013)

Towards Modeling Morality Computationally with Logic Programming. - Ari Saptawijaya; Luís Moniz Pereira (PADL, 2014)

Joint Tabling of Logic Program Abductions and Updates. - Ari Saptawijaya; Luís Moniz Pereira (CoRR, 2014)

Logic Programming Applied to Machine Ethics. - Ari Saptawijaya; Luís Moniz Pereira (EPIA, 2015)

Tabdual: a Tabled Abduction System for Logic Programs. - Ari Saptawijaya; Luís Moniz Pereira (FLAP, 2015)

The Potential of Logic Programming as a Computational Tool to Model Morality. - Ari Saptawijaya; Luís Moniz Pereira (A Construction Manual for Robots' Ethical Systems, 2015)

Abduction and Beyond in Logic Programming with Application to Morality. - Luís Moniz Pereira; Ari Saptawijaya (FLAP, 2016)

Logic programming for modeling morality. - Ari Saptawijaya; Luís Moniz Pereira (Log. J. IGPL, 2016)

Ocean Color Remote Sensing of Atypical Marine Optical Cases. - Davide D'Alimonte; Tamito Kajiyama; Ari Saptawijaya (IEEE Trans. Geosci. Remote. Sens., 2016)

Programming Machine Ethics - Luís Moniz Pereira; Ari Saptawijaya (Springer, 2016)

Agent Morality via Counterfactuals in Logic Programming. - Luís Moniz Pereira; Ari Saptawijaya (Bridging@CogSci, 2017)

Implementation of change data capture in ETL process for data warehouse using HDFS and apache spark. - Dentiy; I. Putu Medagia Atmaja; Ari Saptawijaya; Siti Aminah (IWBIS, 2017)

Actual Causality in Contextual Abduction. - Degoldie Sonny; Ari Saptawijaya; Raja Oktovin Parhasian Damanik (ICLP Workshops, 2020)

Tabling Optimization for Contextual Abduction. - Ridhwan Dewoprabowo; Ari Saptawijaya (ICLP Technical Communications, 2020)

Domain Generalization and Domain Adaptation Approaches for Face Anti-Spoofing: A Survey. - Hanry Ham; Ari Saptawijaya; Aniati Murni Arymurthy (IEEE Access, 2025)