dblp.uni-trier.dewww.uni-trier.de

Ken McAloon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
24 Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff: Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. AIPS 1998: 208-213
23 Ken McAloon: Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. IJCSLP 1998: 5-6
1996
22 Ken McAloon: Constraint-Based Programming. ACM Comput. Surv. 28(4es): 69 (1996)
1995
21EEDavid M. Arnow, Ken McAloon, Carol Tretkoff: Parallel Integer Goal Programming. ACM Conference on Computer Science 1995: 42-47
1994
20 David M. Arnow, Ken McAloon, Carol Tretkoff: Distributed Programming and Disjunctive Programming. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 120-129
1993
19 Ken McAloon, Carol Tretkoff: 2lp: Linear Programming and Logic Programming. PPCP 1993: 178-189
18 C. Atay, Ken McAloon, Carol Tretkoff: 2lp: A Highly Parallel Constraint Logic Programming Language. PPSC 1993: 822-828
1992
17 Jim Cox, Ken McAloon, Carol Tretkoff: Computational Complexity and Constraint Logic Programming Languages. Ann. Math. Artif. Intell. 5(2-4): 163-189 (1992)
16 Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry: A Note on the Parallel Complexity of Anti-Unification. J. Autom. Reasoning 9(3): 381-389 (1992)
15 Jean-Louis Lassez, Ken McAloon: A Canonical Form for Generalized Linear Constraints. J. Symb. Comput. 13(1): 1-24 (1992)
1991
14 Jim Cox, Ken McAloon: Decision Procedures for Constraint Based Extensions of Datalog. WCLP 1991: 17-32
13 Jean-Louis Lassez, Ken McAloon: A Constraint Sequent Calculus. WCLP 1991: 33-43
12 Jean-Louis Lassez, Tien Huynh, Ken McAloon: Simplification and Elimination of Redundant Linear Arithmetic Constraints. WCLP 1991: 73-87
1990
11 Jean-Louis Lassez, Ken McAloon: A Constraint Sequent Calculus LICS 1990: 52-61
10 Jim Cox, Ken McAloon, Carol Tretkoff: Computational Complexity and Constraint Logic Programming Languages. NACLP 1990: 401-415
1989
9 Jean-Louis Lassez, Tien Huynh, Ken McAloon: Simplification and Elimination of Redundant Linear Arithmetic Constraints. NACLP 1989: 37-51
8EEJean-Louis Lassez, Ken McAloon: Independence of Negative Constraints. TAPSOFT, Vol.1 1989: 19-27
7 Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Base Management. J. Symb. Comput. 7(5): 509-522 (1989)
1988
6 Jean-Louis Lassez, Ken McAloon: Applications of a Canonical Form of Gerneralized Linear Constraints. FGCS 1988: 703-710
5 Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry: Efficient Parallel Algorithms for Anti-Unification and Relative Complement LICS 1988: 112-120
1987
4 Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Based Management. ICLP 1987: 136-151
3 Catherine Lassez, Ken McAloon: Stratified Interactive Knowledge Bases. ISMIS 1987: 408-415
1986
2 Ken McAloon: Separation Results for Bounded Alternation. Structure in Complexity Theory Conference 1986: 265-271
1984
1 Ken McAloon: Petri Nets and Large Finite Sets. Theor. Comput. Sci. 32: 173-183 (1984)

Coauthor Index

1David M. Arnow [20] [21]
2C. Atay [18]
3Jim Cox [10] [14] [17]
4Carla P. Gomes [24]
5Tien Huynh [9] [12]
6Gabriel M. Kuper [5] [16]
7Catherine Lassez [3] [4] [7]
8Jean-Louis Lassez [6] [8] [9] [11] [12] [13] [15]
9Krishna V. Palem [5] [16]
10Kenneth J. Perry [5] [16]
11Graeme S. Port [4] [7]
12Bart Selman [24]
13Carol Tretkoff [10] [17] [18] [19] [20] [21] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)