University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR PETER SCHACHTE



Contact Details

Organization: Computer Science and Software Engineering
Position: LECTURER IN SOFTWARE ENGINEERING
Email:
Homepage: http://www.cs.mu.oz.au/~schachte/
Work: 03 8344-1338
Fax: 03 9348-1184
Room: L5.32
Level: 05
Building: 111-117 Barry St.
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Country of Expertise
Programming Languages, Declarative Programming, Logic Programming, Program Analysis Australia

International Linkages

Country Establishment Collaboration
United States Syracuse University

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science Syracuse University 31-Dec-1980
Master of Science Syracuse University 31-Dec-1982
Doctor of Philosophy University of Melbourne 31-Dec-1999

Other Awards

Award Type Awarding Body Comments Date Awarded
Scholarship APA 01-Jan-1993

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.

Grants

Title Role Funding Source Scheme Award Date
ARC Centre for Perceptive and Intelligent Machines in Complex Environments Chief Investigator MONASH UNIVERSITY,
AUST RESEARCH COUNCIL		 Centres of Excellence (AUST RESEARCH COUNCIL) 01/01/2004

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 2009

Conference Publications/Papers

  • Boolean Affine Approximation with Binary Decision Diagrams
    Year: 2009
    Event name: CATS 2009 - 15th Computing: The Australasian Theory Symposium, as part of the ACSW 2009 Conferences
    Conference Publication: Theory of Computing 2009: Proceedings of the Fifteenth Computing: The Australasian Theory Symposium (CATS 2009)
    Volume: 94
    Page numbers: 121-129
    Publisher: Australian Computer Society(Sydney)
    Author(s):
  • ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs
    Year: 2009
    Event name: ACSC 2009 - Computer Science 2009 - 32nd Australasian Computer Science Conference
    Conference Publication: Computer Science 2009 - Proceedings of the 32nd Australasian Computer Science Conference (ACSC 2009)
    Volume: 91
    Page numbers: 65-74
    Publisher: Australian Computer Society(Sydney)
    Author(s):

Publications in 2007

Journal Articles

  • Un-Kleene Boolean equation solving
    Year: 2007
    Journal: International Journal of Foundations of Computer Science
    Volume: 18
    Issue: 2
    Page numbers: 227-250
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks
    Year: 2007
    Event name: Thirtieth Australasian Computer Science Conference (ACSC2007)
    Conference Publication: Proceedings of the Thirtieth Australasian Computer Science Conference
    Volume: 62
    Page numbers: 35-40
    Publisher: Australian Computer Society(Sydney)
    Author(s):
    Editor(s):
    URL - open access http://crpit.com/Vol62.html
  • A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications
    Year: 2007
    Event name: AINA2007 - 21st International Conference on Advanced Information Networking and Applications
    Conference Publication: AINAW '07: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia
    Volume: 1
    Page numbers: 24-29
    Publisher: IEEE Computer Society(California)
    Author(s):
  • Boolean approximation revisited
    Year: 2007
    Event name: SARA 2007 - The Seventh Symposium on Abstraction, Reformulation and Approximation
    Conference Publication: Abstraction, Reformulation and Approximation - 7th International Symposium, SARA 2007
    Volume: LNCS 4612
    Page numbers: 329-343
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Secure Random Number Agreement for Peer-to-Peer Applications
    Year: 2007
    Event name: P2PNVE2007 - The International Workshop on Peer-to-Peer Networked Virtual Environments
    Conference Publication: Proceedings of the International Workshop on Peer-to-Peer Networked Virtual Environments
    Volume: 2
    Page numbers: 1-8
    Publisher: IEEE Computer Society(Los Alamitos)
    Author(s):
  • Suitability of Object and Aspect Oriented Languages for Software Maintenance
    Year: 2007
    Event name: Australian Software Engineering Conference
    Conference Publication: Proceedings of the 2007 Australian Software Engineering Conference
    Page numbers: 117-128
    Publisher: IEEE Computer Society(California)
    Author(s):

Publications in 2006

Conference Publications/Papers

Publications in 2003

Book Chapters

  • Sequence Quantification
    Year: 2003
    Book: Lecture Notes in Computer Science
    Publisher: Springer Verlag(Berlin)
    Authors(s):

Journal Articles

  • Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs
    Year: 2003
    Journal: Theoretical Computer Science
    Volume: 293
    Issue: 3
    Page numbers: 557-577
    Publisher: Elsevier Science
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Publications in 2001

Conference Publications/Papers

  • Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs
    Year: 2001
    Event name: Computing: The Australasian Theory Symposium (CATS 2001)
    Conference Publication: Electronic Notes in Theoretical Computer Science Logic Program
    Volume: 42
    Page numbers: 249 - 265
    Publisher: Elsevier Science(Amsterdam)
    Author(s):
top of page