Higher-Order Constrained Dependency Pairs for (Universal) Computability.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Higher-Order LCTRSs and Their Termination.
Proceedings of the Programming Languages and Systems, 2024
Analyzing Innermost Runtime Complexity Through Tuple Interpretations.
Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022
Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019
A computer-aided healthcare system for cataract classification and grading based on fundus image analysis.
Comput. Ind., 2015