Regular articles

• Identifying Code Clones with RefactorErl

  Viktória Fördős, Melinda Tóth

  553-571

  • PDF
• Improving Saturation-based Bounded Model Checking

  Dániel Darvas, András Vörös, Tamás Bartha

  573-589

  • PDF
• On Cyber Attacks and the Maximum-Weight Rooted-Subtree Problem

  Geir Agnarsson, Raymond Greenlaw, Sanpawat Kantabutra

  591-612

  • PDF
• A Note on the Emptiness of Intersection Problem for Left Szilárd Languages

  Erkki Mäkinen

  613-616

  • PDF
• Performance Modeling of Finite-Source Cognitive Radio Networks

  Béla Almási, Tamás Bérczes, Attila Kuki, János Sztrik, Jinting Wang

  617-631

  • PDF
• One-Pass Reductions

  Sándor Vágvölgyi

  633-655

  • PDF
• On the Projection onto a Finitely Generated Cone

  Miklós Ujvári

  657-672

  • PDF
• Robustness of BitTorrent-like VoD Protocols

  Tamás Vinkó

  673-685

  • PDF
• On Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity

  Szabolcs Iván, Judit Nagy-György

  687-701

  • PDF
• On Chomsky Hierarchy of Palindromic Languages

  Pál Dömösi, Szilárd Fazekas, Masami Ito

  703-713

  • PDF