Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ninja Marnau

PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams

2008English

PDL-based Framework for Reasoning About Actions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

A Formal Framework for Reasoning About Opportunistic Propensity in Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
2019English

A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems

International Journal of Information and Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2011English

A Capacity-Based Framework Encompassing Belnap-Dunn Logic for Reasoning About Multisource Information

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

Case-Based Reasoning and Law

Knowledge Engineering Review
Artificial IntelligenceSoftware
2005English

A Framework for Reasoning on Component Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy