Please note that only papers and publications recorded in this departments
database are shown here. An author may have many other papers and
publications produced while working elsewhere which are not listed here.
This page does not therefore represent a definitive list of this authors
work.

 Chapter in Edited Book

CB187
 1994 Chapter in Edited Book
 Walsh,T

 Creative Proof Planning

 Journal Paper

JP1194
 1997 Journal Paper
 Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T

 Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)

JP1062
 1996 Journal Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

JP142
 1993 Journal Paper
 Giunchiglia,F; Walsh,T

 the Inevitability of Inconsistent Abstract Spaces

JP683
 1993 Journal Paper
 Gent,I; Walsh,T

 An Empirical Analysis of Search in GSAT

JP141
 1992 Journal Paper
 Giunchiglia,F; Walsh,T

 a Theory of Abstraction

JP503
 1990 Journal Paper
 Guinchiglia,F; Walsh,T

 Abstraction in AI

 Paper in Conference Proceedings

PP1054
 1996 Paper in Conference Proceedings
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

PP742
 1994 Paper in Conference Proceedings
 Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A

 Coloured Rippling: An Extension of a Theorem Proving Heuristic

PP682
 1993 Paper in Conference Proceedings
 Gent,I; Walsh,T

 Towards an Understanding of Hillclimbing Procedures for SAT

PP118
 1992 Paper in Conference Proceedings
 Basin,D; Walsh,T

 Difference Matching

PP143
 1992 Paper in Conference Proceedings
 Giunchiglia,G; Walsh,T

 Tree Subsumption: Reasoning with Outlines

PP185
 1992 Paper in Conference Proceedings
 Walsh,T; Nunes,A; Bundy,A

 the Use of Proof Plans to Sum Series

PP188
 1992 Paper in Conference Proceedings
 Walsh,T; Giunchiglia,F

 Theories of Abstraction: a Historical Perspective

PP236
 1992 Paper in Conference Proceedings
 Bundy,A; Walsh,T; Nunes,A

 the Use of Proof Plans to Sum Series

PP21
 1991 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Using Abstraction

PP504
 1990 Paper in Conference Proceedings
 Guinchiglia,F; Walsh,T

 the Use of Abstraction in Automatic Inference

PP376
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving

PP377
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Theorem Proving with Definitions

 PhD Thesis

PT9027
 1990 PhD Thesis
 Walsh,T

 A Theory of Abstraction

 Research Paper

RP920
 1998 Research Paper
 Bundy,A; Colton,SG; Walsh,T

 HR  A System for Machine Discovery in Finite Algebras

RP807
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

RP808
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

RP809
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T

 An Incompleteness Theorem Via Abstraction

RP779
 1995 Research Paper
 Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D

 Coloured Rippling: an Extension of a Theorem Proving Heuristic

RP679
 1994 Research Paper
 Gent,I; Walsh,T

 The Sat Phase Transition

RP680
 1994 Research Paper
 Gent,I; Walsh,T

 The Hardest Random Sat Problems

RP714
 1994 Research Paper
 Gent,I; Walsh,T

 How not to do it

RP721
 1994 Research Paper
 Gent,I; Walsh,T

 Unsatisfied Variables in Local Search

RP724
 1994 Research Paper
 Gent,I; Walsh,T

 Computational Phase Transitions in Real Problems

RP614
 1993 Research Paper
 Gent,I; Walsh,T

 Towards an Understanding of HillClimbing Procedures for Sat

RP634
 1993 Research Paper
 Gent,I; Walsh,T

 An Empirical Analysis of Search in Gsat

RP642
 1993 Research Paper
 Gent,I; Walsh,T

 Easy Problems are Sometimes Hard

RP605
 1992 Research Paper
 Gent,I; Walsh,T

 The Enigma of Sat HillClimbing Procedures

RP556
 1991 Research Paper
 Basin,D; Walsh,T

 Difference Matching

RP563
 1991 Research Paper
 Walsh,T; Nunes,A; Bundy,A

 The Use of Proof Plans to Sum Series

RP454
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 The Use of Abstraction in Automatic Inference

RP460
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving: Mapping Back

RP506
 1990 Research Paper
 Bundy,A; Giunchiglia,F; Walsh,T

 Building Abstractions

RP514
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)

RP515
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Using Abstraction

RP516
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 A Theory of Abstraction
