Cristian Prisacariu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LFCS | Compositional Reasoning for Multi-modal Logics. | Luca Aceto, Anna Inglfsdttir, Cristian Prisacariu, Joshua Sack |
| 2010 | CONCUR | Modal Logic over Higher Dimensional Automata. | Cristian Prisacariu |
| 2009 | ICAIL | Abstract specification of legal contracts. | Cristian Prisacariu, Gerardo Schneider |
| 2009 | WoLLIC | : An Action-Based Logic for Reasoning about Contracts. | Cristian Prisacariu, Gerardo Schneider |
| 2008 | ATVA | Run-Time Monitoring of Electronic Contracts. | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
| 2007 | ATVA | Model Checking Contracts - A Case Study. | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |