Volume 22, Number 1, February 2011

• 
  Philip T. Cox, Andrew Fish, John Howse: Special Issue on Visual Languages and Logic: Guest editors' introduction. 1-2
• 
  Harald Störrle: VMQL: A visual language for ad-hoc model querying. 3-29
• 
  Ahmed Awad, Matthias Weidlich, Mathias Weske: Visually specifying compliance rules and explaining their violations for business processes. 30-55
• 
  Dave Barker-Plummer, Nik Swoboda: Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. 56-65
• 
  Steffen Mazanek, Michael Hanus: Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. 66-89
• 
  Jim Burton, Gem Stapleton, Ali Hamie: A decision procedure for a decidable fragment of generalized constraint diagrams. 90-105

Volume 22, Number 2, April 2011

• 
  Omid Banyasad, Philip T. Cox: Generating sample looks for geometric objects in a visual design language. 107-119
• 
  Luigi Di Caro, K. Selçuk Candan, Maria Luisa Sapino: Navigating within news collections using tag-flakes. 120-139
• 
  Rosanna Cassino, Maurizio Tucci: Developing usable web interfaces with the aid of automatic verification of their formal specification. 140-149
• 
  Alessio Malizia, Andrea Bellucci, Paloma Díaz, Ignacio Aedo, Stefano Levialdi: eStorys: A visual storyboard system supporting back-channel communication for emergencies. 150-169

Volume 22, Number 3, June 2011

Part Special Issue Papers

• 
  Gem Stapleton, Giuliana Vitiello, Monica Sebillo: Special issue on visual analytics and visual semantics: Guest Editors' introduction. 171-172
• 
  Davide De Chiara, Vincenzo Del Fatto, Robert Laurini, Monica Sebillo, Giuliana Vitiello: A chorem-based approach for visually analyzing spatial data. 173-193
• 
  Enrico Bertini, Giuseppe Santucci: Improving visual analytics environments through a methodological framework for automatic clutter reduction. 194-212
• 
  Gennady L. Andrienko, Natalia V. Andrienko, Peter Bak, Daniel A. Keim, Slava Kisilevich, Stefan Wrobel: A conceptual framework and taxonomy of techniques for analyzing movement. 213-232

General Paper

• 
  Christian Soltenborn, Gregor Engels: Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. 233-250

Volume 22, Number 4, August 2011

Part Special Issue Papers

• 
  Gennady L. Andrienko, Natalia V. Andrienko, Daniel A. Keim, Alan M. MacEachren, Stefan Wrobel: Challenging problems of geospatial visual analytics. 251-256
• 
  Heidrun Schumann, Christian Tominski: Analytical, visual and interactive concepts for geo-visual analytics. 257-267
• 
  Ross Maciejewski, Philip Livengood, Stephen Rudolph, Timothy F. Collins, David S. Ebert, Robert T. Brigantic, Courtney D. Corley, George A. Muller, Stephen W. Sanders: A pandemic influenza modeling and visualization tool. 268-278
• 
  Diansheng Guo, Hai Jin: iRedistrict: Geovisual analytics for redistricting optimization. 279-289
• 
  André Skupin, Aude Esperbé: An alternative map of the United States based on an n-dimensional model of geographic space. 290-304

General Paper

• 
  Robert Aguirre, Timothy L. Nyerges: Geovisual evaluation of public participation in decision making: The grapevine. 305-321

Volume 22, Number 5, October 2011

• 
  Mehrdad Salehi, Yvan Bédard, Mir Abolfazl Mostafavi, Jean Brodeur: Formal classification of integrity constraints in spatiotemporal database applications. 323-339
• 
  Andrew Fish, Babak Khazaei, Chris Roast: User-comprehension of Euler diagrams. 340-354
• 
  Jason McC. Smith: The Pattern Instance Notation: A simple hierarchical visual notation for the dynamic visualization and comprehension of software patterns. 355-374
• 
  Mordechai Ben-Ari, Roman Bednarik, Ronit Ben-Bassat Levy, Gil Ebel, Andrés Moreno, Niko Myller, Erkki Sutinen: A decade of research and development on program animation: The Jeliot experience. 375-384
• 
  Ralf Laue, Ahmed Awad: Visual suggestions for improvements in business process diagrams. 385-399

Volume 22, Number 6, December 2011

• 
  Chi-Shih Chao, Stephen Jen-Hwa Yang: A novel three-tiered visualization approach for firewall rule validation. 401-414
• 
  Andrea F. Abate, Giovanni Acampora, Stefano Ricciardi: An interactive virtual guide for the AR based visit of archaeological sites. 415-425
• 
  Gem Stapleton, Peter Rodgers, John Howse: A general method for drawing area-proportional Euler diagrams. 426-442