Search results for: Boi Faltings
Informatik-Spektrum > 2017 > 40 > 1 > 64-74
IEEE Transactions on Computers > 2014 > 63 > 1 > 115 - 128
IEEE Transactions on Software Engineering > 2014 > 40 > 2 > 167 - 191
Annals of Mathematics and Artificial Intelligence > 2009 > 55 > 3-4 > 295-354
Autonomous Agents and Multi-Agent Systems > 2006 > 12 > 2 > 219-237
Artificial Intelligence > 2005 > 161 > 1-2 > 25-53
Artificial Intelligence > 2005 > 161 > 1-2 > 181-208
Constraints > 2004 > 9 > 4 > 289-310
Constraints > 2003 > 8 > 2 > 107-141
Constraints > 2002 > 7 > 1 > 49-69
Artificial Intelligence > 1999 > 115 > 2 > 257-287
Computer-Aided Design > 1996 > 28 > 3 > 207-216
Artificial Intelligence in Engineering > 1996 > 10 > 2 > 171-183