Henry A. Kautz Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry A. Kautz, Kurt Johnson: Customizing directions in an automated wayfinding system for individuals with cognitive impairment. ASSETS 2009: 27-34
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Ashish Sabharwal, Bart Selman: Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203
2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Modayil, Tongxin Bai, Henry A. Kautz: Improving the recognition of interleaved activities. UbiComp 2008: 40-43
2007
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz: Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian Sang, Paul Beame, Henry A. Kautz: A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz: A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz: Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz: Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: The state of SAT. Discrete Applied Mathematics 155(12): 1514-1524 (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Dieter Fox, Henry A. Kautz: Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. I. J. Robotic Res. 26(1): 119-134 (2007)
2006
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: Synthesis and Planning, 12.-17. June 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz: Deconstructing Planning as Satisfiability. AAAI 2006
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose: Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. AAAI 2006
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson: Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. ASSETS 2006: 95-102
2005
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian Sang, Paul Beame, Henry A. Kautz: Performing Bayesian Inference by Weighted Model Counting. AAAI 2005: 475-482
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthik Gopalratnam, Henry A. Kautz, Daniel S. Weld: Extending Continuous Time Bayesian Networks. AAAI 2005: 981-986
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Dieter Fox, Henry A. Kautz: Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Dieter Fox, Henry A. Kautz: Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose: Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Dieter Fox, Henry A. Kautz: Location-based activity recognition. NIPS 2005
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian Sang, Paul Beame, Henry A. Kautz: Heuristics for Fast Exact Model Counting. SAT 2005: 226-240
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate: Constraints and AI Planning. IEEE Intelligent Systems 20(2): 62-72 (2005)
2004
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongshao Ruan, Henry A. Kautz, Eric Horvitz: The Backdoor Key: A Path to Understanding Problem Hardness. AAAI 2004: 124-130
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Liao, Dieter Fox, Henry A. Kautz: Learning and Inferring Transportation Routines. AAAI 2004: 348-353
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz: Toward A Universal Inference Engine. LPNMR 2004: 2
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic, Katherine Olson, Shiaokai Wang, Dieter Fox, Henry A. Kautz: Opportunity Knocks: A System to Provide Cognitive Assistance with Transportation Services. Ubicomp 2004: 433-450
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Henry A. Kautz, Ashish Sabharwal: Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. (JAIR) 22: 319-351 (2004)
2003
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. CP 2003: 1-18
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Henry A. Kautz, Ashish Sabharwal: Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 149-157
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a theory of natural language interfaces to databases. IUI 2003: 327
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna-Maria Popescu, Oren Etzioni, Henry A. Kautz: Towards a Theory of Question-Answering Interfaces to Databases. New Directions in Question Answering 2003: 73-74
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Paul Beame, Henry A. Kautz: Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald J. Patterson, Lin Liao, Dieter Fox, Henry A. Kautz: Inferring High-Level Behavior from Low-Level Sensors. Ubicomp 2003: 73-89
2002
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman: Dynamic Restart Policies. AAAI/IAAI 2002: 674-681
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongshao Ruan, Eric Horvitz, Henry A. Kautz: Restart Policies with Dependence among Runs: A Dynamic Programming Approach. CP 2002: 573-586
2001
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering: A Bayesian Approach to Tackling Hard Computational Problems. UAI 2001: 235-244
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Preface: Volume 9. Electronic Notes in Discrete Mathematics 9: 1 (2001)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 2-18 (2001)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald J. Patterson, Henry A. Kautz: Auto-Walksat: A Self-Tuning Implementation of Walksat. Electronic Notes in Discrete Mathematics 9: 360-368 (2001)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering: A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 376-391 (2001)
2000
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman: Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz: Scalable Knowledge Representation and Reasoning Systems. CADE 2000: 183
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Cheng Huang, Bart Selman, Henry A. Kautz: Learning Declarative Control Rules for Constraint-BAsed Planning. ICML 2000: 415-422
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam W. Cohen, Henry A. Kautz, David A. McAllester: Hardening soft information sources. KDD 2000: 255-259
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox: The AIPS-98 Planning Competition. AI Magazine 21(2): 13-33 (2000)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reasoning 24(1/2): 67-100 (2000)
1999
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi-Cheng Huang, Bart Selman, Henry A. Kautz: Control Knowledge in Planning: Benefits and Tradeoffs. AAAI/IAAI 1999: 511-517
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Joachim P. Walser: State-space Planning by Integer Optimization. AAAI/IAAI 1999: 526-533
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Unifying SAT-based and Graph-based Planning. IJCAI 1999: 318-325
1998
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Bart Selman, Henry A. Kautz: Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. AIPS 1998: 181-189
1997
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. McAllester, Bart Selman, Henry A. Kautz: Evidence for Invariants in Local Search. AAAI/IAAI 1997: 321-326
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz, David A. McAllester: Ten Challenges in Propositional Reasoning and Search. IJCAI (1) 1997: 50-54
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman, Mehul A. Shah: The Hidden Web. AI Magazine 18(2): 27-36 (1997)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman, Mehul A. Shah: Referral Web: Combining Social Networks and Collaborative Filtering. Commun. ACM 40(3): 63-65 (1997)
1996
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman, Al Milewski: Agent Amplified Communication. AAAI/IAAI, Vol. 1 1996: 3-9
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 1996: 1194-1201
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, David A. McAllester, Bart Selman: Encoding Plans in Propositional Logic. KR 1996: 374-384
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: Knowledge Compilation and Theory Approximation. J. ACM 43(2): 193-224 (1996)
1995
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGoran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman: The Comparative Linguistics of Knowledge Representation. IJCAI (1) 1995: 862-869
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Michael J. Kearns, Bart Selman: Horn Approximations of Empirical Data. Artif. Intell. 74(1): 129-145 (1995)
1994
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: An Empirical Evaluation of Knowledge Compilation by Theory Approximation. AAAI 1994: 155-161
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz, Bram Cohen: Noise Strategies for Improving Local Search. AAAI 1994: 337-343
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming: An Experiment in the Design of Software Agents. AAAI 1994: 438-443
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Etherington, Henry A. Kautz: The Fourth International Workshop on Nonmonotonic Reasoning. AI Magazine 15(3): 83-85 (1994)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman, Michael H. Coen: Bottom-Up Design of Software Agents. Commun. ACM 37(7): 143-146 (1994)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Etherington, Henry A. Kautz, Kurt Konolige: Introduction to the Special Issue. Fundam. Inform. 21(1/2): 1-5 (1994)
1993
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Michael J. Kearns, Bart Selman: Reasoning With Characteristic Models. AAAI 1993: 34-39
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: An Empirical Study of Greedy Local Search for Satisfiability Testing. AAAI 1993: 46-51
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI 1993: 290-295
1992
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Forming Concepts for Fast Inference. AAAI 1992: 786-793
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Planning as Satisfiability. ECAI 1992: 359-363
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning 1992: 200-215
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Peter B. Ladkin: Integrating Metric and Qualitative Temporal Reasoning. AAAI 1991: 241-246
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: Knowledge Compilation using Horn Approximations. AAAI 1991: 904-909
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: A General Framework for Knowledge Compilation. PDK 1991: 287-300
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Hard Problems for Simple Default Logics. Artif. Intell. 49(1-3): 243-279 (1991)
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: Model-Preference Default Theories. Artif. Intell. 45(3): 287-322 (1990)
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz: Vivid Knowledge and Tractable Reasoning. IJCAI 1989: 1146-1152
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Bart Selman: Hard Problems for Simple Default Logics. KR 1989: 189-197
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Selman, Henry A. Kautz: The Complexity of Model-Preference Default Theories. NMR 1988: 115-130
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, James F. Allen: Generalized Plan Recognition. AAAI 1986: 32-37
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc B. Vilain, Henry A. Kautz: Constraint Propagation Algorithms for Temporal Reasoning. AAAI 1986: 377-382
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz: The Logic of Persistence. AAAI 1986: 401-405

Coauthor Index

1Dimitris Achlioptas [44] [47] [50]
2James F. Allen [3]
3Corin R. Anderson [40]
4Fahiem Bacchus [62]
5Tongxin Bai [88]
6Paul Beame [54] [58] [60] [62] [69] [75] [86]
7Jeff A. Bilmes (Jeff Bilmes) [85] [87]
8Blai Bonet [40]
9Alexander Borgida [6]
10Gaetano Borriello [76] [90]
11Ronald J. Brachman (Ron Brachman) [6]
12Michael Brenner [40]
13Pat A. Brown [76] [90]
14David Maxwell Chickering (Max Chickering) [45] [49]
15Tanzeem Choudhury [83] [85]
16Michael H. Coen [19] [21]
17Bram Cohen [22]
18William W. Cohen [41]
19Michael Collier [61]
20Nuno Crato [39]
21David W. Etherington [6] [18] [20]
22Oren Etzioni [55] [56] [57]
23Robert Fourer [66]
24Dieter Fox [53] [61] [64] [70] [71] [72] [73] [80] [82] [83]
25Maria Fox [40]
26Eugene C. Freuder [66]
27Krzysztof Z. Gajos (Krzysztof Gajos) [61]
28Hector Geffner [40]
29Enrico Giunchiglia [66]
30Goran Gogic [25]
31Robert P. Goldman [66]
32Carla P. Gomes [35] [39] [44] [45] [47] [49] [50] [52] [84]
33Karthik Gopalratnam [74]
34Mark Harniss [76] [90]
35Harlan Hile [76] [90]
36Jörg Hoffmann [40] [84]
37Eric Horvitz [45] [49] [51] [52] [65]
38Yi-Cheng Huang [38] [42]
39Kurt Johnson [76] [90]
40Michael J. Kearns [17] [24]
41Steven P. Ketchpel [21]
42Jana Koehler (Jana Köhler) [40]
43Kurt Konolige [18]
44Peter B. Ladkin [11]
45Lin Liao [53] [61] [64] [70] [72] [73] [80] [82] [83]
46Alan L. Liu [76] [90]
47Nik Livic [61]
48Derek Long [40]
49David A. McAllester [27] [32] [33] [41]
50Al Milewski [29]
51Joseph Modayil [88]
52Alexander Nareyek [66]
53Katherine Olson [61]
54Christos H. Papadimitriou [25]
55Donald J. Patterson [46] [53] [61] [71] [82]
56William Pentney [77] [87]
57Matthai Philipose [71] [77] [87]
58Toniann Pitassi [62]
59Ana-Maria Popescu [55] [56] [57] [77]
60Chris Ramming [21]
61Jussi Rintanen [66]
62Frank Rittinger [40]
63Yongshao Ruan [45] [47] [49] [50] [51] [52] [65]
64Ashish Sabharwal [54] [58] [60] [89]
65Tian Sang [62] [69] [75] [86]
66Bart Selman [4] [5] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [19] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [42] [44] [45] [47] [48] [49] [50] [52] [59] [81] [84] [89]
67Mehul A. Shah [30] [31]
68David E. Smith [40]
69Mark E. Stickel [47] [50]
70Austin Tate [66]
71Wolfgang Thomas [67] [68] [79]
72Moshe Y. Vardi [67] [68] [79]
73Marc B. Vilain [2]
74Joachim P. Walser [37]
75Shiaokai Wang [61] [77]
76Daniel S. Weld [40] [74]
77Danny Wyatt [85]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)