Volume 78, Number 1, January 2012 From the Guest Editor
Special Issue Articles
Volume 78, Number 2, March 2012 Games in Verification.
: Approximate shortest paths in weighted graphs.
Volume 78, Number 3, May 2012
: Another approach to the equivalence of measure-many one-way quantum finite automata and its application.
: When are different type-logical semantic definitions defining equivalent meanings?
Volume 78, Number 4, July 2012 Regular Articles
: Rewriting XPath queries using materialized XPath views.
: Characterisations of multivalued dependency implication over undetermined universes.
, Daming Zhu
: A new approximation algorithm for cut-and-paste sorting of unsigned circular permutations.
, Asok Ray
: Vector space formulation of probabilistic finite state automata.
, Mark Reilly
: Personalized multi-user view and content synchronization and retrieval in real-time mobile social software applications.
Volume 78, Number 5, September 2012 Special Issue Articles:
"Cloud Computing 2011"
Special Issue Articles:
"Learning Theory 2009"
: A complete characterization of statistical query learning with applications to evolvability.
Volume 78, Number 6, November 2012 "Mens" Special Issue Articles
"Lata 2010" Special Issue Articles
, Yufeng Wang
: Special Issue on Multidisciplinary Emerging Networks and Systems.
: The inclusion problem for regular expressions.