11.
Al-Gburi, Noor ; Kocsis, Imre
Towards the Requirement-Driven Generation and Evaluation of Hyperledger Fabric Network Designs
In: Proceedings of the 31th Minisymposium
Bp, Hungary : Budapesti Műszaki és Gazdaságtudományi Egyetem (2024) pp. 72-77. , 6 p.
DOI Other URL
Publication:34849521 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34849521] [Approved]
12.
Eszlari, Nora ✉ ; Hullam, Gabor ; Gal, Zsofia ; Torok, Dora ; Nagy, Tamas ; Millinghoffer, Andras ; Baksa, Daniel ; Gonda, Xenia ; Antal, Peter ; Bagdy, Gyorgy et al.
Olfactory genes affect major depression in highly educated, emotionally stable, lean women: a bridge between animal models and precision medicine
TRANSLATIONAL PSYCHIATRY 14 : 1 Paper: 182 , 10 p. (2024)
DOI WoS Scopus PubMed
Publication:34779723 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34779723] [Validated]
13.
Bajczi, Levente ✉ ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 330-334. Paper: Chapter 16 , 5 p. (2024)
DOI Scopus Other URL
Publication:34768972 Published Core Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper in journal (Journal Article) | Scientific[34768972] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
14.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI Scopus Other URL
Publication:34768428 Published Core Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper in journal (Journal Article) | Scientific[34768428] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
15.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI Scopus Other URL
Publication:34768422 Published Core Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper in journal (Journal Article) | Scientific[34768422] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
16.
Pogány, Domonkos ✉ ; Antal, Péter
Towards explainable interaction prediction: Embedding biological hierarchies into hyperbolic interaction space
PLOS ONE 19 : 3 Paper: e0300906 , 23 p. (2024)
DOI WoS Scopus PubMed Other URL
Publication:34751205 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34751205] [Approved]
17.
Serban, Andrada A. ; Micskei, Zoltán
Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study
ACTA POLYTECHNICA HUNGARICA 21 : 8 pp. 87-106. , 20 p. (2024)
DOI WoS Scopus
Publication:34727894 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34727894] [Approved]
18.
Ákos, Ferenc Hegedűs ; Tamás, Dabóczi
Design Optimization of a Current Sensing Trace with respect to Skin Effect by FEM Simulations
(2024) , 4 p.
Publication:34726765 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34726765] [Approved]
19.
Alrwashdeh, Monther ; Czifra, Balazs ; Kollár, Zsolt
Analysis of Quantization Noise in Fixed-Point HDFT Algorithms
IEEE SIGNAL PROCESSING LETTERS 31 pp. 756-760. , 5 p. (2024)
DOI WoS Scopus Other URL
Publication:34720081 Published Core Citing Journal Article (Note, Short, Rapid communications ) Scientific
Note, Short, Rapid communications (Journal Article) | Scientific[34720081] [Approved]
20.
Al-Rikabi, Hussein ✉ ; Renczes, Balázs
Floating-Point Quantization Analysis of Multi-Layer Perceptron Artificial Neural Networks
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY , 12 p. (2024)
DOI Scopus Other URL Teljes dokumentum
Publication:34714521 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34714521] [Approved]
2024-05-27 13:12