| Name |
Session |
Title |
| Áron Sisak |
Metaprogramming |
Verification of UML 2 State Machines by Automated Model Transformation to the SAL Model Checker |
| Ferenc Bozóki et al. |
Testing |
Test Component Assignment and Scheduling in a Load Testing Environment |
| Levente Hunyadi |
Operation Research |
An Identification Approach to Dynamic Errors-in-variables Systems with a Preliminary Clustering of Observations |
| Kristóf Csorba et al. |
Artificial Intelligence |
Searching for Similar Documents Between Mobile Devices |
| Balázs Erdőhelyi |
Image processing |
Bone Fragment Repositioning Using Registration Methods |
| József Dániel Dombi et al. |
Clouds, Fuzzy Sets |
Function Approximation with Fuzzy Operators |
| Thorsten Bonato |
Graph Theory, Algorithms |
Lifting and Separation Procedures for the Cut Polytope |
| Melinda Tóth et al. |
Program Analysis |
Call Graph and Data Flow analysis of Dynamic Functional Language |
| József Marton et al. |
Distributed Solutions |
In-memory Preprocessing of Streaming Sensory Data: a Partitioned Relational Database Approach |
| József Dániel Dombi et al. |
Allocation Problems |
Adaptive Scheduling Solution for Grid Meta-brokering |
| Ville Piirainen |
Theoretical Computer Science |
Principal Varieties of Finite Congruences |
| István Siket |
Program Analysis and Evaluation |
Evaluating the Effectiveness of Object Oriented Metrics for Bug Prediction |
| Name |
Session |
Title |
| Gergely Dévai |
Metaprogramming |
Metaprogramming on the Proof Level |
| Zalán Szűgyi et al. |
Testing |
Necessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage |
| Emese Szádeczky-Kardoss |
Artificial Intelligence |
Designing a Tracking Controller for Passenger Cars with Steering Input |
| László Csernetics |
Image Processing |
Backprojection Reconstruction Algorithm Using Order Statistic Filters in Breast Tomosynthesis |
| Mihály Gara et al. |
Image Processing |
Determination of Geometric Features of Binary Images from Their Projections by Using Decision Trees |
| Jan-Hendrik Prinz |
Graph Theory, Algorithms |
Enhanced Phasespace Sampling of Biomolecular Systems Using Metastability |
| András Csernenszky |
Graph Theory, Algorithms |
The Chooser-Picker 7-in-a-row-game |
| Anett Rácz |
Branch and Bound Technique |
Determining Initial Bound by "Ray-method" in Branch and Bound Procedure |
| Judit Jász |
Program Analysis |
Efficient Static Impact Analysis |
| Péter Kardos |
Recognition, Skeletonization Algorithms |
An Order-Independent Sequential Thinning Algorithm |
| Izabella Sthul |
Theoretical Computer Science |
Steiner Loops |
| Lajos Jenő Fülöp |
Program Analysis and Evaluation |
Introducing a Benchmark for Evaluating Reverse Engineering Tools |
