Cristian Prisacariu

	2009
7		Cristian Prisacariu, Gerardo Schneider: Abstract specification of legal contracts. ICAIL 2009: 218-219
6		Cristian Prisacariu, Gerardo Schneider: : An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349
	2008
5		Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407
	2007
4		Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97
3		Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189
2		Gabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007)
	2006
1		Gabriel Ciobanu, Cristian Prisacariu: Timers for Distributed Systems. Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006)

Coauthor Index

1	Gabriel Ciobanu	[1] [2]
2	Marcel Kyas	[5]
3	Gordon J. Pace	[4]
4	Gerardo Schneider	[3] [4] [5] [6] [7]

Colors in the list of coauthors