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.
CoRR, 2023

2022
An Asymmetric Contrastive Loss for Handling Imbalanced Datasets.
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.
Proceedings of the 2019 International Conference on Electrical Engineering and Informatics, 2019

2018
The Weak Completion Semantics and Equality.
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.
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.
ACM Commun. Comput. Algebra, 2008

Surface representations using blossoms and buds.
Proceedings of the 2008 International Conference on Shape Modeling and Applications (SMI 2008), 2008

2006
Shape Representations with Blossoms and Buds.
Proceedings of the Geometric Modeling and Processing, 2006

1998
On the Linear Independence of the Bivariate Discrete Convolution Blending Functions.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1992
Blossoming Marsden's identity.
Comput. Aided Geom. Des., 1992

1989
On the Risch-Norman Integration Method and Its Implementation in MAPLE.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989


  Loading...