Vitaly Lagoon

2008
23	EE	Graeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
22	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
21	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
2007
20	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability CoRR abs/cs/0702072: (2007)
2006
19	EE	Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
18	EE	Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl: SAT Solving for Argument Filterings. LPAR 2006: 30-44
17	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
16	EE	Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl: SAT Solving for Argument Filterings CoRR abs/cs/0605074: (2006)
2005
15	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
14	EE	Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination CoRR abs/cs/0512067: (2005)
13	EE	Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
2004
12	EE	Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
11	EE	Vitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361
2003
10	EE	Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
2002
9	EE	Vitaly Lagoon, Peter J. Stuckey: Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108
8	EE	Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon: Combining Norms to Prove Termination. VMCAI 2002: 126-138
2001
7	EE	Vitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
2000
6		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42(2): 111-149 (2000)
5	EE	Michael Codish, Vitaly Lagoon: Type dependencies for logic programs using ACI-unification. Theor. Comput. Sci. 238(1-2): 131-159 (2000)
1997
4		Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. ICLP 1997: 417
3		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82
1996
2		Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40
1		Michael Codish, Vitaly Lagoon: Type Dependencies for Logic Programs Using ACI-Unification. ISTCS 1996: 136-145

Coauthor Index

1	Francisco Bueno	[2] [3] [4] [6]
2	Michael Codish	[1] [2] [3] [4] [5] [6] [8] [14] [15] [16] [17] [18] [19] [20] [21] [22]
3	John P. Gallagher	[8]
4	Graeme Gange	[23]
5	Samir Genaim	[8]
6	Jürgen Giesl	[16] [18]
7	Peter Hawkins	[12] [13]
8	Frédéric Mesnard	[10]
9	Peter Schachte	[19]
10	Peter Schneider-Kamp	[16] [18]
11	Peter J. Stuckey	[7] [9] [10] [11] [12] [13] [14] [15] [17] [19] [20] [21] [22] [23]
12	René Thiemann	[16] [18]