Jonathan Cederberg

	2009
2		Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji: Automated Analysis of Data-Dependent Programs with Dynamic Memory. ATVA 2009: 197-212
	2008
1		Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354

Coauthor Index

1	Parosh Aziz Abdulla	[1] [2]
2	Muhsin Atto	[2]
3	Ahmed Bouajjani	[1]
4	Frédéric Haziza	[1]
5	Ran Ji	[2]
6	Ahmed Rezine	[1]