×
Author ID: hajdu.akos Recent zbMATH articles by "Hajdu, Ákos"
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

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 8 times in 7 Documents Cited by Year
A viscoplastic model including anisotropic damage for the time dependent behaviour of rock. Zbl 1128.74029
Pellet, F.; Hajdu, A.; Deleruyelle, F.; Besnus, F.
4
2005
New search strategies for the Petri net CEGAR approach. Zbl 1432.68308
Hajdu, Ákos; Vörös, András; Bartha, Tamás
3
2015
A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226
Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István
2
2016
Extensions to the CEGAR approach on Petri nets. Zbl 1313.68080
Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán
2
2014
Efficient strategies for CEGAR-based model checking. Zbl 1468.68131
Hajdu, Ákos; Micskei, Zoltán
1
2020
Efficient strategies for CEGAR-based model checking. Zbl 1468.68131
Hajdu, Ákos; Micskei, Zoltán
1
2020
A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226
Hajdu, Á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.68308
Hajdu, Ákos; Vörös, András; Bartha, Tamás
3
2015
Extensions to the CEGAR approach on Petri nets. Zbl 1313.68080
Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán
2
2014
A viscoplastic model including anisotropic damage for the time dependent behaviour of rock. Zbl 1128.74029
Pellet, F.; Hajdu, A.; Deleruyelle, F.; Besnus, F.
4
2005

Citations by Year