Vitaly Lagoon

Citirano

	Sve	Od 2019.
Citati	675	71
H-indeks	16	5
i10-indeks	21	2

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 9 7 10 29 18 13 30 22 45 51 49 45 56 38 34 28 18 19 26 25 14 16 20 3 13 12 7

Javni pristup

Prikaži sve

1 članak

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Peter StuckeyFaculty of Information Technology, Monash UniversityPotvrđena adresa e-pošte na monash.edu
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevPotvrđena adresa e-pošte na cs.bgu.ac.il
Peter HawkinsPotvrđena adresa e-pošte na cs.stanford.edu
Graeme GangeMonash UniversityPotvrđena adresa e-pošte na monash.edu
Amit MetodiCadence Israel Development CenterPotvrđena adresa e-pošte na metodi.me
John P GallagherRoskilde UniversityPotvrđena adresa e-pošte na ruc.dk
Samir GenaimUniversidad Complutense de MadridPotvrđena adresa e-pošte na fdi.ucm.es
Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkPotvrđena adresa e-pošte na imada.sdu.dk
Frédéric MesnardUniversité de la RéunionPotvrđena adresa e-pošte na univ-reunion.fr
Michael FrankDepartment of Computer Science, Ben-Gurion University of the NegevPotvrđena adresa e-pošte na post.bgu.ac.il
Peter SchachteSchool of Computing and Information Systems, University of MelbournePotvrđena adresa e-pošte na unimelb.edu.au
Giora AlexandronAssistant Professor, Weizmann Institute of SciencePotvrđena adresa e-pošte na weizmann.ac.il
bart demoenProfessor of Computer Science, KU LeuvenPotvrđena adresa e-pošte na cs.kuleuven.be
Hendrik BierleePhD student, Monash UniversityPotvrđena adresa e-pošte na monash.edu
Jip J. DekkerResearch Fellow, OPTIMA & Monash UniversityPotvrđena adresa e-pošte na monash.edu
Guido TackAssociate Professor, Monash UniversityPotvrđena adresa e-pošte na monash.edu

Prati

Vitaly Lagoon

Cadence Design Systems

Potvrđena adresa e-pošte na cadence.com - Početna stranica

CP SAT SMT Static Analysis Model Checking


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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
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	19	2011
A framework for analysis of typed logic programs V Lagoon, PJ Stuckey Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001	19	2001
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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori