Dejan Jovanovic

	2011
5		Dejan Jovanovic, Leonardo Mendonça de Moura: Cutting to the Chase Solving Linear Integer Arithmetic. CADE 2011: 338-353
4		Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli: CVC4. CAV 2011: 171-177
3		Dejan Jovanovic, Clark Barrett: Sharing Is Caring: Combination of Theories. FroCos 2011: 195-210
	2010
2		Dejan Jovanovic, Clark Barrett: Polite Theories Revisited. LPAR (Yogyakarta) 2010: 402-416
	2005
1		Dejan Jovanovic, Predrag Janicic: Logical Analysis of Hash Functions. FroCos 2005: 200-215

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[2] [3] [4]
2	Christopher L. Conway	[4]
3	Morgan Deters	[4]
4	Liana Hadarean	[4]
5	Predrag Janicic	[1]
6	Tim King	[4]
7	Leonardo Mendonça de Moura	[5]
8	Andrew Reynolds	[4]
9	Cesare Tinelli	[4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page