Skip to search formSkip to main contentSkip to account menu

Gareth Rees (software developer)

Known as: Gareth Rees, Rees 
Gareth D. Rees (born 1971) is a British software developer and games writer. He contributed to the manual for the Inform programming language, and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Computer scienceInform

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2021
Highly Cited
2021
The Inductive Approach to Verifying Cryptographic Protocols
Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is… 
Highly Cited
2012
Highly Cited
2012
How to fit nonlinear plant growth models and calculate growth rates: an update for ecologists
1. Plant growth is a fundamental ecological process, integrating across scales from physiology to community dynamics and… 
Highly Cited
2012
Highly Cited
2012
The physics of galactic winds driven by active galactic nuclei
Active galactic nuclei (AGN) drive fast winds in the interstellar medium of their host galaxies. It is commonly assumed that the… 
Review
2011
Review
2011
Stiffness at small strain: research and practice
This paper provides the background to the 50th Rankine Lecture. It considers the growth in emphasis of the prediction of ground… 
Highly Cited
2005
Highly Cited
2005
The Lancet Commissions
www.thelancet.com Vol 373 May 16, 2009 1693 Anthony Costello, Mustafa Abbas, Adriana Allen, Sarah Ball, Sarah Bell, Richard… 
Highly Cited
2000
Highly Cited
2000
Health, community and development: towards a social psychology of participation
The concept of ‘community participation’ plays a central role in policies and interventions seeking to reduce health inequalities… 
Highly Cited
1999
Highly Cited
1999
Strand Spaces: Proving Security Protocols Correct
A strand is a sequence of events; it represents either an execution by a legitimate party in a security protocol or else a… 
Highly Cited
1994
Highly Cited
1994
Advection dominated accretion: Underfed black holes and neutron stars
We describe new optically thin solutions for rotating accretion flows around black holes and neutron stars. These solutions are… 
Highly Cited
1982
Highly Cited
1982
Effects of Urbanization on Avian Community Organization
-The avian community of a mature residential area was studied and compared with an undisturbed climax beech-maple forest… 
Review
1974
Review
1974
Comparative Phenological Studies of Trees in Tropical Wet and Dry Forests in the Lowlands of Costa Rica
The dearth of plant phenological studies in tropical latitudes has been pointed out by various authors (Gibbs & Leston 1970… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)