Edit Profile (opens in new tab) Hajdu, Ákos Compute Distance To: Compute Author ID: hajdu.akos Published as: Hajdu, Ákos External Links: ORCID Documents Indexed: 5 Publications since 2005 Co-Authors: 6 Co-Authors with 4 Joint Publications 18 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Vörös, András 2 Bartha, Tamás 1 Besnus, F. 1 Deleruyelle, F. 1 Majzik, Istvan 1 Mártonka, Zoltán 1 Micskei, Zoltán 1 Pellet, Frederic L. 1 Tóth, Tamás Serials 1 International Journal for Numerical and Analytical Methods in Geomechanics 1 Acta Cybernetica 1 Journal of Automated Reasoning Fields 4 Computer science (68-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year Citations contained in zbMATH Open 4 Publications have been cited 5 times in 4 Documents Cited by ▼ Year ▼ A viscoplastic model including anisotropic damage for the time dependent behaviour of rock. Zbl 1128.74029Pellet, F.; Hajdu, A.; Deleruyelle, F.; Besnus, F. 2 2005 A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István 2 2016 New search strategies for the Petri net CEGAR approach. Zbl 1432.68308Hajdu, Ákos; Vörös, András; Bartha, Tamás 2 2015 Extensions to the CEGAR approach on Petri nets. Zbl 1313.68080Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán 1 2014 A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István 2 2016 New search strategies for the Petri net CEGAR approach. Zbl 1432.68308Hajdu, Ákos; Vörös, András; Bartha, Tamás 2 2015 Extensions to the CEGAR approach on Petri nets. Zbl 1313.68080Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán 1 2014 A viscoplastic model including anisotropic damage for the time dependent behaviour of rock. Zbl 1128.74029Pellet, F.; Hajdu, A.; Deleruyelle, F.; Besnus, F. 2 2005 all top 5 Cited by 10 Authors 1 Athanasiou, Konstantinos 1 Beyer, Dirk 1 Dangl, Matthias 1 Hajdu, Ákos 1 Liebke, Torsten 1 Liu, Peizun 1 Micskei, Zoltán 1 Wahl, Thomas 1 Wendler, Philipp 1 Wolf, Karsten Cited in 1 Serial 2 Journal of Automated Reasoning Cited in 1 Field 4 Computer science (68-XX) Citations by Year