Neil White - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2017

What can agile methods bring to high-integrity software development?Roderick Chapman, Neil White, Jim Woodcock. CACM, 60(10):38-41, 2017. [doi]

2013

How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's SystemsNeil White, Janet Barnes. tase 2013: 171 [doi]

2012

Body-and-cad geometric constraint systemsKirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White. comgeo, 45(8):385-405, 2012. [doi]

2009

Body-and-cad geometric constraint systemsKirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White. SAC 2009: 1127-1131 [doi]

2005

Smart Certification of Mixed Criticality SystemsPeter Amey, Roderick Chapman, Neil White. Ada-Europe 2005: 144-155 [doi]

Lagrangian pairs and Lagrangian orthogonal matroidsRichard F. Booth, Alexandre V. Borovik, Neil White. ejc, 26(7):1023-1032, 2005. [doi]

2004

High Integrity Ada in a UML and C WorldPeter Amey, Neil White. Ada-Europe 2004: 225-236 [doi]

Continuous monitoring of the Jason-1 and TOPEX/Poseidon ocean altimetry missions from dedicated calibration sitesBruce Haines, Pascal Bonnefond, Christopher Watson, George Born, Richard Coleman, Pierre Exertier, Stephen Gill, Gwénaële Jan, Eric Jeansou, Olivier Laurain, Neil White. igarss 2004: [doi]

2001

Oriented Lagrangian MatroidsRichard F. Booth, Alexandre V. Borovik, Israel M. Gelfand, Neil White. ejc, 22(5):639-656, 2001. [doi]

Representations of Matroids in Semimodular LatticesAlexandre V. Borovik, Israel M. Gelfand, Neil White. ejc, 22(6):789-799, 2001. [doi]

2000

Combinatorial Flag VarietiesAlexandre V. Borovik, Israel M. Gelfand, Neil White. JCT, 91(1-2):111-136, 2000. [doi]

1998

On exchange properties for Coxeter matroids and oriented matroidsAlexandre V. Borovik, Israel M. Gelfand, Neil White. DM, 179(1-3):59-72, 1998. [doi]

1995

Skeletal rigidity of simplicial complexes, IITiong Seng Tay, Neil White, Walter Whiteley. ejc, 16(5):503-523, 1995. [doi]

Skeletal rigidity of simplicial complexes, ITiong Seng Tay, Neil White, Walter Whiteley. ejc, 16(4):381-403, 1995. [doi]

1991

Computing combinatorial decompositions of ringsBernd Sturmfels, Neil White. combinatorica, 11(3):275-293, 1991.

1989

Proposal for a geometric algebra software packageTimothy F. Havel, Bernd Sturmfels, Neil White. cca, 23(1):13-15, 1989. [doi]

Uniform Oriented Matroids Without the Isotopy PropertyBeat Jaggi, Peter Mani-Levitska, Bernd Sturmfels, Neil White. dcg, 4:97-100, 1989.

Sign in or sign up to see more results.

runs on WebDSL