| Name | Session | Title |
|---|---|---|
| Jose A. Egea | Numerical methods | An Optimization Approach for Integrated Design and Parameter Estimation in Process Engineering |
| Dénes Paczolay, András Bánhalmi, and András Kocsor | Speech Recognition | Robust Recognition of Vowels in Speech Impediment Therapy Systems |
| Róbert Busa-Fekete, Kornél Kovács, and András Kocsor | Databases | Extracting Human Protein Information from MEDLINE Using a Full-Sentence Parser |
| Loránd Muzamel | Automata, models, temporal logic | The Power of Deterministic Alternating Tree-Walking Automata |
| László Lengyel, Tihamér Levendovszky, and Hassan Charaf | Model-Based Software Development | Aspect-UML-Driven Model-Based Software Development |
| Péter Balázs | Image Processing | On the Ambiguity of Reconstructing Decomposable hv-Convex Binary Matrices |
| József Kovács | Grid Systems | Formal analysis of existing checkpointing systems and introduction of a novel approach |
| László Lövei, Máté Tejfel, Mónika Mészáros, Zoltán Horváth,
and Tamás Kozsik |
Programming Languages | Comparing Specification with Proved Properties of Clean Dynamics |
| Krisztina Tóth, Richárd Farkas, and András Kocsor | Artificial Intelligence | Hybrid algorithm for sentence alignment of Hungarian-English parallel corpora |
| Antal Wu-Hen Chang, Dung Le Viet, and Gyula Csopaki | Telecommunication, TTCN-3 | High-level Restructuring of TTCN-3 Test Suites |
| Pedone Gianfranco | Networks, Frameworks | An Agent-based Framework for Supporing e-Health |
| László Gönczy | Software Environments,MDA, DSM, SOA | Verification of Reconfiguration Mechanisms in Service-Oriented |
| Name | Session | Title |
| József Dombi and Norbert Győrbíró | Fuzzy and Control | Pliant Ranking |
| János Balogh, József Békési, Gábor Galambos, and Gerhard Reinelt | Bin Packing | One dimensional semi-on-line bin packing algorithms |
| Ákos Horváth | Model Transformations | Automatic Generation of Compiled Model Transformations |
| Máté Kovács | Model Transformations | Simulation and Formal Analysis of Workflow Models Using Model Transformations |
| István Szépkúti | Databases | Caching in Multidimensional Databases |
| Miklós Póth | Optimization and Interpolation | Comparison of convolution based interpolation techniques in digital
image processing |
| Szabolcs Faragó | Algorithms | Implementing and comparing impact algorithms |
| Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, and Tamás Nagy | Programming Languages | Refactoring Erlang Programs |
| Ákos Dávid, Tamás Pozsgai, and László Kozma | Software Engineering | Extending a system with verified components |
| Kristóf Aczél | Artificial Intelligence | Instrument separation in poliphonic recordings using instrument prints |
| Endre Horváth and Judit Jász | Program Analysis, C++ | Comparison of static-and dynamic call graphs |
| Máté J. Csorba and Sándor Palugyai | Telecommunication, TTCN-3 | A Performance Model for Load Test Components |
| István Ráth | Software Environments,MDA, DSM, SOA | Declarative mapping between concrete and abstract syntax of domain-specific visual languages |
| Rita Móga, Tamás Polyák, and István Oláh | Networks, Frameworks | DRM systems in wireless environment |