| Testing for termination with monotonicity constraints M Codish, V Lagoon, PJ Stuckey International Conference on Logic Programming, 326-340, 2005 | 66 | 2005 |
| Type dependencies for logic programs using ACI-unification M Codish, V Lagoon Theoretical Computer Science 238 (1-2), 131-159, 2000 | 66 | 2000 |
| Solving set constraint satisfaction problems using ROBDDs PJ Hawkins, V Lagoon, PJ Stuckey Journal of Artificial Intelligence Research 24, 109-156, 2005 | 59 | 2005 |
| Solving partial order constraints for LPO termination M Codish, V Lagoon, PJ Stuckey International Conference on Rewriting Techniques and Applications, 4-18, 2006 | 54 | 2006 |
| Logic programming with satisfiability M Codish, V Lagoon, PJ Stuckey arXiv preprint cs/0702072, 2007 | 42 | 2007 |
| Set domain propagation using ROBDDs V Lagoon, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2004 | 36 | 2004 |
| Combining norms to prove termination S Genaim, M Codish, J Gallagher, V Lagoon International Workshop on Verification, Model Checking, and Abstract …, 2002 | 35 | 2002 |
| SAT solving for argument filterings M Codish, P Schneider–Kamp, V Lagoon, R Thiemann, J Giesl International Conference on Logic for Programming Artificial Intelligence …, 2006 | 30 | 2006 |
| Termination analysis with types is more accurate V Lagoon, F Mesnard, PJ Stuckey International Conference on Logic Programming, 254-268, 2003 | 30 | 2003 |
| Boolean equi-propagation for optimized SAT encoding A Metodi, M Codish, V Lagoon, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2011 | 21 | 2011 |
| 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 |
| A framework for analysis of typed logic programs V Lagoon, PJ Stuckey International Symposium on Functional and Logic Programming, 296-310, 2001 | 19 | 2001 |
| 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 | 19 | 2000 |
| 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 | 18 | 2013 |
| An algebraic approach to sharing analysis of logic programs M Codish, V Lagoon, F Bueno International Static Analysis Symposium, 68-82, 1997 | 18 | 1997 |
| Method for providing bitwise constraints for test generation V Lagoon, G Barruch US Patent 6,918,076, 2005 | 15* | 2005 |
| 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 |
| Size-Change Termination Analysis in k-Bits M Codish, V Lagoon, P Schachte, PJ Stuckey European Symposium on Programming, 230-245, 2006 | 11 | 2006 |
| Precise pair-sharing analysis of logic programs V Lagoon, PJ Stuckey Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 11 | 2002 |
| 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 | 10 | 2011 |
Peter StuckeyFaculty of Information Technology, Monash UniversityBestätigte E-Mail-Adresse bei monash.edu
