Dines Bjørner's Bibliography:
Paper: [1]
Draft books: [2,3,4] - one of these drafts, most likely [2], to be submitted to Springer for evaluation.
Book: [5] with chapters: [6,7,8,9,10,,12,13,14,15]
Papers: [18]
Co-authored paper: [19]
Reports: [22,23,24,,26,27,,29,30,]
Own books: [32,33,34], approx. 2250 Pages !
Report: [35]
Own conference papers: [36,37]
Co-authored conference papers: [38,39]
Own conference papers: [40,41,42] Co-authored conference papers: [43,44]
Own papers: [45,46,47,48,,50,51,52]
Co-authored report: [53]
Co-edited proceedings: [57]
Danish language web document on programming: [58]
Paper waiting to be published: [64]
Co-edited proceedings: [71]
Lecture Notes: 1999: [72]
Main report: [81]
Own paper: [82]
Co-edited proceedings: [83]
Presented (UN) documents: [84]
Own papers: [87]
Co-edited proceedings: [93]
Presented (UN) documents: [94]
Two co-edited books, respectively one journal issue: [103,104,105]
Co-edited proceedings: [106]
Lecture Notes: 1991, 2 Vols.: [107,108]
Co-authored papers: [109]
Co-edited special journal issue, resp. proceedings: [114,115]
Own papers: [116,117,118,119,120]
Co-edited proceedings: [121]
Lecture Notes: 1983-1987: [122]
Own papers: [125]
Co-authored paper: [126]
Own paper: [127]
Co-edited and co-written book, resp. proceedings: [132,133]
Own papers: [134,135,136,137,138,139]
Co-authored papers: [140,141,142]
Co-edited and co-written books: [143,144]
Co-edited and co-written book: [149]
The PL/I Formal Definition, co-authored: [152]
Technical report, co-authored: [153]
Technical report: [154]
Own paper: [155]
Own papers: [156,157,158,159,160,161]
Edited proceedings: [162]
PhD Thesis: [163], see also: [157]
This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 6 publications
The translation was initiated by Dines Bjorner on 2009-05-28
Dines Bjorner 2009-05-28