Neil White

18 papers C 1Misc 4Journal 13
YearRankTypeTitle / Venue / Authors
2017 J jnl
What can agile methods bring to high-integrity software development?
Commun. ACM
Roderick Chapman, Neil White, Jim Woodcock
2013 Misc conf
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems.
TASE
Neil White, Janet Barnes
2012 J jnl
Body-and-cad geometric constraint systems.
Comput. Geom.
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White
2010 J jnl
Body-and-cad Geometric Constraint Systems
CoRR
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White
2009 Misc conf
Body-and-cad geometric constraint systems.
SAC
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White
2005 J jnl
Lagrangian pairs and Lagrangian orthogonal matroids.
Eur. J. Comb.
Richard F. Booth, Alexandre V. Borovik, Neil White
2005 Misc conf
Smart Certification of Mixed Criticality Systems.
Ada-Europe
Peter Amey, Roderick Chapman, Neil White
2004 C conf
Continuous monitoring of the Jason-1 and TOPEX/Poseidon ocean altimetry missions from dedicated calibration sites.
IGARSS
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
2004 Misc conf
High Integrity Ada in a UML and C World.
Ada-Europe
Peter Amey, Neil White
2001 J jnl
Oriented Lagrangian Matroids.
Eur. J. Comb.
Richard F. Booth, Alexandre V. Borovik, Israel M. Gelfand, Neil White
2001 J jnl
Representations of Matroids in Semimodular Lattices.
Eur. J. Comb.
Alexandre V. Borovik, Israel M. Gelfand, Neil White
2000 J jnl
Combinatorial Flag Varieties.
J. Comb. Theory A
Alexandre V. Borovik, Israel M. Gelfand, Neil White
1998 J jnl
On exchange properties for Coxeter matroids and oriented matroids.
Discret. Math.
Alexandre V. Borovik, Israel M. Gelfand, Neil White
1995 J jnl
Skeletal rigidity of simplicial complexes, I.
Eur. J. Comb.
Tiong-Seng Tay, Neil White, Walter Whiteley
1995 J jnl
Skeletal rigidity of simplicial complexes, II.
Eur. J. Comb.
Tiong-Seng Tay, Neil White, Walter Whiteley
1991 J jnl
Computing combinatorial decompositions of rings.
Comb.
Bernd Sturmfels, Neil White
1989 J jnl
Proposal for a geometric algebra software package.
SIGSAM Bull.
Timothy F. Havel, Bernd Sturmfels, Neil White
1989 J jnl
Uniform Oriented Matroids Without the Isotopy Property.
Discret. Comput. Geom.
Beat Jaggi, Peter Mani-Levitska, Bernd Sturmfels, Neil White