World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
44
Citations
10086
World Ranking
7472
National Ranking
28

Overview

Flemming Nielson is affiliated with the Technical University of Denmark in Denmark. Their research primarily spans the field of Computer Science, with a focus on several subfields such as Artificial Intelligence, Signal Processing, and Computer Networks and Communications.

The scientist's work covers key topics including Security and Verification in Computing, Advanced Malware Detection Techniques, Distributed Systems and Fault Tolerance, Cryptographic Implementations and Security, and Network Security and Intrusion Detection.

Flemming Nielson has published papers in notable venues such as arXiv (Cornell University) and Lecture Notes in Computer Science. Recent publications include:

  • Program Analysis (an Appetizer), 2020, arXiv (Cornell University)
  • Benign Interaction of Security Domains, 2021, Lecture Notes in Computer Science

Frequent collaborators in their research include Hanne Riis Nielson and René Rydhof Hansen.

Publication venues frequented by Flemming Nielson cover:

  • arXiv (Cornell University)
  • Lecture Notes in Computer Science

Their work in Computer Science is reflected in nine publications associated with the field overall.

Best Publications

  • Principles of program analysis

    Flemming Nielson;Hanne R. Nielson;Chris Hankin

  • Semantics With Applications: A Formal Introduction

    Hanne Riis Nielson;Flemming Nielson

  • Abstract interpretation: a semantics-based tool for program analysis

    Neil D. Jones;Flemming Nielson

  • Two-Level Functional Languages

    Flemming Nielson;Hanne Riis Nielson

  • Semantics with Applications: An Appetizer

    Hanne Riis Nielson;Flemming Nielson

  • Type and Effect Systems

    Flemming Nielson;Hanne Riis Nielson

  • Static validation of security protocols

    Chiara Bodei;Mikael Buchholtz;Pierpaolo Degano;Flemming Nielson

  • Higher-Order Concurrent Programs with Finite Communication Topology

    Hanne Riis Nielson;Flemming Nielson

  • Infinitary control flow analysis: a collecting semantics for closure analysis

    Flemming Nielson;Hanne Riis Nielson

  • Automatic validation of protocol narration

    C. Bodei;M. Buchholtz;P. Degano;F. Nielson

  • Control Flow Analysis for the pi-calculus

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Automatic binding time analysis for a typed l-calculus

    H. R. Nielson;F. Nielson

  • Static Analysis for the π-Calculus with Applications to Security

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Higher-order concurrent programs with finite communication topology (extended abstract)

    Hanne Riis Nielson;Flemming Nielson

  • Automatic binding time analysis for a typed l-calculus

    F. Nielson;R. H. Nielson

  • Flow logic: a multi-paradigmatic approach to static analysis

    Hanne Riis Nielson;Flemming Nielson

  • A denotational framework for data flow analysis

    Flemming Nielson

  • Two-level semantics and abstract interpretation

    F. Nielson

  • Shape analysis for mobile ambients

    Hanne Riis Nielson;Flemming Nielson

  • Validating Firewalls in Mobile Ambients

    Flemming Nielson;Hanne Riis Nielson;René Rydhof Hansen;Jacob Grydholt Jensen

Frequent Co-Authors

Hanne Riis Nielson
Hanne Riis Nielson Technical University of Denmark
Chris Hankin
Chris Hankin Imperial College London
Helmut Seidl
Helmut Seidl Technical University of Munich
Corrado Priami
Corrado Priami University of Pisa
Holger Hermanns
Holger Hermanns Saarland University
Rosario Pugliese
Rosario Pugliese University of Florence
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Neil D. Jones
Neil D. Jones University of Copenhagen
Jane Hillston
Jane Hillston University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

The growing demand for tech expertise is making online degrees and alternative career pathways more appealing for Computer Science students. Whether you’re aiming for an entry-level position or considering advanced research, various online options can support your goals.

For those seeking affordability and flexibility, the cheapest online PhD programs in USA offer an accessible pathway to doctoral studies. Likewise, the cheapest Ed.D online program can help education professionals advance their credentials quickly and cost-effectively.

If you want to enter the workforce faster, a 6 month degree course can provide rapid upskilling and a stepping stone into tech careers. Additionally, for those interested in business technology or management, there are many business schools online that offer affordable, accredited programs to enhance your career options.

Exploring these alternatives ensures that aspiring computer scientists can find the right balance between cost, speed, and academic rigor—matching their unique career ambitions.

Best Scientists Citing Flemming Nielson

Trending Scientists

Recently Published Articles