| Solving set constraint satisfaction problems using ROBDDs PJ Hawkins, V Lagoon, PJ Stuckey Journal of Artificial Intelligence Research 24, 109-156, 2005 | 69 | 2005 |
| Type dependencies for logic programs using ACI-unification M Codish, V Lagoon Theoretical Computer Science 238 (1-2), 131-159, 2000 | 68 | 2000 |
| Testing for termination with monotonicity constraints M Codish, V Lagoon, PJ Stuckey Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 66 | 2005 |
| Solving partial order constraints for LPO termination M Codish, V Lagoon, PJ Stuckey Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006 | 52 | 2006 |
| Logic programming with satisfiability M Codish, V Lagoon, PJ Stuckey Theory and Practice of Logic Programming 8 (1), 121-128, 2008 | 48 | 2008 |
| Combining norms to prove termination S Genaim, M Codish, J Gallagher, V Lagoon Verification, Model Checking, and Abstract Interpretation: Third …, 2002 | 38 | 2002 |
| Set domain propagation using ROBDDs V Lagoon, PJ Stuckey Principles and Practice of Constraint Programming–CP 2004: 10th …, 2004 | 37 | 2004 |
| SAT solving for argument filterings M Codish, P Schneider–Kamp, V Lagoon, R Thiemann, J Giesl Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 31 | 2006 |
| Termination analysis with types is more accurate V Lagoon, F Mesnard, PJ Stuckey International Conference on Logic Programming, 254-268, 2003 | 30 | 2003 |
| An algebraic approach to sharing analysis of logic programs M Codish, V Lagoon, F Bueno The Journal of Logic Programming 42 (2), 111-149, 2000 | 23 | 2000 |
| Fast set bounds propagation using a BDD-SAT hybrid G Gange, PJ Stuckey, V Lagoon Journal of Artificial Intelligence Research 38, 307-338, 2010 | 21 | 2010 |
| Systems and methods for automatically generating executable system level-tests from a partially specified scenario Y Hollander, E Gavish, V Lagoon, M Vax US Patent 8,560,893, 2013 | 20 | 2013 |
| Boolean equi-propagation for optimized SAT encoding A Metodi, M Codish, V Lagoon, PJ Stuckey Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011 | 20 | 2011 |
| An algebraic approach to sharing analysis of logic programs M Codish, V Lagoon, F Bueno Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997 | 20 | 1997 |
| A framework for analysis of typed logic programs V Lagoon, PJ Stuckey Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001 | 19 | 2001 |
| System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction S Uziel, A Noy, V Lagoon, Y Kinderman, A Gal US Patent 7,870,523, 2011 | 18 | 2011 |
| Method for providing bitwise constraints for test generation V Lagoon, G Barruch US Patent 6,918,076, 2005 | 16* | 2005 |
| Precise pair-sharing analysis of logic programs V Lagoon, PJ Stuckey Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 13 | 2002 |
| Set bounds and (split) set domain propagation using ROBDDs P Hawkins, V Lagoon, PJ Stuckey Australasian Joint Conference on Artificial Intelligence, 706-717, 2004 | 12 | 2004 |
| Fast set bounds propagation using BDDs G Gange, V Lagoon, PJ Stuckey ECAI 2008, 505-509, 2008 | 11 | 2008 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
