• Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Journal article
2019

Enforcing globally dependent flow policies in message-passing systems

Li, X., Nielson, F. & Nielson, H. R., 1 Oct 2019, In : Journal of Computer Languages. 54, 46 p., 100904.

Research output: Contribution to journalJournal articleResearchpeer-review

2017

A coordination language for databases

Li, X., Wu, X., Lluch Lafuente, A., Nielson, F. & Nielson, H. R., 2017, In : Logical Methods in Computer Science. 13, 1, 52 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
331 Downloads (Pure)

Atomistic Galois insertions for flow sensitive integrity

Nielson, F. & Nielson, H. R., 2017, In : Computer Languages, Systems and Structures. 50, p. 82-107

Research output: Contribution to journalJournal articleResearchpeer-review

Content dependent information flow control

Nielson, H. R. & Nielson, F., 1 Feb 2017, In : Journal of Logical and Algebraic Methods in Programming. 87, p. 6-32

Research output: Contribution to journalJournal articleResearchpeer-review

2016

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Wang, S., Nielson, F., Nielson, H. R. & Zhan, N., 2016, In : Computer Journal. 60, 8, p. 1111-1130

Research output: Contribution to journalJournal articleResearchpeer-review

File
120 Downloads (Pure)
2015

A calculus of quality for robustness against unreliable communication

Nielson, H. R., Nielson, F. & Vigo, R., 2015, In : The Journal of Logic and Algebraic Programming. 84, 5, p. 611-639

Research output: Contribution to journalJournal articleResearchpeer-review

2014

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Yuksel, E., Nielson, H. R., Nielson, F., Zhu, H. & Huang, H., 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 421-435

Research output: Contribution to journalJournal articleResearchpeer-review

The logic of XACML

Ramli, C. D. P. K., Nielson, H. R. & Nielson, F., 2014, In : Science of Computer Programming. 83, p. 80-105

Research output: Contribution to journalJournal articleResearchpeer-review

2013

Bisimulations meet PCTL equivalences for probabilistic automata

Song, L., Zhang, L., Godskesen, J. C. & Nielson, F., 2013, In : Logical Methods in Computer Science. 9, 2, 34 p., 7.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
175 Downloads (Pure)

Predictive access control for distributed computation

Yang, F., Hankin, C., Nielson, F. & Nielson, H. R., 2013, In : Science of Computer Programming. 78, 9, p. 1264-1277

Research output: Contribution to journalJournal articleResearchpeer-review

Reachability for Finite-state Process Algebras Using Horn Clauses

Skrypnyuk, N. & Nielson, F., 2013, In : International Journal of Foundations of Computer Science. 24, 2, p. 283-302

Research output: Contribution to journalJournal articleResearchpeer-review

2012

Efficient CSL Model Checking Using Stratification

Zhang, L., Jansen, D. N., Nielson, F. & Hermanns, H., 2012, In : Logical Methods in Computer Science. 8, 2, p. Paper 17 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
185 Downloads (Pure)

Flow Logic for Process Calculi

Nielson, H. R., Nielson, F. & Pilegaard, H., 2012, In : A C M Computing Surveys. 44, 1, p. Article No. 3 39 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Static Analysis of IMC

Skrypnyuk, N., Nielson, F. & Pilegaard, H., 2012, In : Journal of Logic and Algebraic Programming. 81, 4, p. 522-540

Research output: Contribution to journalJournal articleResearchpeer-review

2 Downloads (Pure)
2011

CaPiTo: protocol stacks for services

Gao, H., Nielson, F. & Nielson, H. R., 2011, In : Formal Aspects of Computing. 23, 4, p. 541-565

Research output: Contribution to journalJournal articleResearchpeer-review

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems

Hernandez, A. M., Nielson, F. & Nielson, H. R., 2011, In : Scientific Annals of Computer Science. 21, 1, p. 107-149

Research output: Contribution to journalJournal articleResearchpeer-review

Modal abstractions of concurrent behavior

Nielson, F., Nanz, S. & Nielson, H. R., 2011, In : A C M Transactions on Computational Logic. 12, 3, p. 18

Research output: Contribution to journalJournal articleResearchpeer-review

2010

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yuksel, E., Nielson, H. R. & Nielson, F., Apr 2010, In : Computer Journal. 54, 4, p. 589-601

Research output: Contribution to journalJournal articleResearchpeer-review

Static analysis of topology-dependent broadcast networks

Nanz, S., Nielson, F. & Nielson, H. R., 2010, In : Information and Computation. 208, 2, p. 117-139

Research output: Contribution to journalJournal articleResearchpeer-review

2009

A monotone framework for CCS

Nielson, H. R. & Nielson, F., 2009, In : Computer Languages, Systems and Structures. 35, 4, p. 365-394

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Pathway Analysis for BioAmbients

Pilegaard, H., Nielson, F. & Nielson, H. R., 2008, In : Journal of Logic and Algebraic Programming. 77, 1-2, p. 92-130

Research output: Contribution to journalJournal articleResearchpeer-review

Relational Analysis for Delivery of Services

Nielson, F., Nielson, H. R., Bauer, J., Nielsen, C. R. & Pilegaard, H., 2008, In : Lecture Notes in Computer Science. 4912, p. 73-89

Research output: Contribution to journalJournal articleResearchpeer-review

2007

Control Flow Analysis for BioAmbients

Nielson, F., Nielson, H. R., Priami, C. & Rosa, D. S. D., 2007, In : Electronic Notes in Theoretical Computer Science. 180, 3, p. 65-79

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
97 Downloads (Pure)

Heuristics for Safety and Security Constraints

Nielson, F. & Nielson, H. R., 2007, In : Electronic Notes in Theoretical Computer Science. 172, p. 523-543

Research output: Contribution to journalJournal articleResearchpeer-review

What is a free name in a process algebra?

Nielson, F., Nielson, H. R. & Pilegaard, H., 2007, In : Information Processing Letters. 103, 5, p. 188-194

Research output: Contribution to journalJournal articleResearchpeer-review

2005

On evaluating the performance of security protocols

Bodei, C., Buchholtz, M., Curti, M., Degano, P., Nielson, F., Nielson, H. R. & Priami, C., 2005, In : Parallel Computing Technologies. 8th International Conference, PaCT 2005. Proceedings (Lecture Notes in Computer Science Vol. 3606. p. 1-5

Research output: Contribution to journalJournal articleResearchpeer-review

Performance Evaluation of Security Protocols Specified in LySa

Bodei, C., Curti, M., Degano, P., Buchholtz, M., Nielson, F., Nielson, H. R. & Priami, C., 2005, In : Electronic Notes in Theoretical Computer Science. 112, p. 167-189

Research output: Contribution to journalJournal articleResearchpeer-review

Static Validation of Security Protocols

Bodei, C., Buchholtz, M., Degano, P., Nielson, H. R. & Nielson, F., 2005, In : Journal of Computer Security. 13, 3, p. 347-390

Research output: Contribution to journalJournal articleResearchpeer-review

2004

A Calculus for Control Flow Analysis of Security Protocols

Buchholtz, M., Nielson, H. R. & Nielson, F., 2004, In : International Journal of Information Security. 2, 3-4, p. 145-167

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
181 Downloads (Pure)

Cryptographic Analysis in Cubic Time

Nielson, F., Nielson, H. R. & Seidl, H., 2004, In : Electronic Notes in Theoretical Computer Science. 62, 17, p. 1

Research output: Contribution to journalJournal articleResearchpeer-review

2003

Abstract Interpretation of Mobile Ambients

Nielson, F., Hansen, R. R. & Nielson, H. R., 2003, In : Science of Computer Programming. 47, 2-3, p. 145-175

Research output: Contribution to journalJournal articleResearchpeer-review

2002

A Succinct Solver for ALFP

Nielson, F., Nielson, H. R. & Seidl, H., 2002, In : Nordic Journal of Computing. 9, p. 335-372

Research output: Contribution to journalJournal articleResearchpeer-review

Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes

Bodei, C., Degano, P., Nielson, H. R. & Nielson, F., 2002, In : Future Generation Computer Systems - The International Journal of eScience. 18, 6, p. 747-756

Research output: Contribution to journalJournal articleResearchpeer-review

Validating Firewalls using Flow Logics

Nielson, F., Nielson, H. R. & Hansen, R. R., 2002, In : Theoretical Computer Science. 283, 2, p. 381-418

Research output: Contribution to journalJournal articleResearchpeer-review

2001

Kleene's Logic with Equality

Nielson, F., Nielson, H. R. & Sagiv, M., 2001, In : Information Processing Letters. 80, 3, p. 131-137

Research output: Contribution to journalJournal articleResearchpeer-review

Shape analysis for mobile ambients

Nielson, H. R. & Nielson, F., 2001, In : Nordic Journal of Computing. 8, 2, p. 233-275

Research output: Contribution to journalJournal articleResearchpeer-review

Static Analysis for the Pi-calculus with Applications to Security

Bodei, C., Degano, P., Nielson, F. & Nielson, H. R., 2001, In : Information and Computation. 168, 1, p. 68-92

Research output: Contribution to journalJournal articleResearchpeer-review

1998

Behaviour Analysis for Validating Communication Patterns

Amtoft, T., Nielson, H. R. & Nielson, F., 1998, In : International Journal on Software Tools for Technology Transfer. 2, 1, p. 13-28

Research output: Contribution to journalJournal articleResearchpeer-review

Flow Logics and Operational Semantics

Nielson, F. & Nielson, H. R., 1998, In : Electronic Notes in Theoretical Computer Science. 10, p. 150-169

Research output: Contribution to journalJournal articleResearchpeer-review

1997

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

Amtoft, T., Nielson, F. & Nielson, H. R., 1997, In : Journal of Functional Programming. 7, 3, p. 321-347

Research output: Contribution to journalJournal articleResearchpeer-review

1996

From CML to its Process Algebra

Nielson, F. & Nielson, H. R., 1996, In : Theoretical Computer Science. 155, 1, p. 179-219

Research output: Contribution to journalJournal articleResearchpeer-review

Operational Semantics of Termination Types

Nielson, F. & Nielson, H. R., 1996, In : Nordic Journal of Computing. 3, 2, p. 144-187

Research output: Contribution to journalJournal articleResearchpeer-review

1992

Bounded Fixed-Point Iteration

Nielson, H. R. & Nielson, F., 1992, In : Journal of Logic and Computation. 2, 4, p. 441-464

Research output: Contribution to journalJournal articleResearchpeer-review

Forced Transformations of Occam Programs

Nielson, F. & Nielson, H. R., 1992, In : Information and Software Technology. 34, 2, p. 91-96

Research output: Contribution to journalJournal articleResearchpeer-review

1991

Using Transformations in the Implementation of Higher-order Functions

Nielson, H. R. & Nielson, F., 1991, In : Journal of Functional Programming. 1, 4, p. 459-494

Research output: Contribution to journalJournal articleResearchpeer-review

1990

Functional completeness of the mixed λ-calculus and combinatory logic

Nielson, H. R. & Nielson, F., 1990, In : Theoretical Computer Science. 70, 1, p. 99-126

Research output: Contribution to journalJournal articleResearchpeer-review

1989

Two-Level Semantics and Abstract Interpretation

Nielson, F., 1989, In : Theoretical Computer Science -- Fundamental Studies. 69, 2, p. 117-242

Research output: Contribution to journalJournal articleResearchpeer-review

1988

Automatic Binding Time Analysis for a Typed Lambda-Calculus

Nielson, H. R. & Nielson, F., 1988, In : Science of Computer Programming. 10, 2, p. 139-176

Research output: Contribution to journalJournal articleResearchpeer-review

Strictness Analysis and Denotational Abstract Interpretation

Nielson, F., 1988, In : Information and Computation. 76, 1, p. 29-92

Research output: Contribution to journalJournal articleResearchpeer-review

Two-Level Semantics and Code Generation

Nielson, F. & Nielson, H. R., 1988, In : Theoretical Computer Science. 56, 1, p. 59-133

Research output: Contribution to journalJournal articleResearchpeer-review