Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Claire Quigley

dblp:39/5517 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2Human-computer interaction and ubiquitous computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Mathematical optimization · 44% Automated reasoning and model checking · 44% Logic in computer science · 13%
Human-computer interaction and pervasive computing
1 paper
Accessibility and assistive technology · 77% Usability and user experience research · 23%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Mathematical optimization
integer programming		 0.112006
Automation for interactive proof: First prototype · Inf. Comput. 2006
Automated reasoning and model checking › theorem proving
proof automation		 0.112006
Automation for interactive proof: First prototype · Inf. Comput. 2006
Accessibility and assistive technology
older adults		 0.012001
Third age usability and safety-an ergonomics contribution to design · Int. J. Hum. Comput. Stud. 2001
Logic in computer science
proof theory		 0.012006
Automation for interactive proof: First prototype · Inf. Comput. 2006

Methods — techniques the papers use, named apart from their topics

tactic language · 0.1proof assistant · 0.1ergonomics · 0.0design contribution · 0.0
YearPublicationVenuePosition
2006 Automation for interactive proof: First prototype
Jia Meng 0002, Claire Quigley, Lawrence C. Paulson
 Inf. Comput.2
2006 Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]
Jia Meng 0002, Claire Quigley, Lawrence C. Paulson
 Inf. Comput.2
2001 Third age usability and safety-an ergonomics contribution to design
David R. Hitchcock, Suzanne Lockyer, Sharon Cook, Claire Quigley
 Int. J. Hum. Comput. Stud.4