Vol. 21 No. 3 (2014)

Regular articles

• VOSD: a general-purpose virtual observatory over semantic databases

  Gergő Gombos, Tamás Matuszka, Balázs Pinczel, Gábor Rácz, Attila Kiss

  353-366

  • PDF

• Code coverage measurement framework for android devices

  Ferenc Horváth, Szabolcs Bognár, Tamás Gergely, Róbert Rácz, Árpád Beszédes, Vladimir Marinkovic

  439-458

  • PDF

• Asymptotic proportion of hard instances of the halting problem

  Antti Valmari

  307-330

  • PDF

• Extensions to the CEGAR approach on Petri nets

  Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka

  401-417

  • PDF

• Time-dependent network algorithm for ranking in sports

  András London, József Németh, Tamás Németh

  495-506

  • PDF

• Preface

  Ákos Kiss

  289

  • PDF

• Monitoring evolution of code complexity and magnitude of changes

  Vard Antinyan, Miroslaw Staron, Jörgen Hansson, Wilhelm Meding, Per Österström, Anders Henriksson

  367-382

  • PDF

• Hungarian noun phrase extraction using rule-based and hybrid methods

  Gábor Recski

  461-479

  • PDF

• Runtime exception detection in Java programs using symbolic execution

  István Kádár, Péter Hegedűs, Ferenc Rudolf

  331-352

  • PDF

• Designing and implementing control flow graph for magic 4th generation language

  Richárd Dévai, Judit Jász, Csaba Nagy, Rudolf Ferenc

  419-437

  • PDF

• Lively3D: building a 3D desktop environment as a single page application

  Jari-Pekka Voutilainen, Anna-Liisa Mattila, Tommi Mikkonen

  291-306

  • PDF

• Service composition for end-users

  Otto Hylli, Samuel Lahtinen, Anna Ruokonen, Kari Systä

  383-399

  • PDF

• Applications of the inverse theta number in stable set problems

  Miklós Ujvári

  481-494

  • PDF