Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Certified symbolic management of financial multi-party contracts
Patrick Bahr, Jost Berthold,
Martin Elsman
Department of Computer Science
17
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Certified symbolic management of financial multi-party contracts'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Domain-specific Languages
100%
Contract Management
100%
Denotational Semantics
100%
Symbolic Management
100%
Multi-party Contracts
100%
Financial Institutions
50%
Contract-based
50%
Type Systems
50%
Domain Analysis
50%
Principle of Causality
50%
Algebraic Properties
50%
Automation Level
50%
Numeric Methods
50%
Haskell
50%
Multiple Parties
50%
Contract Analysis
50%
Software Vulnerability
50%
Inference Methods
50%
Contract Language
50%
Financial Domain
50%
Reduction Semantics
50%
Type Inference
50%
Management Functionality
50%
Financial Contracts
50%
Proof Assistants
50%
Management Software
50%
Computer Science
Domain-specific language
100%
Denotational Semantics
100%
Formalization
50%
Type System
50%