Vitaly Lagoon
Vitaly Lagoon
Verified email at cadence.com - Homepage
Title
Cited by
Cited by
Year
Testing for termination with monotonicity constraints
M Codish, V Lagoon, PJ Stuckey
International Conference on Logic Programming, 326-340, 2005
662005
Type dependencies for logic programs using ACI-unification
M Codish, V Lagoon
Theoretical Computer Science 238 (1-2), 131-159, 2000
662000
Solving set constraint satisfaction problems using ROBDDs
PJ Hawkins, V Lagoon, PJ Stuckey
Journal of Artificial Intelligence Research 24, 109-156, 2005
592005
Solving partial order constraints for LPO termination
M Codish, V Lagoon, PJ Stuckey
International Conference on Rewriting Techniques and Applications, 4-18, 2006
532006
Logic programming with satisfiability
M Codish, V Lagoon, PJ Stuckey
arXiv preprint cs/0702072, 2007
412007
Set domain propagation using ROBDDs
V Lagoon, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2004
362004
Combining norms to prove termination
S Genaim, M Codish, J Gallagher, V Lagoon
International Workshop on Verification, Model Checking, and Abstract …, 2002
352002
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
302006
Termination analysis with types is more accurate
V Lagoon, F Mesnard, PJ Stuckey
International Conference on Logic Programming, 254-268, 2003
302003
Boolean equi-propagation for optimized SAT encoding
A Metodi, M Codish, V Lagoon, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2011
212011
Fast set bounds propagation using a BDD-SAT hybrid
G Gange, PJ Stuckey, V Lagoon
Journal of Artificial Intelligence Research 38, 307-338, 2010
212010
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
212000
A framework for analysis of typed logic programs
V Lagoon, PJ Stuckey
International Symposium on Functional and Logic Programming, 296-310, 2001
192001
An algebraic approach to sharing analysis of logic programs
M Codish, V Lagoon, F Bueno
International Static Analysis Symposium, 68-82, 1997
191997
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
182013
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
122004
Precise pair-sharing analysis of logic programs
V Lagoon, PJ Stuckey
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
122002
Size-Change Termination Analysis in k-Bits
M Codish, V Lagoon, P Schachte, PJ Stuckey
European Symposium on Programming, 230-245, 2006
112006
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
102011
The system can't perform the operation now. Try again later.
Articles 1–20