HCI models, theories, and frameworks: Toward a multidisciplinary science JM Carroll Elsevier, 2003 | 993* | 2003 |

The undecidability of the semi-unification problem AJ Kfoury, J Tiuryn, P Urzyczyn Information and Computation 102 (1), 83-101, 1993 | 196 | 1993 |

Type reconstruction in the presence of polymorphic recursion AJ Kfoury, J Tiuryn, P Urzyczyn ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 290-311, 1993 | 151 | 1993 |

A programming approach to computability AJ Kfoury, RN Moll, MA Arbib Springer Science & Business Media, 2012 | 147 | 2012 |

An introduction to formal language theory RN Moll, MA Arbib, AJ Kfoury Springer Science & Business Media, 2012 | 117 | 2012 |

An analysis of ML typability AJ Kfoury, J Tiuryn, P Urzyczyn Journal of the ACM (JACM) 41 (2), 368-398, 1994 | 114 | 1994 |

Principality and decidable type inference for finite-rank intersection types AJ Kfoury, JB Wells Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 111 | 1999 |

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus AJ Kfoury, JB Wells Proceedings of the 1994 ACM conference on LISP and functional programming …, 1994 | 110 | 1994 |

A linearization of the lambda-calculus and consequences AJ Kfoury Journal of Logic and Computation 10 (3), 411-436, 2000 | 97* | 2000 |

Principality and type inference for intersection types using expansion variables AJ Kfoury, JB Wells Theoretical Computer Science 311 (1-3), 1-70, 2004 | 88 | 2004 |

New notions of reduction and non-semantic proofs of strong/spl beta/-normalization in typed/spl lambda/-calculi AJ Kfoury, JB Wells Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 311-321, 1995 | 69 | 1995 |

A basis for theoretical computer science MA Arbib, AJ Kfoury, RN Moll Springer Science & Business Media, 2012 | 67 | 2012 |

ML typability is DEXPTIME-complete AJ Kfoury, J Tiuryn, P Urzyczyn Colloquium on Trees in Algebra and Programming, 206-220, 1990 | 67 | 1990 |

Type reconstruction in finite rank fragments of the second-order λ-calculus AJ Kfoury, J Tiuryn Information and computation 98 (2), 228-257, 1992 | 66 | 1992 |

Verifiably-safe software-defined networks for CPS RW Skowyra, A Lapets, A Bestavros, A Kfoury Proceedings of the 2nd ACM international conference on High confidence …, 2013 | 53 | 2013 |

What are polymorphically-typed ambients? T Amtoft, AJ Kfoury, SM Pericas-Geertsen European Symposium on Programming, 206-220, 2001 | 46 | 2001 |

A verification platform for sdn-enabled applications R Skowyra, A Lapets, A Bestavros, A Kfoury 2014 IEEE International Conference on Cloud Engineering, 337-342, 2014 | 40 | 2014 |

System E: Expansion variables for flexible typing with linear and non-linear types and intersection types S Carlier, J Polakow, JB Wells, AJ Kfoury European Symposium on Programming, 294-309, 2004 | 40 | 2004 |

Computational consequences and partial solutions of a generalized unification problem AJ Kfoury, J Tiuryn, P Urzyczyn Proceedings. Fourth Annual Symposium on Logic in Computer Science, 98, 99 …, 1989 | 34 | 1989 |

Definability by programs in first-order structures AJ Kfoury Theoretical Computer Science 25 (1), 1-66, 1983 | 34 | 1983 |