Neil White

According to our database, Neil White authored at least 16 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

What can agile methods bring to high-integrity software development?

Roderick Chapman, Neil White, Jim Woodcock

Commun. ACM, 2017

2013

How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems.

Neil White, Janet Barnes

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

Body-and-cad geometric constraint systems.

Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White

Comput. Geom., 2012

2005

Lagrangian pairs and Lagrangian orthogonal matroids.

Richard F. Booth, Alexandre V. Borovik, Neil White

Eur. J. Comb., 2005

Smart Certification of Mixed Criticality Systems.

Peter Amey, Roderick Chapman, Neil White

Proceedings of the Reliable Software Technology, 2005

2004

Continuous monitoring of the Jason-1 and TOPEX/Poseidon ocean altimetry missions from dedicated calibration sites.

Bruce J. Haines, Pascal Bonnefond, Christopher S. Watson, George Born, Richard Coleman, Pierre Exertier, Stephen Gill, Gwénaële Jan, Eric Jeansou, Olivier Laurain, Neil White

Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

High Integrity Ada in a UML and C World.

Peter Amey, Neil White

Proceedings of the Reliable Software Technologies, 2004

2001

Representations of Matroids in Semimodular Lattices.

Alexandre V. Borovik, Israel M. Gelfand, Neil White

Eur. J. Comb., 2001

Oriented Lagrangian Matroids.

Richard F. Booth, Alexandre V. Borovik, Israel M. Gelfand, Neil White

Eur. J. Comb., 2001

2000

Combinatorial Flag Varieties.

Alexandre V. Borovik, Israel M. Gelfand, Neil White

J. Comb. Theory A, 2000

1998

On exchange properties for Coxeter matroids and oriented matroids.

Alexandre V. Borovik, Israel M. Gelfand, Neil White

Discret. Math., 1998

1995

Skeletal rigidity of simplicial complexes, II.

Tiong-Seng Tay, Neil White, Walter Whiteley

Eur. J. Comb., 1995

Skeletal rigidity of simplicial complexes, I.

Tiong-Seng Tay, Neil White, Walter Whiteley

Eur. J. Comb., 1995

1991

Computing combinatorial decompositions of rings.

Bernd Sturmfels, Neil White

Comb., 1991

1989

Uniform Oriented Matroids Without the Isotopy Property.

Beat Jaggi, Peter Mani-Levitska, Bernd Sturmfels, Neil White

Discret. Comput. Geom., 1989

Proposal for a geometric algebra software package.

Timothy F. Havel, Bernd Sturmfels, Neil White

SIGSAM Bull., 1989