Principles of program analysis F Nielson, HR Nielson, C Hankin springer, 2015 | 3159 | 2015 |

Semantics with applications HR Nielson, F Nielson Wiley, 1992 | 1059* | 1992 |

Abstract interpretation: a semantics-based tool for program analysis F Nielson, N Jones Handbook of logic in computer science 4, 527-636, 1994 | 285 | 1994 |

Two-level functional languages F Nielson, HR Nielson Cambridge university press, 1992 | 255 | 1992 |

Type and effect systems F Nielson, HR Nielson, C Hankin, F Nielson, HR Nielson, C Hankin Principles of Program Analysis, 283-363, 1999 | 205 | 1999 |

Higher-order concurrent programs with finite communication topology HR Nielson, F Nielson Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 178 | 1994 |

Static validation of security protocols C Bodei, M Buchholtz, P Degano, F Nielson, HR Nielson Journal of Computer Security 13 (3), 347-390, 2005 | 174 | 2005 |

Infinitary control flow analysis: a collecting semantics for closure analysis F Nielson, HR Nielson Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 164 | 1997 |

Automatic validation of protocol narration C Bodei, M Buchholtz, P Degano, F Nielson, HR Nielson 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 126-140, 2003 | 144 | 2003 |

Automatic binding time analysis for a typed λ-calculus F Nielson, RH Nielson Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988 | 133 | 1988 |

Control flow analysis for the π-calculus C Bodei, P Degano, F Nielson, HR Nielson CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 131 | 1998 |

Static analysis for the π-calculus with applications to security C Bodei, P Degano, F Nielson, HR Nielson Information and Computation 168 (1), 68-92, 2001 | 126 | 2001 |

A denotational framework for data flow analysis F Nielson Acta Informatica 18 (3), 265-287, 1982 | 120 | 1982 |

Two-level semantics and abstract interpretation F Nielson Theoretical Computer Science 69 (2), 117-242, 1989 | 116 | 1989 |

Flow Logic: a multi-paradigmatic approach to static analysis HR Nielson, F Nielson The Essence of Computation: Complexity, Analysis, Transformation, 223-244, 2002 | 115 | 2002 |

Validating firewalls in mobile ambients F Nielson, HR Nielson, RR Hansen, JG Jensen CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999 | 104 | 1999 |

Type and effect systems: behaviours for concurrency T Amtoft, HR Nielson, F Nielson World Scientific, 1999 | 103 | 1999 |

From CML to process algebras F Nielson, HR Nielson International Conference on Concurrency Theory, 493-508, 1993 | 98 | 1993 |

Automated generation of attack trees R Vigo, F Nielson, HR Nielson 2014 IEEE 27th computer security foundations symposium, 337-350, 2014 | 95 | 2014 |

Two-level semantics and code generation F Nielson, HR Nielson Theoretical computer science 56 (1), 59-133, 1988 | 95 | 1988 |