Patrick O'Keefe

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 1

Top Topics

Event Sequences

Weather Forecasting

Machine Learning Approaches

Top Venues

Publications

Spiridon Kasapis, Irina N. Kitiashvili, Paul Kosovich, Alexander G. Kosovichev, Viacheslav M. Sadykov, Patrick O'Keefe, Vincent Wang
Forecasting SEP Events During Solar Cycles 23 and 24 Using Interpretable Machine Learning. CoRR (2024)
Jens Palsberg, Mitchell Wand, Patrick O'Keefe
Type Inference with Non-Structural Subtyping. Formal Aspects Comput. 9 (1) (1997)
Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis. POPL (1995)
Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis ACM Trans. Program. Lang. Syst. 17 (4) (1995)
Mitchell Wand, Patrick O'Keefe, Jens Palsberg
Strong Normalization with Non-Structural Subtyping. Math. Struct. Comput. Sci. 5 (3) (1995)
Patrick O'Keefe, Mitchell Wand
Type Inference for Partial Types is Decidable. ESOP (1992)
Mitchell Wand, Patrick O'Keefe
Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson (1991)
Mitchell Wand, Patrick O'Keefe
On the Complexity of Type Inference with Coercion. FPCA (1989)