Cristian Prisacariu
From MaRDI portal
Person:444495
Available identifiers
zbMath Open prisacariu.cristianMaRDI QIDQ444495
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Concurrency models with causality and events as psi-calculi | 2020-02-14 | Paper |
| Compositional reasoning for multi-modal logics | 2015-12-11 | Paper |
| A dynamic deontic logic for complex contracts | 2012-08-14 | Paper |
| Synchronous Kleene algebra | 2010-10-22 | Paper |
| Modal logic over higher dimensional automata | 2010-08-31 | Paper |
| $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts | 2009-07-02 | Paper |
| Run-Time Monitoring of Electronic Contracts | 2008-11-20 | Paper |
| Model Checking Contracts – A Case Study | 2008-07-03 | Paper |
| A Formal Language for Electronic Contracts | 2007-11-28 | Paper |
Research outcomes over time
This page was built for person: Cristian Prisacariu
