Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Iain Whiteside

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nfm/DenneyPW13
- ask others
Ewen Denney, Ganesh Pai, Iain Whiteside: Hierarchical Safety Cases. NASA Formal Methods 2013: 478-483
[e1]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mkm/2013ws
- ask others
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
2012
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aisc/WhitesideAG12
- ask others
Iain Whiteside, David Aspinall, Gudmund Grov: An Essence of SSReflect. AISC/MKM/Calculemus 2012: 186-201
2011
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mkm/WhitesideADG11
- ask others
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov: Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275