Följ
Vitaly Lagoon
Vitaly Lagoon
Verifierad e-postadress på cadence.com - Startsida
Titel
Citeras av
Citeras av
År
Testing for termination with monotonicity constraints
M Codish, V Lagoon, PJ Stuckey
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
682005
Solving set constraint satisfaction problems using ROBDDs
PJ Hawkins, V Lagoon, PJ Stuckey
Journal of Artificial Intelligence Research 24, 109-156, 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 partial order constraints for LPO termination
M Codish, V Lagoon, PJ Stuckey
Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006
532006
Logic programming with satisfiability
M Codish, V Lagoon, PJ Stuckey
Theory and Practice of Logic Programming 8 (1), 121-128, 2008
472008
Set domain propagation using ROBDDs
V Lagoon, PJ Stuckey
Principles and Practice of Constraint Programming–CP 2004: 10th …, 2004
372004
Combining norms to prove termination
S Genaim, M Codish, J Gallagher, V Lagoon
Verification, Model Checking, and Abstract Interpretation: Third …, 2002
362002
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
312006
Termination analysis with types is more accurate
V Lagoon, F Mesnard, PJ Stuckey
International Conference on Logic Programming, 254-268, 2003
292003
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
232000
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
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
202013
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
202011
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
201997
A framework for analysis of typed logic programs
V Lagoon, PJ Stuckey
Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001
192001
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
182011
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
132002
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
Fast set bounds propagation using BDDs
G Gange, V Lagoon, PJ Stuckey
ECAI 2008, 505-509, 2008
112008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20