11.
Seres, István András ; Burcsi, Péter
A Note on Low Order Assumptions in RSA groups
RAD HRVATSKE AKADEMIJE ZNANOSTI I UMJETNOSTI-MATEMATICKE ZNANOSTI 25 : 546 pp. 15-31. , 17 p. (2021)
DOI WoS
Publication:31281149 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31281149] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
12.
Bereczky, Péter
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant (2020)
Egyéb URL
Publication:32706215 Published Core Miscellaneous (Diploma thesis, Report of Scientific Students Association ) Scientific
Diploma thesis, Report of Scientific Students Association (Miscellaneous) | Scientific[32706215] [Approved]
13.
Bereczky, Péter ; Horpácsi, Dániel ; Kőszegi, Judit ; Szeier, Soma ; Thompson, Simon
Validating Formal Semantics by Property-Based Cross-Testing
In: IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages
(2020) pp. 150-161. , 12 p.
DOI Scopus Other URL
Publication:32133157 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32133157] [Admin approved]
14.
Rill, R.A.
Intuitive Estimation of Speed using Motion and Monocular Depth Information
STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 65 : 1 pp. 33-45. , 13 p. (2020)
DOI Egyéb URL
Publication:32101728 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[32101728] [Approved]
15.
Alqaradaghi, Midya ; T., Kozsik
Switch to the new switch in Java
In: Iványi, Péter (eds.) Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM
Pécs, Hungary : Pollack Press (2020) p. 143
Publication:32055635 Admin approved Core Chapter in Book (Abstract ) Scientific
Abstract (Chapter in Book) | Scientific[32055635] [Admin approved]
16.
Fried, Katalin ; Fekete, István ; Princz, Péter
Better understanding mathematics by algorithmic thinking and computer programming
TEACHING MATHEMATICS AND COMPUTER SCIENCE 18 : 4 pp. 295-305. , 11 p. (2020)
DOI
Publication:31868340 Admin approved Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[31868340] [Admin approved]
17.
Martin, Csongor László ; Ádám, Tarcsi ; Zoltán, Istenes
ACQUIRING BREATHING MOVEMENT AND HEART RATE FROM INERTIAL MEASUREMENT UNITS
In: Mário, Macedo (eds.) Proceedings of International Conference e-Health 2020
Lisbon, Lisboa, Portugal : IADIS Press (2020) pp. 227-229. , 3 p.
Egyéb URL
Publication:31834827 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[31834827] [Approved]
18.
Gereltsetseg, Altangerel ; Máté, Tejfel
Some optimization possibilities in data plane programming
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 14-15. , 2 p.
Publication:31828857 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31828857] [Admin approved]
19.
Anna, Reale ; Benedek, Kovács ; Melinda, Tóth ; Zoltán, Horváth
Services for an Edge-native application
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 156-157. , 2 p.
Publication:31827544 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31827544] [Admin approved]
20.
Dániel, Balázs Rátai ; Zoltán, Horváth ; Zoltán, Porkoláb ; Melinda, Tóth
Cell-oriented Programming
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 154-155. , 2 p.
Publication:31827520 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31827520] [Admin approved]
2024-05-04 18:34