Cristian Prisacariu

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Prime Implicates

Transaction Processing

Security Protection

Top Venues

J. Log. Algebraic Methods Program.

Publications

Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt
Concurrency Models with Causality and Events as Psi-calculi. ICE (2014)
Cristian Prisacariu
Actor Network Procedures as Psi-calculi for Security Ceremonies. GraMSec (2014)
Cristian Prisacariu
Higher Dimensional Modal Logic. CoRR (2014)
Cristian Prisacariu
Extensions of Configuration Structures. CoRR (2014)
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack
Compositional Reasoning for Multi-modal Logics. LFCS (2013)
Cristian Prisacariu, Gerardo Schneider
A dynamic deontic logic for complex contracts. J. Log. Algebraic Methods Program. 81 (4) (2012)
Cristian Prisacariu
The Glory of the Past and Geometrical Concurrency CoRR (2012)
Cristian Prisacariu
The Glory of the Past and Geometrical Concurrency. Turing-100 (2012)
Cristian Prisacariu
Synchronous Kleene algebra. J. Log. Algebraic Methods Program. 79 (7) (2010)
Cristian Prisacariu
Modal Logic over Higher Dimensional Automata. CONCUR (2010)
Cristian Prisacariu, Gerardo Schneider
: An Action-Based Logic for Reasoning about Contracts. WoLLIC (2009)
Cristian Prisacariu, Gerardo Schneider
Abstract specification of legal contracts. ICAIL (2009)
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
Run-Time Monitoring of Electronic Contracts. ATVA (2008)
Cristian Prisacariu, Gerardo Schneider
A Formal Language for Electronic Contracts. FMOODS (2007)
Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
Model Checking Contracts - A Case Study. ATVA (2007)
Gabriel Ciobanu, Cristian Prisacariu
Coordination by Timers for Channel-Based Anonymous Communications. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Gabriel Ciobanu, Cristian Prisacariu
Timers for Distributed Systems. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)