Search the dblp DataBase
Vitaly Lagoon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Michael Codish, Vitaly Lagoon, Francisco Bueno
Sharing Analysis for Logic Programs using Set Logic Programs. [Citation Graph (0, 0)][DBLP]
APPIA-GULP-PRODE, 1996, pp:29-40 [Conf] - Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
Set Bounds and (Split) Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP]
Australian Conference on Artificial Intelligence, 2004, pp:706-717 [Conf] - Vitaly Lagoon, Peter J. Stuckey
Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP]
CP, 2004, pp:347-361 [Conf] - Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
Size-Change Termination Analysis in k-Bits. [Citation Graph (0, 0)][DBLP]
ESOP, 2006, pp:230-245 [Conf] - Vitaly Lagoon, Peter J. Stuckey
A Framework for Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
FLOPS, 2001, pp:296-310 [Conf] - Francisco Bueno, Michael Codish, Vitaly Lagoon
Sharing Analysis Using Set Logic Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1997, pp:417- [Conf] - Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Testing for Termination with Monotonicity Constraints. [Citation Graph (0, 0)][DBLP]
ICLP, 2005, pp:326-340 [Conf] - Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey
Termination Analysis with Types Is More Accurate. [Citation Graph (0, 0)][DBLP]
ICLP, 2003, pp:254-268 [Conf] - Michael Codish, Vitaly Lagoon
Type Dependencies for Logic Programs Using ACI-Unification. [Citation Graph (0, 0)][DBLP]
ISTCS, 1996, pp:136-145 [Conf] - Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
SAT Solving for Argument Filterings. [Citation Graph (0, 0)][DBLP]
LPAR, 2006, pp:30-44 [Conf] - Vitaly Lagoon, Peter J. Stuckey
Precise pair-sharing analysis of logic programs. [Citation Graph (0, 0)][DBLP]
PPDP, 2002, pp:99-108 [Conf] - Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Solving Partial Order Constraints for LPO Termination. [Citation Graph (0, 0)][DBLP]
RTA, 2006, pp:4-18 [Conf] - Michael Codish, Vitaly Lagoon, Francisco Bueno
An Algebraic Approach to Sharing Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
SAS, 1997, pp:68-82 [Conf] - Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
Combining Norms to Prove Termination. [Citation Graph (0, 0)][DBLP]
VMCAI, 2002, pp:126-138 [Conf] - Michael Codish, Vitaly Lagoon, Francisco Bueno
An Algebraic Approach to Sharing Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 2000, v:42, n:2, pp:111-149 [Journal] - Michael Codish, Vitaly Lagoon
Type dependencies for logic programs using ACI-unification. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:238, n:1-2, pp:131-159 [Journal] - Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Logic Programming with Satisfiability [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal] - Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
SAT Solving for Argument Filterings [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal] - Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
Solving Set Constraint Satisfaction Problems using ROBDDs. [Citation Graph (0, 0)][DBLP]
J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:109-156 [Journal]
Fast Set Bounds Propagation using BDDs. [Citation Graph (, )][DBLP]
Telecommunications Feature Subscription as a Partial Order Constraint Problem. [Citation Graph (, )][DBLP]
Solving Partial Order Constraints for LPO Termination [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002