Author

Ken McAloon

Observed name: Ken Mcaloon

Observed institutions: The Graduate Center, CUNY, City University of New York, Inha University, IBM Research - Thomas J. Watson Research Center, Brooklyn College

OpenAlex ID: A5044300063

Constraint Logic Programming and Option Trading

1987 · Catherine Lassez, Ken McAloon, et al. · IEEE Expert · 77

A canonical form for generalized linear constraints

1992 · Jean-Louis Lassez, Ken McAloon · Journal of Symbolic Computation · 62

Simplification and Elimination of Redundant Linear Arithmetic Constraints.

1989 · Jean-Louis Lassez, Tien Huynh, et al. · 24

2lp: Linear Programming and Logic Programming.

1993 · Ken McAloon, Carol Tretkoff · 22

Computational complexity and constraint logic programming languages

1992 · Jim Cox, Ken McAloon, et al. · Annals of Mathematics and Artificial Intelligence · 22

Decision procedure for constraint based extensions of Datalog

1993 · Jim Cox, Ken McAloon · The MIT Press eBooks · 17

Decision Procedures for Constraint Based Extensions of Datalog.

1991 · Jim Cox, Ken McAloon · 15

Logic, modeling, and programming

1997 · Ken McAloon, Carol Tretkoff · Annals of Operations Research · 12

Applications of a Canonical Form of Gerneralized Linear Constraints.

1988 · Jean-Louis Lassez, Ken McAloon · Future Generation Computer Systems · 11

Stratification and knowledge base management

1989 · Catherine Lassez, Ken McAloon, et al. · Journal of Symbolic Computation · 10

Stratification and Knowledge Based Management.

1987 · Catherine Lassez, Ken McAloon, et al. · 8

Parallel integer goal programming

1995 · David Arnow, Ken McAloon, et al. · ACM Annual Conference on Computer Science (CSC) · 5

PDF

2lp: A Highly Parallel Constraint Logic Programming Language.

1993 · C. Atay, Ken McAloon, et al. · PPSC · 5

Constraint-based programming

1996 · Ken McAloon · ACM Computing Surveys · 4

Disjunctive Programming and Cooperating Solvers

1998 · Ken McAloon, Carol Tretkoff, et al. · Operations research, computer science. Interface series · 3

Anticipatory Pruning Networks and forward checking in CLP over continuous domains

1996 · Geun Sik Jo, Ken McAloon · Decision Support Systems · 2

Distributed Programming and Disjunctive Programming.

1994 · David Arnow, Ken McAloon, et al. · 1

Disjunctive linear programming: at the intersection of operations research and logic programming

1998 · Ken McAloon · International Conference on Logic Programming

Modern modeling of a classic multiperiod problem

1997 · Geun-Sik Jo, Ken McAloon, et al. · Computers & Industrial Engineering

Hierarchy results for mixed-time

1990 · Ken McAloon · Contemporary mathematics - American Mathematical Society

Separation results for bounded alternation

1986 · Ken McAloon · Lecture notes in computer science

Works count: 25

Citation count: 300

H-index: 10

I10-index: 10