Search results for: Sebastian Danicic
New Generation Computing > 2017 > 35 > 1 > 87-104
Theoretical Computer Science > 2011 > 412 > 49 > 6809-6842
Journal of Logic and Algebraic Programming > 2011 > 80 > 8 > 481-496
Journal of Logic and Algebraic Programming > 2011 > 80 > 2 > 92-112
Theoretical Computer Science > 2010 > 411 > 11-13 > 1372-1386
Journal of Logic and Algebraic Programming > 2007 > 72 > 2 > 191-206
Theoretical Computer Science > 2007 > 373 > 1-2 > 1-18
Science of Computer Programming > 2006 > 62 > 3 > 228-252
Theoretical Computer Science > 2006 > 360 > 1-3 > 23-41
Formal Aspects of Computing > 2006 > 18 > 2 > 103-119
The Journal of Systems & Software > 2005 > 77 > 3 > 241-262
Automated Software Engineering > 2004 > 11 > 1 > 27-61
The Journal of Systems & Software > 2003 > 68 > 1 > 45-64
Theoretical Computer Science > 2003 > 290 > 1 > 831-862
Information Processing Letters > 1995 > 56 > 6 > 307-313