Information systems for enhancing social experience in a conference context: A sensor based approach Michael A. H. FriedAnna FenselDieter Fensel OriginalPaper 16 November 2012 Pages: 281 - 293
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall N. O. Garanina OriginalPaper 16 November 2012 Pages: 294 - 303
Composition methods for constructing characteristic formulas for dense-time models E. N. Bozhenkova OriginalPaper 16 November 2012 Pages: 304 - 314
Effective support of databases with ontological dependencies: Relational languages instead of description logics L. A. Kalinichenko OriginalPaper 16 November 2012 Pages: 315 - 326
Targeted data generation for application testing on databases E. A. KostychevV. A. Omel’chenkoS. V. Zelenov OriginalPaper 16 November 2012 Pages: 327 - 334