@inproceedings{Voelker07,
  author    = {Norbert V{\"o}lker},
  title     = {HOL2P - A System of Classical Higher Order Logic with Second
               Order Polymorphism},
  booktitle = {TPHOLs},
  year      = {2007},
  pages     = {334-351},
  crossref  = {tphols07}
}

@proceedings{tphols07, 
  editor    = {Klaus Schneider and
               Jens Brandt},
  title     = {Theorem Proving in Higher Order Logics, 20th International
               Conference, TPHOLs 2007, Kaiserslautern, Germany, September
               10-13, 2007, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4732},
  year      = {2007},
  isbn      = {978-3-540-74590-7} 
}

@InCollection{CraggEtAl2007, 
  author = {L. Cragg and  H. Hu and N.V{\"o}lker}, 
  booktitle = {Software Engineering for Experimental Robotics},
  title = {Modularity and Mobility of Distributed Control Software for Networked Mobile Robots}, 
  pages = {459-484}, 
  publisher = {Springer},
  year = {2007},
  editor = {Davide Brugali},
  volume = {30},
  series = {Springer Tracts in Advanced Robotics},
}

@inproceedings{HuthEtAl06,
 author = {Carsten Huth and 
           Norbert V{\"o}lker and 
           Olaf Hahnl and Bj{\"o}rn Reinhold}, 
 title = {INTERPROM - A Collaborative Framework Driven by Business Needs}, 
 booktitle = {Proceedings of the International conference on E-Business (ICE-B 2006)},
 address = {Setubal, Portugal}, 
 year = {2006} 
}

@article{Voelker04,
  author    = {Norbert V{\"o}lker},
  title     = {Thoughts on Requirements and Design Issues of User Interfaces
               for Proof Assistants},
  journal   = {Electronic Notes Theoretical Computer Science},
  volume    = {103},
  year      = {2004},
  pages     = {139-159} 
}

@article{VoelkerKraemer02, 
  author    = {Norbert V{\"o}lker and
               Bernd J. Kr{\"a}mer},
  title     = {Automated verification of function block-based industrial
               control systems},
  journal   = {Science of Computer Programming},
  volume    = {42},
  number    = {1},
  year      = {2002},
  pages     = {101-113}
}

@inproceedings{Voelker99,
  author    = {Norbert V{\"o}lker},
  title     = {Disjoint Sums over Type Classes in HOL},
  booktitle = {TPHOLs},
  year      = {1999},
  pages     = {5-18},
  crossref  = {tphols99}
}

@proceedings{tphols99, 
  editor    = {Yves Bertot and
               Gilles Dowek and
               Andr{\'e} Hirschowitz and
               C. Paulin and
               Laurent Th{\'e}ry},
  title     = {Theorem Proving in Higher Order Logics, 12th International
               Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1690},
  year      = {1999},
  isbn      = {3-540-66463-7}
}