Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Flemming Nielson
Klaim-Db: A Modeling Language for Distributed Database Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Trust-Based Enforcement of Security Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Guided System Development Framework: Modeling and Verifying Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis for Proactive Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal
Computer Science
CaPiTo: Protocol Stacks for Services
Formal Aspects of Computing
Theoretical Computer Science
Software
Set-Pi: Set Membership P-Calculus
The Succinct Solver Suite
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
2-Level Λ-Lifting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Correctness of Code Generation From a Two-Level Meta-Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
