( en | de | ru )

 

Disambiguation of "Horváth, Ákos"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel Saturation Based Model Checking.

, , , , , and . ISPDC, page 94-101. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ákos Nagy

Ákos Balázs

Ákos Tóta

Ákos Bogdán

Ákos Putics

 

Other publications of authors with the same name

Ontology driven design of EMF metamodels and well-formedness constraints., , , , , and . OCL@MoDELS, page 37-42. ACM, (2012)Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories., , , , , , , , , and . MoDELS (Companion), page 27-31. ACM, (2018)CSP(M): Constraint Satisfaction Problem over Models., and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 107-121. Springer, (2009)Integrating Efficient Model Queries in State-of-the-Art EMF Tools., , , , , and . TOOLS (50), volume 7304 of Lecture Notes in Computer Science, page 1-8. Springer, (2012)From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain., , , , , , and . NOMS, page 1-6. IEEE, (2020)Lung nodule volume measurement using digital chest tomosynthesis., , , , , and . I2MTC, page 2026-2031. IEEE, (2015)Local Search-Based Pattern Matching Features in EMF-IncQuery., , , and . ICGT, volume 9151 of Lecture Notes in Computer Science, page 275-282. Springer, (2015)Demonstration of P-GRADE Job-Mode for the Grid., , , , , , , , , and 2 other author(s). Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 1281-1286. Springer, (2003)Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery., , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 389-390. Springer, (2011)Towards the next generation of reactive model transformations on low-code platforms: three research lines., , and . MoDELS (Companion), page 65:1-65:10. ACM, (2020)