Khalil Ghorbal

	2012
4		Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI 2012: 235-250
	2010
3		Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226
2		Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection CoRR abs/1002.2236: (2010)
	2009
1		Khalil Ghorbal, Eric Goubault, Sylvie Putot: The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633

Coauthor Index

1	Gogul Balakrishnan	[4]
2	Eric Goubault	[1] [2] [3]
3	Aarti Gupta	[4]
4	Franjo Ivancic	[4]
5	Naoto Maeda	[4]
6	Sylvie Putot	[1] [2] [3]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page