`Travelled to:`

1 × Austria

1 × Belgium

1 × Denmark

1 × France

1 × India

1 × Japan

1 × Spain

2 × Italy

2 × USA

`Collaborated with:`

P.J.Stuckey M.Codish F.Bueno ∅ F.Mesnard P.Schachte S.Genaim J.P.Gallagher

`Talks about:`

analysi (6) termin (5) constraint (4) program (4) logic (4) share (3) partial (2) order (2) type (2) test (2)

## Person: Vitaly Lagoon

### DBLP: Lagoon:Vitaly

### Contributed to:

### Wrote 11 papers:

- PPDP-2011-Lagoon #challenge #constraints #generative #testing
- The challenges of constraint-based test generation (VL), pp. 1–2.
- ICLP-2008-CodishLS #constraints #partial order #problem
- Telecommunications Feature Subscription as a Partial Order Constraint Problem (MC, VL, PJS), pp. 749–753.
- ESOP-2006-CodishLSS #analysis #termination
- Size-Change Termination Analysis in
*k*-Bits (MC, VL, PS, PJS), pp. 230–245. - RTA-2006-CodishLS #constraints #partial order #termination
- Solving Partial Order Constraints for LPO Termination (MC, VL, PJS), pp. 4–18.
- ICLP-2005-CodishLS #constraints #termination #testing
- Testing for Termination with Monotonicity Constraints (MC, VL, PJS), pp. 326–340.
- ICLP-2003-LagoonMS #analysis #termination
- Termination Analysis with Types Is More Accurate (VL, FM, PJS), pp. 254–268.
- PPDP-2002-LagoonS #analysis #logic programming #precise #source code
- Precise pair-sharing analysis of logic programs (VL, PJS), pp. 99–108.
- VMCAI-2002-GenaimCGL #termination
- Combining Norms to Prove Termination (SG, MC, JPG, VL), pp. 126–138.
- FLOPS-2001-LagoonS #analysis #framework #logic programming #source code
- A Framework for Analysis of Typed Logic Programs (VL, PJS), pp. 296–310.
- ICLP-1997-BuenoCL #analysis #logic programming #set #source code #using
- Sharing Analysis Using Set Logic Programs (FB, MC, VL), p. 417.
- SAS-1997-CodishLB #algebra #analysis #approach #logic programming #source code
- An Algebraic Approach to Sharing Analysis of Logic Programs (MC, VL, FB), pp. 68–82.