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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5216075 | 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
