Principles of program analysis F Nielson, HR Nielson, C Hankin Springer, 2015 | 2652 | 2015 |

Semantics with applications: an appetizer HR Nielson, F Nielson Springer Science & Business Media, 2007 | 868* | 2007 |

Two-level functional languages F Nielson, HR Nielson Cambridge university press, 2005 | 237 | 2005 |

Two-level functional languages F Nielson, HR Nielson Cambridge university press, 2005 | 237 | 2005 |

Higher-order concurrent programs with finite communication topology HR Nielson, F Nielson Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 170 | 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 | 169 | 2005 |

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

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 | 154 | 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 | 141 | 2003 |

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 | 122 | 2001 |

Control flow analysis for the π-calculus C Bodei, P Degano, F Nielson, HR Nielson International Conference on Concurrency Theory, 84-98, 1998 | 121 | 1998 |

Automatic binding time analysis for a typed λ-calculus HR Nielson, F Nielson Science of computer programming 10 (2), 139-176, 1988 | 120 | 1988 |

Flow Logic: a multi-paradigmatic approach to static analysis HR Nielson, F Nielson The essence of computation, 223-244, 2002 | 108 | 2002 |

Validating firewalls in mobile ambients F Nielson, HR Nielson, RR Hansen, JG Jensen International Conference on Concurrency Theory, 463-477, 1999 | 100 | 1999 |

Type and effect systems: behaviours for concurrency T Amtoft, F Nielson, HR Nielson IC Press, 1999 | 97 | 1999 |

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

A Succinct Solver for ALFP. F Nielson, H Seidl, HR Nielson Nord. J. Comput. 9 (4), 335-372, 2002 | 90 | 2002 |

Abstract interpretation of mobile ambients RR Hansen, JG Jensen, F Nielson, HR Nielson International Static Analysis Symposium, 134-148, 1999 | 87 | 1999 |

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

Shape analysis for mobile ambients HR Nielson, F Nielson Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 81 | 2000 |