Henry Kautz

Cited by

	All	Since 2019
Citations	36723	5747
h-index	83	39
i10-index	181	113

1900

950

475

1425

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024127 246 164 259 349 363 450 456 538 755 803 805 811 1016 1060 1294 1315 1593 1667 1594 1699 1684 1805 1756 1755 1585 1543 1384 1281 1148 1178 1009 905 900 604

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bart SelmanProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Dieter FoxUniversity of Washington and NVIDIAVerified email at cs.washington.edu
Donald J PattersonProfessor of Computer Science, Westmont CollegeVerified email at westmont.edu
Adam SadilekAIMVerified email at machines.run
Jiebo Luo, Fellow of NAI, ACM, AAAI,...Albert Arendt Hopeman Professor of Engineering, University of RochesterVerified email at cs.rochester.edu
Matthai PhiliposeResearcher, MicrosoftVerified email at microsoft.com
Vincent Silenzio, MD, MPHProfessor, Department of Urban-Global Public Health, Rutgers UniversityVerified email at rutgers.edu
Oren EtzioniProfessor, University of WashingtonVerified email at cs.uw.edu
Paul BeameProfessor of Computer Science and Engineering, University of WashingtonVerified email at cs.washington.edu
James AllenRochesterVerified email at cs.rochester.edu
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerified email at ttic.edu
Eric HorvitzMicrosoftVerified email at microsoft.com
Young Chol SongUniversity of RochesterVerified email at cs.rochester.edu
Ashish SabharwalAllen Institute for AI (AI2)Verified email at allenai.org
Jeffrey P. BighamCarnegie Mellon University & AppleVerified email at cs.cmu.edu
Mark HarnissUniversity of WashingtonVerified email at uw.edu
Ken FishkinStaff Software Engineer, GoogleVerified email at google.com
Parag SinglaIndian Institute of Technology DelhiVerified email at cse.iitd.ac.in
Anis ZamaneBayVerified email at ur.rochester.edu
Nabil HossainPhD Candidate in Computer Science, University of RochesterVerified email at cs.rochester.edu

Henry Kautz

Professor Emeritus of Computer Science, University of Rochester

Verified email at cs.rochester.edu - Homepage

artificial intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Planning as Satisfiability. HA Kautz, B Selman ECAI 92, 359-363, 1992	1605	1992
Referral Web: combining social networks and collaborative filtering H Kautz, B Selman, M Shah Communications of the ACM 40 (3), 63-65, 1997	1562	1997
Pushing the envelope: Planning, propositional logic, and stochastic search H Kautz, B Selman Proceedings of the national conference on artificial intelligence, 1194-1201, 1996	1338	1996
Noise strategies for improving local search B Selman, HA Kautz, B Cohen AAAI 94, 337-343, 1994	1320	1994
Inferring activities from interactions with objects M Philipose, KP Fishkin, M Perkowitz, DJ Patterson, D Fox, H Kautz, ... IEEE pervasive computing 3 (4), 50-57, 2004	1229	2004
Learning and inferring transportation routines L Liao, DJ Patterson, D Fox, H Kautz Artificial intelligence 171 (5-6), 311-331, 2007	1170	2007
Constraint propagation algorithms for temporal reasoning. MB Vilain, HA Kautz Aaai 86, 377-382, 1986	1056	1986
Local search strategies for satisfiability testing. B Selman, HA Kautz, B Cohen Cliques, coloring, and satisfiability 26, 521-532, 1993	998	1993
Boosting combinatorial search through randomization CP Gomes, B Selman, H Kautz AAAI/IAAI 98 (1998), 431-437, 1998	933	1998
Generalized plan recognition. HA Kautz, JF Allen AAAI 86 (3237), 5, 1986	800	1986
Message filtering techniques LM Canale, HA Kautz, AE Milewski, B Selman US Patent 5,619,648, 1997	794	1997
Inferring high-level behavior from low-level sensors DJ Patterson, L Liao, D Fox, H Kautz UbiComp 2003: Ubiquitous Computing: 5th International Conference, Seattle …, 2003	789	2003
Towards a theory of natural language interfaces to databases AM Popescu, O Etzioni, H Kautz Proceedings of the 8th international conference on Intelligent user …, 2003	759	2003
A formal theory of plan recognition and its implementation HA Kautz Reasoning about plans, 69-125, 1991	749*	1991
Unifying SAT-based and graph-based planning H Kautz, B Selman IJCAI 99, 318-325, 1999	737	1999
Activity recognition using the velocity histories of tracked keypoints R Messing, C Pal, H Kautz 2009 IEEE 12th international conference on computer vision, 104-111, 2009	678	2009
Constraint propagation algorithms for temporal reasoning: A revised report M Vilain, H Kautz, P Van Beek Readings in qualitative reasoning about physical systems, 373-381, 1990	606	1990
Extracting places and activities from gps traces using hierarchical conditional random fields L Liao, D Fox, H Kautz The International Journal of Robotics Research 26 (1), 119-134, 2007	600	2007
Fine-grained activity recognition by aggregating abstract object usage DJ Patterson, D Fox, H Kautz, M Philipose Ninth IEEE International Symposium on Wearable Computers (ISWC'05), 44-51, 2005	597	2005
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems CP Gomes, B Selman, N Crato, H Kautz Journal of automated reasoning 24 (1), 67-100, 2000	592	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors