On the Risch-Norman Integration Method and Its Implementation in MAPLE. - Keith O. Geddes; L. Yohanes Stefanus (ISSAC, 1989)

Blossoming Marsden's identity. - L. Yohanes Stefanus; Ronald N. Goldman (Comput. Aided Geom. Des., 1992)

On the Linear Independence of the Bivariate Discrete Convolution Blending Functions. - L. Yohanes Stefanus; Ronald N. Goldman (CATS, 1998)

Shape Representations with Blossoms and Buds. - L. Yohanes Stefanus (GMP, 2006)

Surface representations using blossoms and buds. - L. Yohanes Stefanus (Shape Modeling International, 2008)

De Boor-Fix dual functionals for transformation from polynomial basis to convolution basis. - Lim Yohanes Stefanus (ACM Commun. Comput. Algebra, 2008)

A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. - L. Yohanes Stefanus; Ario Santoso (IWIL@LPAR, 2010)

The Weak Completion Semantics and Equality. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Sibylle Schwarz; L. Yohanes Stefanus (LPAR, 2018)

Recognizing The Components of Inflectional Word Gestures in Indonesian Sign System known as SIBI (Sistem Isyarat Bahasa Indonesia) by using Lip Motion. - Keumala Anggraini; Erdefi Rakun; Lim Yohanes Stefanus (ICEEI, 2019)

An Asymmetric Contrastive Loss for Handling Imbalanced Datasets. - Valentino Vito; Lim Yohanes Stefanus (Entropy, 2022)

Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory. - Valentino Vito; Lim Yohanes Stefanus (CoRR, 2023)