Hai-Ping Ko

11 papers A* 1B 2Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
1996	—	`conf`	Narrowing terminates for encryption. CSFW Jonathan K. Millen, Hai-Ping Ko
1993	J	`jnl`	Concurrency Control in Trusted Database Management Systems: A Survey. SIGMOD Rec. Bhavani Thuraisingham, Hai-Ping Ko
1993	J	`jnl`	Lower Bounds for the Lengths of Refutations. J. Log. Program. Hai-Ping Ko, David A. McAllester, Mark E. Nadel
1992	B	`conf`	Elementary Lower Bounds for th Length of Refutations. LPAR Hai-Ping Ko, Mark E. Nadel
1991	B	`conf`	Substitution and Refutation Revisited. ICLP Hai-Ping Ko, Mark E. Nadel
1989	—	`conf`	Security Properties of Ring Brackets. CSFW Hai-Ping Ko
1988	J	`jnl`	Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. Artif. Intell. Hai-Ping Ko
1986	A*	`conf`	On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS Shang-Ching Chou, Hai-Ping Ko
1982	J	`jnl`	Intersection theorems for group divisible difference sets. Discret. Math. Hai-Ping Ko, Dijen K. Ray-Chaudhuri
1981	J	`jnl`	Multiplier Theorems. J. Comb. Theory A Hai-Ping Ko, Dijen K. Ray-Chaudhuri
1981	J	`jnl`	Supplement to Multiplier Theorems. J. Comb. Theory A Hai-Ping Ko, Stuart S.-S. Wang

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski