University home page

Find an ExpertProfiling the University of Melbourne's Researchers

MR VITALY LAGOON



Contact Details

Organization: Computer Science and Software Engineering
Position: Honorary (Fellow)
Email:
Work: 8344 1339
Room: 5.23
Level: 05
Building: 101 Barry St.
Campus: Parkville

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Doctor of Philosophy University of Melbourne 17-Mar-2004
Bachelor of Science Ben-Gurion University of The Negev 31-Dec-1994
Master of Science Ben-Gurion University of The Negev 31-Dec-1998

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2008

Journal Articles

  • Logic programming with satisfiability
    Year: 2008
    Journal: Theory and Practice of Logic Programming
    Volume: 8
    Issue: 1
    Page numbers: 121-128
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Publications in 2006

Conference Publications/Papers

Publications in 2005

Journal Articles

  • Solving set constraint satisfaction problems using ROBDDs
    Year: 2005
    Journal: Journal of Artificial Intelligence Research
    Volume: 24
    Page numbers: 106-156
    Publisher: AI Access Foundation(Marina Del Rey)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Testing for termination with monotonicity constraints
    Year: 2005
    Event name: International Conference on Logic Programming
    Conference Publication: Proceedings of the International Conference on Logic Programming
    Volume: 3668
    Page numbers: 326-340
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2004

Conference Publications/Papers

  • Set Bounds and (Split) Set Domain Propagation Using ROBDDs
    Year: 2004
    Event name: 2004 Australian Conference on Artificial Intelligence
    Conference Publication: AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence
    Volume: 3339
    Page numbers: 706-717
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Set Domain Propagation Using ROBDDs
    Year: 2004
    Event name: 10th International Conference on Principles and Practices of Constraint Programming
    Conference Publication: Principles and Practices of Constraint Programming -- CP 2004
    Volume: 3258
    Page numbers: 347-361
    Publisher: Springer Verlag(Berlin)
    Author(s):
top of page