Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Mihály Dobos-Kovács"'
Autor:
Mihály Dobos-Kovács, András Vörös
Publikováno v:
Proceedings of the 11th Latin-American Symposium on Dependable Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b49bf074f095d8c16af54d5c94ea5ecb
https://doi.org/10.1145/3569902.3570187
https://doi.org/10.1145/3569902.3570187
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Thetais a model checking framework based on abstraction refinement algorithms. In SV-COMP 2022, we introduce: 1) reasoning at the source-level via a direct translation from C programs; 2) support for concurrent programs with interleaving semantics; 3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5cfbc4749aafc52b9c8ced4aad6b5af
https://doi.org/10.1007/978-3-030-99527-0_34
https://doi.org/10.1007/978-3-030-99527-0_34
Autor:
Mária Baranyi, Eszter Sipos, Manon Bellardie, Dóra Zelena, Bibiána Török, Csilla Lea Fazekas, Elodie Chaillou, Beáta Sperlágh, Mihály Dobos-Kovács, Blanka Tóth
Publikováno v:
Life Sciences
Life Sciences, Elsevier, 2021, 286, pp.1-10. ⟨10.1016/j.lfs.2021.120037⟩
Life Sciences, Elsevier, 2021, 286, pp.1-10. ⟨10.1016/j.lfs.2021.120037⟩
International audience; AimsMedian raphe region (MRR) is an important bottom-up regulatory center for various behaviors as well as vegetative functions, but detailed descriptions and links between the two are still largely unexplored.MethodsPharmacog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1667b2af4da3a16caa47881bab7934b9
https://doi.org/10.1016/j.lfs.2021.120037
https://doi.org/10.1016/j.lfs.2021.120037
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dobos-Kovács, Mihály1 (AUTHOR), Varga, Zsuzsanna2 (AUTHOR) vargazs@vmri.hu, Czifra, György3 (AUTHOR), Stipkovits, László2 (AUTHOR)
Publikováno v:
Avian Pathology. Jun2009, Vol. 38 Issue 3, p239-243. 5p. 2 Black and White Photographs, 1 Diagram, 1 Graph.
Autor:
Mándoki, Míra1 (AUTHOR) Mandoki.Mira@aotk.szie.hu, Bakonyi, Tamás2 (AUTHOR), Ivanics, Éva3 (AUTHOR), Nemes, Csaba4 (AUTHOR), Dobos-Kovács, Mihály1 (AUTHOR), Rusvai, Miklós1 (AUTHOR)
Publikováno v:
Avian Pathology. Jun2006, Vol. 35 Issue 3, p224-229. 6p. 3 Black and White Photographs, 1 Diagram.
Autor:
Bernáth, Sándor1 (AUTHOR) bernath@oai.hu, Farsang, Attila1 (AUTHOR), Kovács, Andrea1 (AUTHOR), Nagy, Edith1 (AUTHOR), Dobos-Kovács, Mihály2 (AUTHOR)
Publikováno v:
Avian Pathology. Feb2006, Vol. 35 Issue 1, p49-52. 4p.
Autor:
Cavanagh, Dave1 (AUTHOR) dave.cavanagh@bbsrc.ac.uk
Publikováno v:
Avian Pathology. Dec2005, Vol. 34 Issue 6, p439-448. 10p.