E-LIB Suche - Ergebnisse für: Horváth, Benedek

1

Pragmatic verification and validation of industrial executa..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
Systems Engineering. 26 (2023) 6 - p. 693-714 , 2023

2

Evolution of the bulk electric field in capacitively couple..:

Vass, Máté ; Wilczek, Sebastian ; Derzsi, Aranka...
Plasma Sources Science and Technology. 31 (2022) 4 - p. 045017 , 2022

Link: https://doi.org/10.1088/..

3

eduPIC: an introductory particle based code for radio-frequ..:

Donkó, Zoltán ; Derzsi, Aranka ; Vass, Máté...
Plasma Sources Science and Technology. 30 (2021) 9 - p. 095017 , 2021

Link: https://doi.org/10.1088/..

4

Towards the next generation of reactive model transformatio..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Horváth, Benedek ; Horváth, Ákos ; Wimmer, Manuel - p. 1-10 , 2020

Link: https://dl.acm.org/doi/1..

5

Model checking as a service : towards pragmatic hidden f..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos... - p. 1-5 , 2020

Link: https://dl.acm.org/doi/1..

6

Supplementary Material to the Pragmatic Verification and Va..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
doi:10.1002/sys.21679. , 2023

Link: https://zenodo.org/recor..

7

Experimental validation of particle-in-cell/Monte Carlo col..:

Park, Chan-Won ; Horváth, Benedek ; Derzsi, Aranka...
http://arxiv.org/abs/2307.14821. , 2023

Link: http://arxiv.org/abs/230..

8

Supplementary Material to the Pragmatic Verification and Va..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
doi:10.5281/zenodo.7564294. , 2023

Link: https://zenodo.org/recor..

9

Nonlocal dynamics of secondary electrons in capacitively co..:

Noesges, Katharina ; Klich, Maximilian ; Derzsi, Aranka...
http://arxiv.org/abs/2303.15063. , 2023

Link: http://arxiv.org/abs/230..

10

Frequency-dependent electron power absorption mode transiti..:

Derzsi, Aranka ; Vass, Mate ; Masheyeva, Ranna...
http://arxiv.org/abs/2307.10319. , 2023

Link: http://arxiv.org/abs/230..

11

2021 ACM/IEEE 24th International Conference on Model Driven..:

Colantoni, Alessandro ; Horváth, Benedek ; Horváth, Ákos..
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-8460/128. , 2021

Link: https://resolver.obvsg.a..

12

eduPIC: an introductory particle based code for radio-frequ..:

Donko, Zoltan ; Derzsi, Aranka ; Vass, Mate...
http://arxiv.org/abs/2103.09642. , 2021

Link: http://arxiv.org/abs/210..

13

Model Checking as a Service: Towards Pragmatic Hidden Forma..:

Benedek Horváth ; Ákos Hajdu ; Bence Graics...
info:eu-repo/grantAgreement/EC/H2020/813884/. , 2020

Link: https://zenodo.org/recor..

14

Towards the Next Generation of Reactive Model Transformatio..:

Benedek Horváth ; Ákos Horváth ; Manuel Wimmer
info:eu-repo/grantAgreement/EC/H2020/813884/. , 2020

Link: https://zenodo.org/recor..

15

Development of a life cycle net zero carbon compact house c..:

Szalay, Zsuzsa ; Szagri, Dóra ; Bihari, Ádám...
Energy Reports. 8 (2022) - p. 12987-13013 , 2022

Link: https://doi.org/10.1016/..