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 |
| Concurrency models with causality and events as psi-calculi (available as arXiv preprint) | 2020-02-14 | Paper |
| Compositional reasoning for multi-modal logics Logical Foundations of Computer Science | 2015-12-11 | Paper |
| A dynamic deontic logic for complex contracts The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
| Synchronous Kleene algebra The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
| Modal logic over higher dimensional automata CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
| $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts Logic, Language, Information and Computation | 2009-07-02 | Paper |
| Run-Time Monitoring of Electronic Contracts Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
| Model Checking Contracts – A Case Study Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
| A Formal Language for Electronic Contracts Lecture Notes in Computer Science | 2007-11-28 | Paper |
Research outcomes over time
This page was built for person: Cristian Prisacariu
