MaCS 2016
Mathematics and Computer Science

Table of Contents

1. Anomaly searching in text sequences 1-9
   Abdulwahed Almarimi , Gabriela Andrejková
2. Detecting negative cycles with Tarjan's breadth-first scanning algorithm 10-16
   Tibor Ásványi
3. Modeling framework for designing and analyzing document-centric information systems based on HypergraphDB 17-22
   András Béleczki , Bálint Molnár
4. Analysing and visualising callback modules of Erlang generic server behaviours 23-41
   István Bozó , Mátyás Béla Kuti , Melinda Tóth
5. Analysing the hierarchical structure of Erlang applications 42-55
   István Bozó , Bence János Szabó , Melinda Tóth
6. Dynamic game difficulty balancing in active ageing systems 56-61
   Alina Delia Călin
7. Novel architecture for executable UML tooling 62-73
   Gergely Dévai , Tibor Gregorics , Boldizsár Németh , Balázs Gregorics , Dávid János Németh , Gábor Ferenc Kovács , Zoltán Gera , András Dobreff , Máté Karácsony
8. Collaboration spotting visual analytics tool optimized for very large graphs 74-84
   Richard Forster
9. Corrections to the program verification rules 85-95
   Tibor Gregorics , Zsolt Borsi
10. Transparent functors for the C++ Standard Template Library 96-101
    Gábor Horváth , Norbert Pataki
11. Public key cryptography based on the clique and learning parity with noise problems for post-quantum cryptography 102-112
    Péter Hudoba
12. Supporting dynamic, bi-directional presentation management in real-time 113-118
    Zoltán Illés PhD , Viktória H. Bakonyi , Zoltán Illés Jr.
13. Configurable data structure layout for memory hierarchies 119-135
    Máté Karácsony , Máté Tejfel
14. Code School: Learn to code by practicing 136-143
    Sándor Király , Tamás Balla , Gábor Kusper
15. KErl: Executable semantics for Erlang 144-160
    Judit Kőszegi
16. Knowledge and mindset in software development -- how developers, testers, technical writers and managers differ -- a survey 161-184
    Attila Kovács , Kristóf Szabados
17. What is the state-of-the-art in DQBF solving? 185-196
    Gergely Kovásznai
18. Transforming Erlang finite state machines 197-218
    Dániel Lukács , Melinda Tóth , István Bozó
19. markfactory: Translation-based automatic exam evaluation for mass education 219-226
    Boldizsár Németh , Máté Tejfel
20. Customized error clustering of industrial surface inspection images 227-240
    Melinda Pap
21. Some useful aspects about coalgebras and coalgebraic logic in computer science 241-249
    Ján Perháč , Daniel Mihályi , William Steingartner , Valerie Novitzká
22. Benefits of implementing a query language in purely functional style 250-266
    Artúr Poór , István Bozó , Tamás Kozsik , Gábor Páli , Melinda Tóth
23. Some aspects about coalgebras as foundation for expressing the semantics of imperative languages 267-278
    William Steingartner , Valerie Novitzká , Mohamed Ali M. Eldojali , Davorka Radaković