%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% papers by Hanne and Flemming Nielson (and some of their coworkers)
% last updated January 2001 by Flemming --- public ones          (1)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%%%%%%%%% contents %%%%%%%%%%%%%%%%%
% theses
% books (coauthored or edited)
% journal papers
% contributed chapters
% miscellaneous
% conference papers
% reports (only recent ones)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
%%%%%%%%
% theses  
%%%%%%%%

@MastersThesis{Rii80msc, 
  author =       "H. Riis",
  title =        "Subclasses of Attribute Grammars",
  school =       "Computer Science Department, Aarhus University",
  year =         "1980",
  type =         "{M.Sc.} Thesis, {DAIMI PB}-114",
}

@MastersThesis{Nie81mscF, 
  author =       "F. Nielson",
  title =        "Semantic Foundations of Data Flow Analysis",
  school =       "Aarhus University",
  year =         "1981",
  type =         "{M.Sc.} Thesis, {DAIMI PB}-131",
}

@PhdThesis{Nie84phdH, 
  author =       "H. Riis Nielson",
  title =        "{H}oare Logic's for Run-time Analysis of Programs",
  school =       "Edinburgh University",
  year =         "1984",
  type =         "{Ph.D.} Thesis, {CST}-30-84",
}

@PhdThesis{Nie84phdF, 
  author =       "F. Nielson",
  title =        "Abstract Interpretation Using Domain Theory",
  school =       "University of Edinburgh",
  year =         "1984",
  type =         "{Ph.D.} Thesis, {CST}-31-84",
}

@PhdThesis{Nie90dscF, 
  author =       "F. Nielson",
  title =        "Theoretical Aspects of Semantics-Based
                  Language Implementation",
  school =       "Aarhus University",
  year =         "1990",
  type =         "{D.Sc.} Thesis, {DAIMI PB}-329",
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% books (coauthored or edited)  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Book{NiNi92wiley,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Semantics with Applications: A Formal Introduction",
  publisher =    "Wiley",
  year =         "Please consult {\tt http://www.daimi.au.dk/$\sim$hrn} 
                  for information about how to download a copy
                  of the book and supplementary course material.",
  htmlonly =     "\htmladdnormallink{[Download Information]}{
                    http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html}",
}

@Book{NiNi92cup,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Two-Level Functional Languages",
  publisher =    "Cambridge University Press",
  year =         "1992",
  series =       "Cambridge Tracts in Theoretical Computer 
                  Science {\bf vol.~34}",
}

@Book{Nie96esopH, 
  author =       "H. Riis Nielson (editor)",
  title =        "European Symposium on Programming",
  publisher =    "Springer-Verlag",
  year =         "1996",
  volume =       "1058",
  series =       "Lecture Notes in Computer Science",
}

@Book{Nie96mlwcF, 
  author =       "F. Nielson (editor)",
  title =        "{ML} with Concurrency: Design, Analysis, 
                  Implementation, and Application",
  publisher =    "Springer-Verlag",
  year =         "1997",
  series =       "Monographs in Computer Science",
}

@Book{ANN98book,  
  author=        "T. Amtoft and F. Nielson and H. Riis Nielson",
  title =        "Type and Effect Systems: Behaviours 
                  for Concurrency",
  publisher =    "IC Press",
  year =         "1999",
  htmlonly =     "\htmladdnormallink{[Publishing Information]}{
                    http://www.daimi.au.dk/~fn/WebDesign/tba.html}",
}

@Book{NNH99fe,  
  author =     	"F. Nielson and H. Riis Nielson and C. L. Hankin",
  title = 	"Principles of Program Analysis",
  publisher =  	"Springer",
  year =        "1999",
 htmlonly =     "\htmladdnormallink{[Publishing Information]}{
                    http://www.daimi.au.dk/~hrn/PPA/ppa.html}",

}

%%%%%%%%%%%%%%%%
% journal papers  
%%%%%%%%%%%%%%%%

@Article{RiSk81, 
  author =       "H. Riis and S. Skyum",
  title =        "k-visit Attribute Grammars",
  journal =      "Mathematical Systems Theory",
  year =         "1981",
  volume =       "15",
  pages =        "17--28",
}

@Article{Nie83actaH, 
  author =       "H. Riis Nielson",
  title =        "Computation Sequences: a Way to Characterize 
                  Classes of Attribute Grammars",
  journal =      "Acta Informatica",
  year =         "1983",
  volume =       "19",
  pages =        "255--268",
}

@Article{Nie87scpH, 
  author =       "H. Riis Nielson",
  title =        "A {H}oare-like Proof System for Run-time Analysis
                  of Programs",
  journal =      "Science of Computer Programming",
  year =         "1987",
  volume =       "9",
  pages =        "107--136",
}

@Article{Nie82actaF, 
  author =       "F. Nielson",
  title =        "A Denotational Framework for Data Flow Analysis",
  journal =      "Acta Informatica",
  year =         "1982",
  volume =       "18",
  pages =        "265--287",
}

@Article{Nie85toplasF, 
  author =       "F. Nielson",
  title =        "Program Transformations in a Denotational Setting",
  journal =      "{ACM} Transactions on Programming Languages 
                  and Systems",
  year =         "1985",
  volume =       "7",
  number =       "3",
  pages =        "359--379",
}

@Article{Nie88infcomp, 
  author =       "F. Nielson",
  title =        "Strictness Analysis and Denotational 
                  Abstract Interpretation",
  journal =      "Information and Computation",
  year =         "1988",
  volume =       "76",
  number =       "1",
  pages =        "29--92",
  info =         "(\cite{Nie87popl_str} is an abbreviated version)",
}

@Article{NiNi88tcs_cg,  
  author =       "F. Nielson and H. Riis Nielson ",
  title =        "Two-Level Semantics and Code Generation",
  journal =      "Theoretical Computer Science",
  year =         "1988",
  volume =       "56",
  pages =        "59--133",
}

@Article{NiNi88scp_bta,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Automatic Binding Time Analysis for a Typed
                  $\lambda$-Calculus",
  journal =      "Science of Computer Programming",
  year =         "1988",
  volume =       "10",
  pages =        "139--176",
  info =         "(\cite{NiNi88popl_bta} is an abbreviated version)",
}

@Article{Nie89tcs_ai, 
  author =       "F. Nielson",
  title =        "Two-Level Semantics and Abstract Interpretation",
  journal =      "Theoretical Computer Science --- 
                  Fundamental Studies",
  year =         "1989",
  volume =       "69",
  pages =        "117--242",
}

@Article{NiNi90tcs,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Functional Completeness of the Mixed 
                  $\lambda$-Calculus
                  and Combinatory Logic",
  journal =      "Theoretical Computer Science",
  year =         "1990",
  volume =       "70",
  pages =        "99--126",
}

@Article{NiNi91jfp,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Using Transformations in the Implementation of
                  Higher-order Functions",
  journal =      "Journal of Functional Programming",
  year =         "1991",
  volume =       "1",
  number =       "4",
  pages =        "459--494",
  info =         "(\cite{NiNi89fpca} is an abbreviated version)",
}

@Article{NiNi92ist,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Forced Transformations of {O}ccam Programs",
  journal =      "Information and Software Technology",
  year =         "1992",
  volume =       "34",
  number =       "2",
  pages =        "91--96",
}

@Article{NiNi92jlc,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Bounded Fixed-Point Iteration",
  journal =      "Journal of Logic and Computation",
  year =         "1992",
  volume =       "2",
  number =       "4",
  pages =        "441--464",
  info =         "(\cite{NiNi92popl} is an abbreviated version)",
}

@Article{NiNi94scp,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "The tensor product in {W}adler's analysis 
                  of lists",
  journal =      "Science of Computer Programming",
  year =         "1994",
  volume =       "22",
  pages =        "327--354",
  info =         "(\cite{NiNi92esop} is an abbreviated version)",
}

@Article{NiNi96tcs_cml,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "From {CML} to its Process Algebra",
  journal =      "Theoretical Computer Science",
  year =         "1996",
  volume =       "155",
  pages =        "179--219",
  info =         "(\cite{NiNi93concur} is an abbreviated version)",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96tcs_cml.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96tcs_cml.ps}",
}

@Article{NiNi96njc_term,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Operational Semantics of Termination Types",
  journal =      "Nordic Journal of Computing",
  year =         "1996",
  volume =       "3",
  pages =        "144--187",
}

@Article{ANN97jfp,  
  author =       "T. Amtoft and F. Nielson and H. Riis Nielson",
  title =        "Type and Behaviour Reconstruction for Higher-Order
                  Concurrent Programs",
  journal =      "Journal of Functional Programming",
  year =         "1997",
  volume =       "7",
  number =       "3",
  pages =        "321--347",
}

@Article{SNN97tot,  
  author =       "K. L. Solberg and H. Riis Nielson and F. Nielson",
  title =        "Strictness and Totality Analysis",
  journal =      "Science of Computer Programming",
  year =         "1998",
  volume =       "31",
  number =       "1",
  pages =        "113--145",
  info=          "(\cite{NiNi94sas} is an abbreviated version)",
}

@Article{ANN98sttt,  
  author=        "T. Amtoft and H. Riis Nielson and F. Nielson",
  title =        "Behaviour Analysis for Validating Communication
                  Patterns",
  journal =    	 "Software Tools for Technology Transfer",
  volume =       "2",
  number =       "1",
  pages =        "13-28",
  year =         "1998",
}

@Article{BDNN00ic,  
  author =       "C. Bodei and P. Degano and F. Nielson 
                  and H. Riis Nielson",
  title =        "Static Analysis for the $\pi$-calculus with
                  Applications to Security",
  journal =      "Information and Computation",
  volume =       "to appear",
  year =         "2000",
}


%%%%%%%%%%%%%%%%%%%%%%
% contributed chapters  
%%%%%%%%%%%%%%%%%%%%%%

@InCollection{Nie87aiF, 
  author =       "F. Nielson",
  title =        "Towards a Denotational Theory of 
                  Abstract Interpretation",
  booktitle =    "Abstract Interpretation of Declarative Languages",
  publisher =    "Ellis Horwood",
  year =         "1987",
  editor =       "S. Abramsky and C. Hankin",
  pages =        "219--245",
}

@InCollection{JoNi95, 
  author =       "N. D. Jones and F. Nielson",
  title =        "Abstract Interpretation: A Semantics-Based Tool 
                  for Program Analysis",
  booktitle =    "Handbook of Logic in Computer Science",
  publisher =    "Oxford University Press",
  year =         "1995",
  editor =       "S. Abramsky and D. M. Gabbay and T. S. E. Maibaum",
  volume =       "4",
  pages =        "527--636",
}

@InCollection{NiNi96mlwc,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Communication Analysis for Concurrent {ML}",
  booktitle =    "{ML} with Concurrency",
  publisher =    "Springer-Verlag",
  year =         "1997",
  series =       "Monographs in Computer Science",
  pages =         "185--235",
}

@InCollection{PoSuEfint,  
  author =       "H. Riis Nielson and F. Nielson and T. Amtoft",
  title =        "Polymorphic Subtyping for Effect Analysis: 
                  The Static Semantics",
  booktitle =    "Analysis and Verification of 
                  Multiple-Agent Languages",
  publisher =    "Springer-Verlag",
  year =         "1997",
  editor =       "M. Dam",
  number =       "1192",
  series =       "Lecture Notes in Computer Science",
  pages =         "141--171",
}

@InCollection{PoSuEfsem,  
  author =       "T. Amtoft and F. Nielson and H. Riis Nielson and J. Ammann",
  title =        "Polymorphic Subtyping for Effect Analysis: 
                  The Dynamic Semantics",
  booktitle =    "Analysis and Verification of 
                  Multiple-Agent Languages",
  publisher =    "Springer-Verlag",
  year =         "1997",
  editor =       "M. Dam",
  number =       "1192",
  series =       "Lecture Notes in Computer Science",
  pages =        "172--206",
}

@InCollection{PoSuEfalg,  
  author =       "F. Nielson and H. Riis Nielson and T. Amtoft",
  title =        "Polymorphic Subtyping for Effect Analysis: 
                  The Algorithm",
  booktitle =    "Analysis and Verification of 
                  Multiple-Agent Languages",
  publisher =    "Springer-Verlag",
  year =         "1997",
  editor =       "M. Dam",
  number =       "1192",
  series =       "Lecture Notes in Computer Science",
  pages =        "207--243",
}

@Article{NiNi98hoots,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Flow Logics and Operational Semantics",
  journal =      "Electronic Notes of Theoretical
                  Computer Science",
  year =         "1998",
  volume =       "10",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98hoots.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98hoots.ps}",
}

@InCollection{Nie99cml, 
  author =       "F. Nielson",
  title =        "Validating Programs in {C}oncurrent {ML}",
  booktitle =    "Research Directions in Parallel Functional Programming",
  publisher =    "Springer-Verlag",
  year =         "1999",
  editor =       "K. Hammond and G. Michaelson",
  pages =        "361--378",
}

@InCollection{NiNi99tes,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Type and {E}ffect {S}ystems",
  booktitle =    "Correct System Design",
  publisher =    "Springer-Verlag",
  year =         "1999",
  editor =       "E. R. Olderog and B. Steffen",
  number =       "1710",
  series =       "Lecture Notes in Computer Science",
  pages =        "114--136",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi99tes.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi99tes.ps}",
}

%%%%%%%%%%%%%%% 
% miscellaneous  
%%%%%%%%%%%%%%%

@Misc{NiNi86georgeff,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Comments on {G}eorgeff's `Transformation 
                  and Reduction
                  Strategies for Typed Lambda Expressions'",
  note =         "ACM Transactions on Programming Languages 
                  and Systems vol. 8 no. 3 pp. 406--407, 1986",
}

@Misc{HaNi96sympH, 
  author =       "C. L. Hankin and H. Riis Nielson (editors)",
  title =        "Symposium on Models of Programming Languages 
                  and Computation",
  howpublished = "ACM Computing Surveys vol. 28 no. 2",
  year =         "1996",
  pages =        "293--294",
}

@Misc{Nie96atesF, 
  author =       "F. Nielson",
  title =        "Annotated Type and Effect Systems",
  howpublished = "ACM Computing Surveys vol.\ 28 no.\ 2",
  year =         "1996",
  pages =        "344--345",
  note =         "(Invited position statement for the Symposium on 
                  Models of Programming Languages and Computation)",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96atesF.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96atesF.ps}",
}

@Misc{HNP96sdcs, 
  author =       "C. L. Hankin and H. Riis Nielson and 
                  J. Palsberg (editors)",
  title =        "Strategic Directions in Computer Science: Models of
                  Programming Languages",
  howpublished = "ACM Computing Surveys vol. 28 no. 4",
  year =         "1996",
}

@Misc{HNP97sdcs2, 
  author =       "C. L. Hankin and H. Riis Nielson and J. Palsberg (editors)",
  title =        "Strategic Directions in Computer Science: Models of
                  Programming Languages",
  howpublished = "ACM Sigplan Notices",
  year =         "vol. 32 no. 1, 1997",
}

@Misc{Nie96popaF, 
  author =       "F. Nielson",
  title =        "Perspectives on Program Analysis",
  howpublished = "ACM Sigplan Notices",
  year =         "vol. 32 no. 1, 1997",
  note =         "Invited position statement for the {ACM} meeting on
                  Strategic Directions in Computer Science: Models of
                  Programming Languages",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96popaF.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96popaF.ps}",
}  

@InCollection{Nie97stockholm, 
  author=        "F. Nielson et al.",
  title =        "Logical and Operational Methods in the Analysis of
                  Programs and Systems",
  booktitle =    "Proceedings of the Fifth {LOMAPS} Workshop",
  publisher =    "Springer-Verlag",
  year =         "1997",
  editor =       "M. Dam",
  number =       "1192",
  series =       "Lecture Notes in Computer Science",
  pages =        "1--21",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie97stockholm.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie97stockholm.ps}",
}

@Misc{HaNi95dagstuhl, 
  author =       "C. L. Hankin and H. Riis Nielson (editors)",
  title =        "New Trends in the Integration of Paradigms",
  howpublished = "Schloss Dagstuhl report 126, 
                  Internationales Begegnungs- 
                  und Forschungszentrum f{u}r Informatik",
  year =         "1995",
}

@Misc{NiNi96eom,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Analysis of Programs",
  howpublished = "Encyclopedia of Mathematics,
                  Supplement Volume I, Kluwer, 1997",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96eom.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96eom.ps}",
}


@Misc{Nie98esop, 
author       = "H. Riis Nielson",
title        = "Special issue on the 6th European 
                Symposium on Programming", 
howpublished = "Science of Computer Programming vol.\ 32 
                numbers 1--3",
year         = "1998", 
pages        = "1--2",
} 

@Misc{NiSa99dagstuhl, 
  author =       "H. Riis Nielson and Mooly Sagiv (editors)",
  title =        "Program Analysis",
  howpublished = "Schloss Dagstuhl report 236, 
                  Internationales Begegnungs- 
                  und Forschungszentrum f{u}r Informatik",
  year =         "1999",
}

@Misc{BDNN00sec,
author =       "C. Bodei and P. Degano and H. Riis Nielson
                       and F. Nielson",
title =        "Security Analysis using Flow Logics",
pages =        "112--129",
howpublished = "EATCS Bulletin vol. 70; an extended version is
                to be published by World Scientific",
year =         "2000",
htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN00sec.txt}
                \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN00sec.ps}",
}

%%%%%%%%%%%%%%%%%%%
% conference papers  
%%%%%%%%%%%%%%%%%%%

@InProceedings{Nie83indiaH, 
  author =       "H. Riis Nielson",
  title =        "Proof Systems for Computation Time",
  booktitle =    "Proc.~Third Conference on Foundations of Software 
                  Technology and Theoretical Computer Science",
  year =         "1983",
}

@InProceedings{Nie85hunH, 
  author =       "H. Riis Nielson",
  title =        "A {H}oare-like Proof System for Total 
                  Correctness of
                  Nested Recursive Procedures",
  booktitle =    "Proc.~Fourth Hungarian Computer Science Conference",
  year =         "1985",
}

@InProceedings{MyNi83icalp, 
  author =       "A. Mycroft and F. Nielson",
  title =        "Strong Abstract Interpretation using 
                  Power Domains",
  booktitle =    "Proc.~ICALP'83",
  year =         "1983",
  volume =       "154",
  series =       "Lecture Notes in Computer Science",
  pages =        "536--547",
  publisher =    "Springer-Verlag",
}

@InProceedings{Nie83indiaF, 
  author =       "F. Nielson",
  title =        "Towards Viewing Nondeterminism as 
                  Abstract Interpretation",
  booktitle =    "Proc.~Foundations of Software Technology and
                  Theoretical Computer Science",
  year =         "1983",
}

@InProceedings{Nie83hun_tensor, 
  author =       "F. Nielson",
  title =        "Tensor Products Generalize the Relational
                  Data Flow Analysis Method",
  booktitle =    "Proc.~Fourth Hungarian Computer 
                  Science Conference",
  year =         "1985",
  pages =        "211--225",
}

@InProceedings{Nie86stacs, 
  author =       "F. Nielson",
  title =        "Abstract Interpretation of 
                  Denotational Definitions",
  booktitle =    "Proc.~STACS'86",
  year =         "1986",
  volume =       "210",
  series =       "Lecture Notes in Computer Science",
  pages =        "1--20",
  publisher =    "Springer-Verlag",
}

@InProceedings{Nie86pdo_exp, 
  author =       "F. Nielson",
  title =        "Expected Forms of Data Flow Analysis",
  booktitle =    "Programs as Data Objects",
  year =         "1986",
  volume =       "217",
  series =       "Lecture Notes in Computer Science",
  pages =        "172--191",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi86esop_prag,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Pragmatic Aspects of Two-Level 
                  Denotational Meta-Languages",
  booktitle =    "Proc.~ESOP'86",
  year =         "1986",
  volume =       "213",
  series =       "Lecture Notes in Computer Science",
  pages =        "133--143",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi86pdo_cg,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Code Generation from Two-Level 
                  Denotational Meta-Languages",
  booktitle =    "Programs as Data Objects",
  year =         "1986",
  volume =       "217",
  series =       "Lecture Notes in Computer Science",
  pages =        "192--205",
  publisher =    "Springer-Verlag",
}

@InProceedings{Nie86esop_corr, 
  author =       "F. Nielson",
  title =        "Correctness of Code Generation from a Two-Level 
                  Meta-Language (Extended Abstract)",
  booktitle =    "Proc.~ESOP'86",
  year =         "1986",
  volume =       "213",
  series =       "Lecture Notes in Computer Scienc",
  pages =        "30--40",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi86lfp,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Semantics Directed Compiling for
                  Functional Languages",
  booktitle =    "Proc.~{ACM} Conference on {LISP} and 
                  Functional Programming",
  year =         "1986",
  pages =        "249--257",
}

@InProceedings{Nie87popl_str, 
  author =       "F. Nielson",
  title =        "Strictness Analysis and Denotational Abstract
                  Interpretation (Extended Abstract)",
  booktitle =    "Proc.~{ACM} Conference on Principles of 
                  Programming Languages (POPL)",
  year =         "1987",
  pages =        "120--131",
}

@InProceedings{Nie88pe, 
  author =       "F. Nielson",
  title =        "A Formal Type System for Comparing Partial Evaluators",
  booktitle =    "Proc.~Partial Evaluation and Mixed Computation",
  year =         "1988",
  editor =       "D. Bj{\o}rner and A. P. Ershov and N. D. Jones",
  pages =        "349--384",
  publisher =    "North-Holland",
}

@InProceedings{NiNi88popl_bta,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Automatic Binding Time Analysis for a Typed 
                  $\lambda$-Calculus (Extended Abstract)",
  booktitle =    "Proc.~{ACM} Conference on Principles of Programming 
                  Languages (POPL)",
  year =         "1988",
  pages =        "98--106",
}

@InProceedings{NiNi88esop,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "2-Level $\lambda$-Lifting",
  booktitle =    "Proc.~CAAP \& ESOP '88",
  year =         "1988",
  volume =       "300",
  series =       "Lecture Notes in Computer Science",
  pages =        "328--343",
  publisher =    "Springer-Verlag",
}

@InProceedings{Nie89tpl, 
  author =       "F. Nielson",
  title =        "The Typed $\lambda$-calculus with 
                  First-Class Processes",
  booktitle =    "Proc.~PARLE'89",
  year =         "1989",
  volume =       "366",
  series =       "Lecture Notes in Computer Science",
  pages =        "357--373",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi89icci,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "The Mixed $\lambda$-Calculus and Combinatory Logic 
                  (an overview)",
  booktitle =    "Computing and Information 1989",
  year =         "1989",
  pages =        "39--45",
  publisher =    "North-Holland",
}

@InProceedings{NiNi89fpca,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Transformations on Higher-order Functions",
  booktitle =    "Proc.~FPCA'89",
  year =         "1989",
  pages =        "129--143",
  publisher =    "ACM Press",
}

@InProceedings{NiNi90eureka,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Eureka Definitions for Free! {\em or\/} 
                  Disagreement
                  Points for Fold/Unfold Transformations",
  booktitle =    "Proc.~ESOP'90",
  year =         "1990",
  volume =       "432",
  series =       "Lecture Notes in Computer Science",
  pages =        "291--305",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi90lfp,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Context Information for Lazy Code Generation",
  booktitle =    "Proc.~{LISP} and Functional Programming",
  year =         "1990",
  pages =        "251--263",
  publisher =    "ACM Press",
}

@InProceedings{NiNi92popl,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Bounded Fixed Point Iteration",
  booktitle =    "Proc.~POPL'92",
  year =         "1992",
  pages =        "71--82",
  publisher =    "ACM Press",
}

@InProceedings{NiNi92esop,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "The tensor product in {W}adler's analysis of lists",
  booktitle =    "Proc.~ESOP'92",
  year =         "1992",
  volume =       "582",
  series =       "Lecture Notes in Computer Science",
  pages =        "351--370",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi92lfp,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Finiteness Conditions for Fixed Point Iteration",
  booktitle =    "Proc.~Lisp and Functional Programming (LFP)",
  year =         "1992",
  pages =        "96--108",
  publisher =    "ACM Press",
  info =         "(An extended version is available as report 
                   DAIMI PB-384, Aarhus University, 1992)",
}

@InProceedings{SNN92,  
  author =       "K. L. Solberg and H. Riis Nielson and F. Nielson",
  title =        "Inference Systems for Binding Time Analysis",
  booktitle =    "Proc.~Workshop on Static Program Analysis",
  year =         "1992",
  series =       "report BIGRE 81-82",
  pages =        "247--254",
  publisher =    "University of Bordeaux",
}

@InProceedings{NiNi93layered,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Layered Predicates",
  booktitle =    "Proc.~REX'92 workshop on 
                  Semantics --- foundations and applications",
  year =         "1993",
  volume =       "666",
  series =       "Lecture Notes in Computer Science",
  pages =        "425--456",
  publisher =    "Springer-Verlag",
}

@InProceedings{NiNi93concur,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "From {CML} to Process Algebras",
  booktitle =    "Proc. CONCUR'93",
  year =         "1993",
  volume =       "715",
  series =       "Lecture Notes in Computer Science",
  pages =        "493--508",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi93concur.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi93concur.ps}",
}

@InProceedings{NiNi93wsa,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Finiteness Conditions for Strictness Analysis",
  booktitle =    "Proc. of Workshop on Static Program Analysis",
  year =         "1993",
  volume =       "724",
  series =       "Lecture Notes in Computer Science",
  pages =        "194--205",
  publisher =    "Springer-Verlag",
  info =         "(An extended version is available as 
                  report DAIMI PB-447)"
}

@InProceedings{NiNi94popl,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Higher-Order Concurrent Programs with 
                  Finite Communication Topology",
  booktitle =    "ACM Conference on Principles of 
                  Programming Languages",
  year =         "1994",
  pages =        "84--97",
  publisher =    "ACM Press",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94popl.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94popl.ps}",
}

@InProceedings{NiNi94ccl,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Constraints for Polymorphic Behaviours 
                  of {C}oncurrent {ML}",
  booktitle =    "Proc.~Constraints 
                  in Computational Logics",
  year =         "1994",
  volume =       "845",
  series =       "Lecture Notes in Computer Science",
  pages =        "73-88",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94ccl.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94ccl.ps}",
}

@InProceedings{NiNi94sas,  
  author =       "K. L. Solberg and H. Riis Nielson and F. Nielson",
  title =        "Strictness and Totality Analysis",
  booktitle =    "Proc.~Static Analysis Symposium (SAS)",
  year =         "1994",
  volume =       "864",
  series =       "Lecture Notes in Computer Science",
  pages =        "408--422",
  publisher =    "Springer-Verlag",
  info =         "(An extended version is available as 
                  report DAIMI PB-474)",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94sas.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi94sas.ps}",
}

@InProceedings{NiNi95tapsoft,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Static and Dynamic Processor Allocation 
                  for Higher-Order
                  Concurrent Languages",
  booktitle =    "Proc.~TAPSOFT",
  year =         "1995",
  series =       "Lecture Notes in Computer Science",
  pages =        "590--604",
  volume =       "915",
  publisher =    "Springer-Verlag",
  info =         "(An extended version is available as 
                  report DAIMI PB-483)",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi95tapsoft.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi95tapsoft.ps}",
}

@InProceedings{NiNi96pe,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Multi-Level Lambda-Calculi: an Algebraic Description",
  booktitle =    "Partial Evaluation",
  year =         "1996",
  volume =       "1110",
  series =       "Lecture Notes in Computer Science",
  pages =        "338--354",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96pe.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi96pe.ps}",
}

@InProceedings{Nie96sas, 
  author =       "F. Nielson",
  title =        "Semantics-Directed Program Analysis: 
                  a Tool-Maker's Perspective",
  booktitle =    "Proc.~Static Analysis Symposium (SAS)",
  year =         "1996",
  number =       "1145",
  series =       "Lecture Notes in Computer Science",
  pages =        "2--21",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96sas.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/Nie96sas.ps}",
}

@InProceedings{NiNi97popl,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "Infinitary Control Flow Analysis: 
                  a Collecting Semantics for Closure Analysis",
  booktitle =    "Proc.~POPL'97",
  year =         "1997",
  publisher =    "ACM Press",
  pages =        "332--345",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi97popl.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi97popl.ps}",
}

@InProceedings{GNN97cml,  
  author =       "K.L.S. Gasser and F. Nielson and H. Riis Nielson",
  title =        "Systematic realisation of control flow analyses
                 for {CML}",
  booktitle =    "Proc.~ICFP'97",
  year =         "1997",
  publisher =    "ACM Press",
  pages =        "38--51",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/GNN97cml.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/GNN97cml.ps}",
}

@InProceedings{NiNi97pepm,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "A Prescriptive Framework for Designing Multi-Level
                 Lambda-Calculi",
  booktitle =    "Proc.~PEPM'97",
  year =         "1997",
  publisher =    "ACM Press",
  pages =        "193--202",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi97pepm.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi97pepm.ps}",
}

@InProceedings{NAN98case,  
  author=        "H. Riis Nielson and T. Amtoft and F. Nielson",
  title =        "Behaviour Analysis and Safety Conditions:
                  A Case Study in {CML}",
  booktitle =    "Proc.~FASE'98",
  year =         "1998",
  pages =        "255--269",
  number =       "1382",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NAN98case.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NAN98case.ps}",
}

@InProceedings{NiNi98cc,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Flow Logics for Constraint Based Analysis",
  booktitle =    "Proc.~CC'98",
  year =         "1998",
  pages =        "109--127",
  number =       "1383",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98cc.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98cc.ps}",
}

@InProceedings{NiNi98ioc,  
  author =       "F. Nielson and H. Riis Nielson",
  title =        "The Flow Logic of Imperative Objects",
  booktitle =    "Proc.~MFCS'98",
  year =         "1998",
  pages =        "220--228",
  number =       "1450",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98ioc.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi98ioc.ps}",
}

@InProceedings{BDNN98pi,  
  author=        "C. Bodei and P. Degano and F. Nielson
                  and H. Riis Nielson",
  title =        "Control Flow Analysis for the $\pi$-calculus",
  booktitle =    "Proc.~CONCUR'98",
  year =         "1998",
  pages =        "84--98",
  number =       "1466",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN98pi.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN98pi.ps}",
}

@InProceedings{BDNN99pi,  
  author=        "C. Bodei and P. Degano and F. Nielson
                  and H. Riis Nielson",
  title =        "Static Analysis of Processes for No Read-Up and
		  No Write-Down",
  booktitle =    "Proc.~FOSSACS'99",
  year =         "1999",
  pages =        "120--134",
  number =       "1578",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN99pi.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/BDNN99pi.ps}",
}

@InProceedings{NiNi99icfa,  
  author=        "F. Nielson and H. Riis Nielson",
  title =        "Interprocedural Control Flow Analysis",
  booktitle =    "Proc.~ESOP'99",
  year =         "1999",
  pages =        "20--39",
  number =       "1576",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi99icfa.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi99icfa.ps}",
}

@InProceedings{HJNN99ai,  
  author=        "R. R. Hansen and J. G. Jensen and 
                  F. Nielson and H. Riis Nielson",
  title =        "Abstract Interpretation of Mobile Ambients",
  booktitle =    "Proc.~SAS'99",
  pages =        "134--148",
  number =       "1694",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  year =         "1999",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/HJNN99ai.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/HJNN99ai.ps}",
}

@InProceedings{NNHJ99fire,  
  author =       "F. Nielson and H. Riis Nielson and 
                  R. R. Hansen and J. G. Jensen",
  title =        "Validating Firewalls in Mobile Ambients",
  booktitle =    "Proc.~CONCUR'99",
  pages =        "463--477",
  number =       "1664",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  year =         "1999",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NNHJ99fire.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NNHJ99fire.ps}",
}

@InProceedings{NiNi00popl,  
  author =       "H. Riis Nielson and F. Nielson",
  title =        "Shape Analysis for Mobile Ambients",
  booktitle =    "Proc.~POPL'00",
  pages =        "142--154",
  publisher =    "ACM Press",
  year =         "2000",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi00popl.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiNi00popl.ps}",
}

@InProceedings{NiSe01esop,
  author=        "F. Nielson and H. Seidl",
  title =        "Control-Flow Analysis in Cubic Time",
  booktitle =    "Proc.~ESOP'01",
  year =         "2001",
  pages =        "??--??",
  number =       "??",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  htmlonly =     "\htmladdnormallink{[Abstract]}{
                    http://www.daimi.au.dk/~fn/Papers/NiSe01esop.txt}
                  \htmladdnormallink{[Postscript]}{
                    http://www.daimi.au.dk/~fn/Papers/NiSe01esop.ps}",

}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% reports (only recent ones)  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
