Kovacs-Balint, Zsofia A.
421  results:
Search for persons X
?
1

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
 
?
 
?
11

Networked control of a Parrot Mambo drone:

, In: 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE),
 
?
13

Corrigendum to "Functional maturation in visual pathways pr..:

Ford, Aiden ; Kovacs-Balint, Zsofia A. ; Wang, Arick...
Developmental Cognitive Neuroscience.  67 (2024)  - p. 101364 , 2024
 
?
15

MicroRNA-Mediated Suppression of Glial Cell Line-Derived Ne..:

Keszler, Gergely ; Vékony, Bálint ; Elek, Zsuzsanna...
International Journal of Molecular Sciences.  25 (2024)  8 - p. 4477 , 2024
 
1-15