21.
István, Donkó ; Ambrus, Kaposi ; Melinda, Tóth
Formalizing a relational model of concurrent programs in a dependently typed environment
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, Universitatea Babeş-Bolyai, Facultatea de Matematică și Informatică, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 45-46. , 2 p.
Other URL
Publication:31827384 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31827384] [Admin approved]
22.
Mátyás, Komáromi ; Melinda, Tóth ; István, Bozó
Gview: Visualising software dependencies in order to support code comprehension
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. 98-99. , 2 p.
Publication:31827373 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31827373] [Admin approved]
23.
Ciuciu-Kiss, Jenifer Tabita ; Bozó, István ; Tóth, Melinda
Towards Version Controlling in RefactorErl
In: The 12th Conference of PhD Students in Computer Science : Volume of short papers
Szeged, Hungary : SZTE (2020) pp. 95-98. , 4 p.
Publication:31378102 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[31378102] [Admin approved]
24.
Rátai, Dániel Balázs ; Horváth, Zoltán ; Porkoláb, Zoltán ; Tóth, Melinda
Traquest model - a novel model for ACID concurrent computations
In: The 12th Conference of PhD Students in Computer Science : Volume of short papers
Szeged, Hungary : SZTE (2020) pp. 44-48. , 5 p.
Publication:31378082 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[31378082] [Admin approved]
25.
Boldizsar, Poór ; Melinda, Tóth ; István, Bozó
Transformations towards Clean Functional Code
In: Bieniusa, Annette; Fördős, Viktória (eds.) Erlang 2020 : Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
New York City, United States of America : ACM (2020) pp. 24-30. , 7 p.
DOI
Publication:31377115 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[31377115] [Validated]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
26.
Rakić, Gordana ; Tóth, Melinda ; Budimac, Zoran
Toward Recursion Aware Complexity Metrics
INFORMATION AND SOFTWARE TECHNOLOGY 118 Paper: 106203 (2020)
DOI WoS
Publication:30849927 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 7 | Independent citation: 7 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 5 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[30849927] [Admin approved]
All citations+mentions: 7, External citations: 7, Self citations: 0, Unhandled citations: 0
27.
Mátyás, Komáromi ; István, Bozó ; Melinda, Tóth
Optimising the Force-Directed Layout Generation pp. 1-18. , 18 p. (2019)
Publication:31009267 Published Core Citing Miscellaneous (Publication in repository ) Scientific
Publication in repository (Miscellaneous) | Scientific[31009267] [Approved]
28.
Anna, Reale ; Peter, Kiss ; Melinda, Toth ; Zoltan, Horvath
Designing a Decentralized Container based Fog Computing Framework for Task Distribution and Management
INTERNATIONAL JOURNAL OF COMPUTERS AND COMMUNICATIONS 13 : x pp. 1-7. , 7 p. (2019)
Publication:30803154 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[30803154] [Admin approved]
29.
Nagy, Gergely ; Mészáros, Áron Attila ; Bozó, István ; Tóth, Melinda
Tools supporting green computing in Erlang
In: Francalanza, Adrian; Fördős, Viktória Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019
New York City, United States of America : ACM Press (2019) pp. 30-35. , 6 p.
DOI WoS
Publication:30773500 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[30773500] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
30.
Tóth, Melinda
Adat és kiértékelési függőségi elemzés funkcionális nyelvekre: Erlang programok statikus elemzése 71 p.
Eötvös Loránd University, Informatika Doktori Iskola, Dissertation submission year: 2018, Accepted: 2019 Published/defended: 2019
DOI ELTE Könyvtára EDIT
Publication:30548278 Validated Core Citing Thesis (PhD ) Scientific
PhD (Thesis) | Scientific[30548278] [Validated]
2024-05-21 01:10