Search

Now showing items 1-10 of 19

Forward Saturation Based Model Checking

Vörös, András; Bartha, Tamás (2012)

Context-Based Requirements Representation for Software Testing (Summary of PhD Work in 2011)

Oláh, János; Majzik, István (2012)

Dynamic Backward Slicing of Model Transformations

Ujhelyi, Zoltán; Varró, Dániel (2012)

Imputation and Haplotype Reconstruction in Genetic Association Studies (Summary of PhD Work in 2011)

Sarkozy, Peter; Antal, Péter (2012)

Efficient Multithreaded Task Scheduler for Visualization and Data Processing

Laczkó, Péter; Fehér, Béla; Miklós, István (2012)

A Model-Driven Framework for Guided Design Space Exploration

Hegedüs, Ábel; Varró, Dániel (2012)

Network Modeling of Learning in Schizophrenia

Bányai, Mihály; Érdi, Péter; Bazsó, Fülöp; Strausz, György (2012)

Mapping Topic Maps to Common Logic

Demián, Tamás; Pataricza, András (2012)

Calculation of Single Neuron’s Current Sources Based on Multielectrode Recordings

Cserpán, Dorottya; Horváth, Gábor; Somogyvári, Zoltán (2012)

Effects of Bone Shadow Removal on Lesion Detection on Chest Radiographs

Orbán, Gergely; Horváth, Gábor (2012)

1
2