Research Output

Filter
Working paper
2019

Crystalline nodal topological superconductivity in monolayer NbSe$_{2}$

Shaffer, D., Kang, J., Burnell, F. J. & Fernandes, R. M., 2019, (Submitted) (npj Quantum Materials).

Research output: Working paper

File
9 Downloads (Pure)
2013

Abstractions in Decision Procedures for Algebraic Data Types

Pham, T-H. & Whalen, M. W., 2013.

Research output: Working paper

Efficient Test Coverage Measurement for MC/DC

Whalen, M. W., Heimdahl, M. P. E. & De Silva, I. J., 2013.

Research output: Working paper

2004

The Effects of Interruptions on Task Performance, Annoyance, and Anxiety in the User Interface

Bailey, B. P., Carlis, J. V. & Konstan, J. A., 2004.

Research output: Working paper