217 citations
- Lund UniversitySE11 papers
- Universidad Autónoma de MadridES7 papers
- Chalmers University of TechnologySE4 papers
- Leipzig UniversityDE4 papers
- Universidad Internacional De La RiojaES4 papers
- University of SalzburgAT4 papers
- Wuhan University of TechnologyCN4 papers
- KTH Royal Institute of TechnologySE3 papers
- Stockholm UniversitySE3 papers
- Universidad Carlos III de MadridES3 papers
- Universidade Federal do TocantinsBR3 papers
- University of MaltaMT3 papers
Showing 2011Show all
2 papers · 1 filter
hep-th2011★ 46 cited
On the corrections beyond proximity force approximation (PFA)
L. P. Teo, M. Bordag, V. Nikolaev
We recalculate the first analytic correction beyond PFA for a sphere in front of a plane for a scalar field and for the electromagnetic field. We use the method of Bordag and Nikol…
cs.PL2011★ 1 cited
Accurate Programming: Thinking about programs in terms of properties
Walid Taha, Veronica Gaspes, Rex Page
Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state…