L. Yohanes Stefanus

According to our database, L. Yohanes Stefanus authored at least 10 papers between 1989 and 2023.

Collaborative distances:

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

2023

Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory.

Valentino Vito, Lim Yohanes Stefanus

CoRR, 2023

2022

An Asymmetric Contrastive Loss for Handling Imbalanced Datasets.

Valentino Vito, Lim Yohanes Stefanus

Entropy, 2022

2018

The Weak Completion Semantics and Equality.

Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2010

A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic.

L. Yohanes Stefanus, Ario Santoso

Proceedings of the 8th International Workshop on the Implementation of Logics, 2010

2008

De Boor-Fix dual functionals for transformation from polynomial basis to convolution basis.

Lim Yohanes Stefanus

ACM Commun. Comput. Algebra, 2008

Surface representations using blossoms and buds.

L. Yohanes Stefanus

Proceedings of the 2008 International Conference on Shape Modeling and Applications (SMI 2008), 2008

2006

Shape Representations with Blossoms and Buds.

L. Yohanes Stefanus

Proceedings of the Geometric Modeling and Processing, 2006

1998

On the Linear Independence of the Bivariate Discrete Convolution Blending Functions.

L. Yohanes Stefanus, Ronald N. Goldman

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1992

Blossoming Marsden's identity.

L. Yohanes Stefanus, Ronald N. Goldman

Comput. Aided Geom. Des., 1992

1989

On the Risch-Norman Integration Method and Its Implementation in MAPLE.

Keith O. Geddes, L. Yohanes Stefanus

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989