E-LIB Suche - Ergebnisse für: Faragó, David

1

A Full-fledged Commit Message Quality Checker Based on Mach..:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),

Farago, David ; Farber, Michael ; Petrov, Christian - p. 788-799 , 2023

Link: https://doi.org/10.1109/..

2

Investigation of heat treatment process using Particle Imag..:

Koós, Dániel ; Faragó, Dávid ; Bencs, Péter...
MATEC Web of Conferences. 367 (2022) - p. 00015 , 2022

Link: https://doi.org/10.1051/..

3

Heat pumps in the future:

Gresz, Tímea ; Faragó, Dávid ; Bencs, Péter...
MATEC Web of Conferences. 345 (2021) - p. 00004 , 2021

Link: https://doi.org/10.1051/..

4

QPR Verify: A Static Analysis Tool for Embedded Software Ba..:

, In: Lecture Notes in Computer Science; Software Verification,

Kleine Büning, Marko ; Sinz, Carsten ; Faragó, David - p. 21-32 , 2020

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

5

Proceedings of the 2014 Workshop on Joining AcadeMiA and In..:

Budnik, Christof ; Carrozza, Gabriella ; Faragó, David... , 2014

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

6

A Full-fledged Commit Message Quality Checker Based on Mach..:

Faragó, David ; Färber, Michael ; Petrov, Christian
http://arxiv.org/abs/2309.04797. , 2023

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

7

Investigation of heat treatment process using Particle Imag..:

Koós Dániel ; Faragó Dávid ; Bencs Péter
https://www.matec-conferences.org/articles/matecconf/pdf/2022/14/matecconf_pse22_00015.pdf. , 2022

Link: https://doi.org/10.1051/..

8

Heat pumps in the future:

Gresz Tímea ; Faragó Dávid ; Bencs Péter
https://www.matec-conferences.org/articles/matecconf/pdf/2021/14/matecconf_pse2021_00004.pdf. , 2021

Link: https://doi.org/10.1051/..

9

Pótlások a Brodarics-kiadáshoz:

Faragó Dávid ; Kasza Péter ; Szovák Márton
http://publicatio.bibl.u-szeged.hu/23685/1/04_Farago_Kasza_Szovak.pdf. , 2021

Link: http://publicatio.bibl.u..

10

Measurement of turbulence properties:

Faragó, Dávid ; Bencs, Péter
https://ojs.bibl.u-szeged.hu/index.php/analecta/article/view/33374/32635. , 2020

Link: https://ojs.bibl.u-szege..

11

Model Checking and Model-Based Testing : Improving Their Fe..:

Faragó, David
https://publikationen.bibliothek.kit.edu/1000059473. , 2016

Link: https://publikationen.bi..

12

Improved on-the-fly livelock detection: combining partial o..:

Laarman, Alfons ; Faragó, David
http://doc.utwente.nl/84628/1/Laarman13improved.pdf. , 2013

Link: http://purl.utwente.nl/p..

13

66 Oral Analgesia in Fixed-Time Interval vs. On-Demand foll..:

Bachar, Gal ; Justman, Naphtali ; Fater, Gili Buchnik...
American Journal of Obstetrics and Gynecology. 230 (2024) 1 - p. S50-S51 , 2024

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

14

Fixed-time interval vs on-demand oral analgesia after vagin..:

Bachar, Gal ; Alter, Adi ; Justman, Naphtali...
American Journal of Obstetrics & Gynecology MFM. 6 (2024) 5 - p. 101372 , 2024

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

15

Nanoscale structure of a hybrid aqueous–nonaqueous electrol..:

Saboungi, Marie-Louise ; Borodin, Oleg ; Price, David L....
The Journal of Chemical Physics. 158 (2023) 12 - p. , 2023

Link: https://doi.org/10.1063/..