Regular articles

• Preface

  Ákos Kiss

  289

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

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

  291-306

  • PDF
• Asymptotic proportion of hard instances of the halting problem

  Antti Valmari

  307-330

  • PDF
• Runtime exception detection in Java programs using symbolic execution

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

  331-352

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

  Gergő Gombos

  353-366

  • PDF
• Monitoring evolution of code complexity and magnitude of changes

  Vard Antinyan

  367-382

  • PDF
• Service composition for end-users

  Otto Hylli

  383-399

  • PDF
• Extensions to the CEGAR approach on Petri nets

  Ákos Hajdu

  401-417

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

  Richárd Dévai

  419-437

  • PDF
• Code coverage measurement framework for android devices

  Ferenc Horváth

  439-458

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

  Gábor Recski

  461-479

  • PDF
• Applications of the inverse theta number in stable set problems

  Miklós Ujvári

  481-494

  • PDF
• Time-dependent network algorithm for ranking in sports

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

  495-506

  • PDF