Search the dblp DataBase

Publications of Author

1. Gabriel Ciobanu, Cristian Prisacariu
   Timers for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:81-99 [Journal]
   
2. Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
   Model Checking Contracts - A Case Study. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:82-97 [Conf]
   
3. Cristian Prisacariu, Gerardo Schneider
   A Formal Language for Electronic Contracts. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:174-189 [Conf]
   
4. Gabriel Ciobanu, Cristian Prisacariu
   Coordination by Timers for Channel-Based Anonymous Communications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:3-17 [Journal]
   
5. 
   Run-Time Monitoring of Electronic Contracts. [Citation Graph (, )][DBLP]
   
   
6. 
   Modal Logic over Higher Dimensional Automata. [Citation Graph (, )][DBLP]
   
   
7. 
   Abstract specification of legal contracts. [Citation Graph (, )][DBLP]
   
   
8. 
   : An Action-Based Logic for Reasoning about Contracts. [Citation Graph (, )][DBLP]