Concepedia

Martin Brain

MB

Statistics

Publications

11

Citations

384

H-Index

11

Active since

2003

Affiliations

University of Bath(Current)

University of Oxford

Fondazione Bruno Kessler

Martin Brain is an author at University of Bath specializing in computer science, computing, and software engineering.

Publications per year

2003–2017

11

Publications

11

An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic

Martin Brain, Cesare Tinelli, Philipp Ruemmer et al. · 2015 · 60 citations

Computing, Computer Engineering, Computer Science +12

Debugging logic programs under the answer set semantics

Martin Brain, Marina De Vos · 2005 · 59 citations

Computing, Computer Science, Programming Languages +12

Deciding floating-point logic with systematic abstraction

Leopold Haller, Alberto Griggio, Martin Brain et al. · Oxford University Research Archive (ORA) (University of Oxford) · 2012 · 51 citations · Full text

Computing, Computer Science, Mathematics +14

Deciding floating-point logic with abstract conflict driven clause learning

Martin Brain, Vijay D’Silva, Alberto Griggio et al. · Formal Methods in System Design · 2013 · 49 citations · Full text

Computing, Computer Science, Algorithms +10

A new-generation automated warehousing capability

Q. Wang, R I McIntosh, Martin Brain · International Journal of Computer Integrated Manufacturing · 2010 · 40 citations · Full text

Management, Operations Management, Supply Chain Management +14

1–5 of 11