Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hanne Riis Nielson

Klaim-Db: A Modeling Language for Distributed Database Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Trust-Based Enforcement of Security Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Computer Journal
Computer Science
2016English

CaPiTo: Protocol Stacks for Services

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2011English

Set-Pi: Set Membership P-Calculus

2015English

Strategic Directions in Research on Programming Languages

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
1996English

The Succinct Solver Suite

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Behaviour Analysis for Validating Communication Patterns

DAIMI Report Series
1997English

Polymorphic Subtyping for Effect Analysis: The Semantics

DAIMI Report Series
1996English

A Flow-Sensitive Analysis of Privacy Properties

20th IEEE Computer Security Foundations Symposium (CSF'07)
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy