E-LIB Suche - Ergebnisse für: Szekeres, Dániel

1

Theta: Abstraction Based Techniques for Verifying Concurren..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk... - p. 412-417 , 2024

Link: https://doi.org/10.1007/..

2

EmergenTheta: Verification Beyond Abstraction Refinement (C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajczi, Levente ; Szekeres, Dániel ; Mondok, Milán... - p. 371-375 , 2024

Link: https://doi.org/10.1007/..

3

Artifact for "Lazy abstraction for Markov Decision Processe..:

Szekeres, Dániel ; Marussy, Kristóf ; Majzik, István
doi:10.5281/zenodo.7955075. , 2023

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

4

Towards Abstraction-based Probabilistic Program Analysis:

Szekeres, Dániel ; Majzik, István
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323/4070. , 2023

Link: https://cyber.bibl.u-sze..

5

Artifact for "Lazy abstraction for Markov Decision Processe..:

Szekeres, Dániel ; Marussy, Kristóf ; Majzik, István
doi:10.5281/zenodo.7955075. , 2023

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

6

Towards tensor-based reliability analysisof complex safety-..:

Dániel, Szekeres
doi:10.5281/zenodo.4665612. , 2021

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

7

Gamle danske husdyrracers genomer - Racernes oprindelse og ..:

Szekeres, Balazs Daniel ; Schönherz, Anna ; Nielsen, Vivi Hunnicke.
Szekeres , B D , Schönherz , A , Nielsen , V H & Guldbrandtsen , B 2016 , Gamle danske husdyrracers genomer - Racernes oprindelse og slægtskab . DCA rapport , nr. 082 , bind 082 , DCA - Nationalt Center for Fødevarer og Jordbrug, .. , 2016

Link: https://pure.au.dk/porta..

8

Hemolysis Index Correlations with Plasma-Free Hemoglobin an..:

Zapletal, Bernhard ; Zimpfer, Daniel ; Schlöglhofer, Thomas...
Diagnostics. 14 (2024) 7 - p. 680 , 2024

Link: https://doi.org/10.3390/..

9

Contrary effects of increasing temperatures on the spread o..:

Bagra, Kenyum ; Kneis, David ; Padfield, Daniel...
mSphere. 9 (2024) 2 - p. , 2024

Link: https://doi.org/10.1128/..

10

Effects of voluntary and forced physical exercise on the re..:

Szilágyi, Anna ; Takács, Barbara ; Szekeres, Réka...
GeroScience. , 2024

Link: https://doi.org/10.1007/..

11

Human Resource Assessment and Sustainability : Investigatin..:

Szabó, Dániel Róbert ; Borzán, Anita ; Szekeres, Bernadett.
Észak-magyarországi Stratégiai Füzetek. 21 (2024) 2 - p. 118-127 , 2024

Link: https://doi.org/10.32976..

12

Scale-up of Aflatoxin Purification by Centrifugal Partition..:

Endre, Gábor ; Nagy, Babett Edit ; Hercegfalvi, Dániel...
Toxins. 15 (2023) 3 - p. 178 , 2023

Link: https://doi.org/10.3390/..

13

Therapeutic Aspects of Prunus cerasus Extract in a Rabbit M..:

Szekeres, Reka ; Priksz, Daniel ; Kiss, Rita...
International Journal of Molecular Sciences. 24 (2023) 17 - p. 13253 , 2023

Link: https://doi.org/10.3390/..

14

Examination of Preferences for COVID-19 Vaccines in Hungary..:

Blaga, Zsanett ; Czine, Peter ; Takacs, Barbara...
International Journal of Environmental Research and Public Health. 20 (2023) 2 - p. 1270 , 2023

Link: https://doi.org/10.3390/..

15

Cardioprotective Role of BGP-15 in Ageing Zucker Diabetic F..:

Kozma, Mate ; Bombicz, Mariann ; Varga, Balazs...
Pharmaceutics. 14 (2022) 2 - p. 226 , 2022

Link: https://doi.org/10.3390/..