Thomas Ball - Publications, H-index & Citations

Thomas Ball

microsoft united kingdom

55H指数

193论文数

1.4W被引数

收录论文 6

发表时间

Plug-and-play Physical Computing with Jacdac

PROCEEDINGS OF THE ACM ON INTERACTIVE MOBILE WEARABLE AND UBIQUITOUS TECHNOLOGIES-IMWUT

IF4.5

2022-09-07

OAAI

Devine, James; Moskal, Michal; De Halleux, Peli; Ball, Thomas; Hodges, Steve; D'Amone, Gabriele; Gakure, David; Finney, Joe; Underwood, Lorraine; Hartley, Kobi; Kos, Paul; Oppenheim, Matt

The BBC micro:bit-From the UK to the World

COMMUNICATIONS OF THE ACM

IF12.2

2020-02-24

OAAI

Austin, Jonny; Baker, Howard; Ball, Thomas; Devine, James; Finney, Joe; De Halleux, Peli; Hodges, Steve; Stockdale, Gareth; Moskal, Michal

Static TypeScript An Implementation of a Static Compiler for the TypeScript Language

proceedings of the

IF0

2019-10-21

PREAI

Ball, Thomas; de Halleux, Peli; Moskal, Michal

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2019-09-01

OAAI

Devine, James; Finney, Joe; de Halleux, Peli; Moskal, Michal; Ball, Thomas; Hodges, Steve

A Decade of Software Model Checking with SLAM

COMMUNICATIONS OF THE ACM

IF12.2

2011-07-01

121

PREAI

Ball, Thomas; Levin, Vladimir; Rajamani, Sriram K.

Intelligent systems and formal methods in software engineering

IEEE INTELLIGENT SYSTEMS

IF6.1

2006-11-01

PREAI

Beckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.

研究方向