Journal of the Association for Computing Machinery

• 

  Año 2005, Número 6

  • Time-Space Lower Bounds for Satisfiability

    Dieter Van Melkebeek, Richard Lipton, Lance Fortnow, Anastasios Viglas

    págs. 835-865

    

  • Subexponential Parameterized Algorithms on Bounded-Genus Graphs and H-Minor-Free Graphs

    Erik D. Demaine, Fedor V. Fomin, Dimitrios M. Thilikos, Mohammadtaghi Hajiaghayi

    págs. 866-893

    

  • Ownership Confinement Ensures Representation Independence for Object-Oriented Programs

    David A. Naumann, Anindya Banerjee

    págs. 894-960

    

  • Behavioral Theory for Mobile Ambients

    Massimo Merro, Francesco Zappa Nardelli

    págs. 961-1023