Chia-Hsuan Lu

According to our database, Chia-Hsuan Lu authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

On two-variable guarded fragment logic with expressive local Presburger constraints.

Chia-Hsuan Lu, Tony Tan

Log. Methods Comput. Sci., 2024

Decidability of Graph Neural Networks via Logical Characterizations.

Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2021

Towards a more efficient approach for the satisfiability of two-variable logic.

Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021