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
Bachelor of Science Ben-Gurion University of The Negev 31-Dec-1994
Master of Science Ben-Gurion University of The Negev 31-Dec-1998
Doctor of Philosophy University of Melbourne 17-Mar-2004

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.
  • Solving Partial Order Constraints for LPO Termination
    Year: 2008
    Journal: Journal of Satisfiability, Boolean Modeling and Computation
    Volume: 5
    Issue: 1
    Page numbers: 193-215
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Telecommunications Feature Subscription as a Partial Order Constraint Problem


    Year: 2008
    Event name: ICLP 2008 - 24th International Conference on Logic Programming
    Conference Publication: Logic Programming (Lecture Notes in Computer Science)
    Volume: 5366
    Page numbers: 749-753
    Publisher: Springer Verlag
    Author(s):
  • Fast Set Bounds Propagation using BDDs
    Year: 2008
    Event name: ECAI 2008 - 18th Conference on Artificial Intelligence
    Conference Publication: Proceedings of the 18th European Conference on Artificial Intelligence
    Page numbers: 505-509
    Publisher: European Conference on AI(Patras)
    Author(s):

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):

Publications in 2003

Conference Publications/Papers

  • Termination Analysis with Types Is More Accurate
    Year: 2003
    Event name: 19th International Conference on Logic Programming
    Conference Publication: Logic Programming
    Volume: 2916
    Page numbers: 254-268
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2002

Conference Publications/Papers

  • Combining Norms to Prove Termination
    Year: 2002
    Event name: VMCAI 2002 - Third International Workshop on Verification, Model Checking, and Abstract Interpretation
    Conference Publication: Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science)
    Volume: 2294
    Page numbers: 329-332
    Publisher: Springer Verlag
    Author(s):
  • Precise pair-sharing analysis of logic programs
    Year: 2002
    Event name: The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 99-108
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2001

Conference Publications/Papers

  • A Framework for Analysis of Typed Logic Programs
    Year: 2001
    Event name: Fifth International Symposium on Functional and Logic Programming
    Conference Publication: Lecture Notes in Computer Science
    Volume: 2024
    Page numbers: 296 - 310
    Publisher: Springer Verlag(Berlin)
    Author(s):
top of page