Cristian Prisacariu

17 papers B 3C 2Misc 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2014 — conf
Actor Network Procedures as Psi-calculi for Security Ceremonies.
GraMSec
Cristian Prisacariu
2014 — conf
Concurrency Models with Causality and Events as Psi-calculi.
ICE
Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt
2014 J jnl
Extensions of Configuration Structures.
CoRR
Cristian Prisacariu
2014 J jnl
Higher Dimensional Modal Logic.
CoRR
Cristian Prisacariu
2013 Misc conf
Compositional Reasoning for Multi-modal Logics.
LFCS
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack
2012 J jnl
A dynamic deontic logic for complex contracts.
J. Log. Algebraic Methods Program.
Cristian Prisacariu, Gerardo Schneider
2012 J jnl
The Glory of the Past and Geometrical Concurrency
CoRR
Cristian Prisacariu
2012 — conf
The Glory of the Past and Geometrical Concurrency.
Turing-100
Cristian Prisacariu
2010 B conf
Modal Logic over Higher Dimensional Automata.
CONCUR
Cristian Prisacariu
2010 J jnl
Synchronous Kleene algebra.
J. Log. Algebraic Methods Program.
Cristian Prisacariu
2009 C conf
: An Action-Based Logic for Reasoning about Contracts.
WoLLIC
Cristian Prisacariu, Gerardo Schneider
2009 C conf
Abstract specification of legal contracts.
ICAIL
Cristian Prisacariu, Gerardo Schneider
2008 B conf
Run-Time Monitoring of Electronic Contracts.
ATVA
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
2007 — conf
A Formal Language for Electronic Contracts.
FMOODS
Cristian Prisacariu, Gerardo Schneider
2007 B conf
Model Checking Contracts - A Case Study.
ATVA
Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
2006 — conf
Coordination by Timers for Channel-Based Anonymous Communications.
FOCLASA
Gabriel Ciobanu, Cristian Prisacariu
2006 — conf
Timers for Distributed Systems.
QAPL
Gabriel Ciobanu, Cristian Prisacariu