‪Jui-Hsuan Wu‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	15	15
h-index	2	2
i10-index	0	0

0

6

3

202020212022202320241 1 4 3 6

Co-authors

Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Dominic J. D. HughesVerified email at theory.stanford.edu
Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr

Jui-Hsuan Wu

Jui-Hsuan Wu

Institut Polytechnique de Paris

Verified email at ens.fr - Homepage

Proof Theory Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Combinatorial proofs and decomposition theorems for first-order logic DJD Hughes, L Straßburger, JH Wu 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	7	2021
A positive perspective on term representation (invited talk) D Miller, JH Wu 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023	4	2023
Proofs as terms, terms as graphs JH Wu Asian Symposium on Programming Languages and Systems, 91-111, 2023	2	2023
Checking the type safety of rewrite rules in the -calculus modulo rewriting JH Wu Ecole Normale Supérieure, 2019	2	2019
Positive Focusing is Directly Useful B Accattoli, JH Wu		2024

The system can't perform the operation now. Try again later.

Articles 1–5