×

zbMATH — the first resource for mathematics

Lagoon, Vitaly

Compute Distance To:
Author ID: lagoon.vitaly Recent zbMATH articles by "Lagoon, Vitaly"
Published as: Lagoon, Vitaly; Lagoon, V.
Documents Indexed: 14 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 49 times in 39 Documents Cited by Year
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2008
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
6
2006
An algebraic approach to sharing analysis of logic programs. Zbl 0944.68029
Codish, Michael; Lagoon, Vitaly; Bueno, Francisco
5
2000
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
5
2005
Type dependencies for logic programs using ACI-unification. Zbl 0944.68014
Codish, M.; Lagoon, V.
4
2000
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
4
2004
SAT solving for argument filterings. Zbl 1165.68484
Codish, Michael; Schneider-Kamp, Peter; Lagoon, Vitaly; Thiemann, René; Giesl, Jürgen
3
2006
Combining norms to prove termination. Zbl 1057.68585
Genaim, Samir; Codish, Michael; Gallagher, John; Lagoon, Vitaly
2
2002
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
2
2010
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
1
2009
Fast set bounds propagation using a BDD-SAT hybrid. Zbl 1210.68100
Gange, G.; Stuckey, P. J.; Lagoon, V.
2
2010
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
1
2009
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2008
Solving partial order constraints for LPO termination. Zbl 1151.68631
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
6
2006
SAT solving for argument filterings. Zbl 1165.68484
Codish, Michael; Schneider-Kamp, Peter; Lagoon, Vitaly; Thiemann, René; Giesl, Jürgen
3
2006
Size-change termination analysis in \(k\)-bits. Zbl 1178.68149
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J.
2
2006
Testing for termination with monotonicity constraints. Zbl 1165.68328
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
7
2005
Solving set constraint satisfaction problems using ROBDDs. Zbl 1080.68666
Hawkins, P. J.; Lagoon, V.; Stuckey, P. J.
5
2005
Set domain propagation using ROBDDs. Zbl 1152.68562
Lagoon, Vitaly; Stuckey, Peter J.
4
2004
Combining norms to prove termination. Zbl 1057.68585
Genaim, Samir; Codish, Michael; Gallagher, John; Lagoon, Vitaly
2
2002
An algebraic approach to sharing analysis of logic programs. Zbl 0944.68029
Codish, Michael; Lagoon, Vitaly; Bueno, Francisco
5
2000
Type dependencies for logic programs using ACI-unification. Zbl 0944.68014
Codish, M.; Lagoon, V.
4
2000
all top 5

Cited by 80 Authors

3 Codish, Michael
3 King, Andy
3 Lu, Lunjin
3 Middeldorp, Aart
2 Amato, Gianluca
2 Ben-Amram, Amir M.
2 Brauer, Jörg
2 Genaim, Samir
2 Giesl, Jürgen
2 Gutiérrez, Raúl
2 Hirokawa, Nao
2 Marques-Silva, João P.
2 Riguzzi, Fabrizio
2 Schneider-Kamp, Peter
2 Scozzari, Francesca
2 Zankl, Harald
1 Ackley, Elena S.
1 Alarcón, Beatriz
1 Albert, Elvira
1 Aoto, Takahito
1 Argelich, Josep
1 Atif, Jamal
1 Azevedo, Francisco
1 Bellodi, Elena
1 Bloch, Isabelle
1 Bonatti, Piero Andrea
1 Calautti, Marco
1 Cota, Giuseppe
1 Cristiá, Maximiliano
1 Di Rosa, Emanuele
1 Forrest, Stephanie
1 Gange, Graeme
1 Gervet, Carmen
1 Giunchiglia, Enrico
1 Graça, Ana
1 Greco, Sergio
1 Heras, Federico
1 Hermenegildo, Manuel V.
1 Howe, Jacob M.
1 Iborra, José
1 Kowalewski, Stefan
1 Lagoon, Vitaly
1 Lamma, Evelina
1 Law, Yat Chiu
1 Lecoutre, Christophe
1 Lee, Jimmy Ho-man
1 Leuschel, Michael
1 Levi, Giorgio
1 Liffiton, Mark H.
1 Likitvivatanavong, Chavalit
1 Lucas, Salvador
1 Lynce, Inês
1 Maratea, Marco
1 Martin-Martin, Enrique
1 Mesnard, Fred
1 Morgado, António
1 Navas, Jorge A.
1 Nempont, Olivier
1 Payet, Étienne
1 Planes, Jordi
1 Rossi, Gianfranco
1 Sadler, Andrew
1 Schulte, Christian
1 Spezzano, Francesca
1 Spoto, Fausto
1 Sternagel, Christian
1 Ströder, Thomas
1 Stuckey, Peter James
1 Swift, Terrance
1 Szymanek, Radoslaw
1 Tack, Guido
1 Thiemann, René
1 Trias, Eric
1 Trubitsyna, Irina
1 Vidal, Germán
1 Walsh, Toby
1 Woo, May H. C.
1 Yamada, Toshiyuki
1 Yap, Roland H. C.
1 Zese, Riccardo

Citations by Year