We stand with Ukraine  

L. Yohanes Stefanus

Orcid: 0000-0002-1274-3966

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory.
[BibTeX]
[DOI]
Valentino Vito
,
Lim Yohanes Stefanus
CoRR, 2023

2022
An Asymmetric Contrastive Loss for Handling Imbalanced Datasets.
[BibTeX]
[DOI]
Valentino Vito
,
Lim Yohanes Stefanus
Entropy, 2022

2019
Recognizing The Components of Inflectional Word Gestures in Indonesian Sign System known as SIBI (Sistem Isyarat Bahasa Indonesia) by using Lip Motion.
[BibTeX]
[DOI]
Keumala Anggraini
,
Erdefi Rakun
,
Lim Yohanes Stefanus
Proceedings of the 2019 International Conference on Electrical Engineering and Informatics, 2019

2018
The Weak Completion Semantics and Equality.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Lim Yohanes Stefanus
ACM Commun. Comput. Algebra, 2008

Surface representations using blossoms and buds.
[BibTeX]
[DOI]
L. Yohanes Stefanus
Proceedings of the 2008 International Conference on Shape Modeling and Applications (SMI 2008), 2008

2006
Shape Representations with Blossoms and Buds.
[BibTeX]
[DOI]
L. Yohanes Stefanus
Proceedings of the Geometric Modeling and Processing, 2006

1998
On the Linear Independence of the Bivariate Discrete Convolution Blending Functions.
[BibTeX]
L. Yohanes Stefanus
,
Ronald N. Goldman
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1992
Blossoming Marsden's identity.
[BibTeX]
[DOI]
L. Yohanes Stefanus
,
Ronald N. Goldman
Comput. Aided Geom. Des., 1992

1989
On the Risch-Norman Integration Method and Its Implementation in MAPLE.
[BibTeX]
[DOI]
Keith O. Geddes
,
L. Yohanes Stefanus
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989


  Loading...