Országos Doktori Tanács

Személyi adatlap

Tóth, Melinda

személyes adatok
név
Tóth Melinda

Az adatok frissességéről nyilatkozott: 2024-08-01

doktori iskolák
időszak
2019-09-25 –
fokozatok
tudományos fokozat
PhD
fokozat megszerzésének éve
2019
fokozat tudományága
fokozatot kiadó intézmény neve
Eötvös Loránd Tudományegyetem
munkahelyek
2011 –
kutatás
kutatási terület
Elosztott programozási technológiák, párhuzamos programozási technológiák, funkcionális programozási nyelvek, statikus/dinamikus programelemzés, programtranszformációk
jelenlegi kutatásainak tudományága
informatikai tudományok
közlemények
2024

Youssef Gharbi, Melinda Tóth, István Bozó: Measuring and Analysing Erlang's Energy Usage

In: : 2024 47th MIPRO ICT and Electronics Convention (MIPRO) (2024) pp. 1993–1998

dokumentum típusa: Könyvrészlet

nyelv: angol

2024

Zsófia Erdei, István Bozó, Melinda Tóth: Supporting the debugging of Erlang programs by symbolic execution

ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 16: (1) pp. 44–61

dokumentum típusa: Folyóiratcikk

nyelv: angol

2021

Rátai Dániel Balázs, Horváth Zoltán, Porkoláb Zoltán, Tóth Melinda: Traquest model

ACTA CYBERNETICA 25: (2) pp. 435–468

dokumentum típusa: Folyóiratcikk

nyelv: angol

2020

Rakić Gordana, Tóth Melinda, Budimac Zoran: Toward Recursion Aware Complexity Metrics

INFORMATION AND SOFTWARE TECHNOLOGY 118:

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 7

nyelv: angol

2020

Boldizsar Poór, Melinda Tóth, István Bozó: Transformations towards Clean Functional Code

In: Bieniusa Annette, Fördős Viktória: Erlang 2020 (2020) pp. 24–30

dokumentum típusa: Könyvrészlet

független idéző közlemények száma: 4

nyelv: angol

2018

Kozsik T, Tóth M, Bozó I: Free the Conqueror! Refactoring divide-and-conquer functions

FUTURE GENERATION COMPUTER SYSTEMS 79: (2) pp. 687–699

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 10

nyelv: angol

2014

Bozó István, Fordós Viktoria, Horvath Zoltán, Tóth Melinda, Horpácsi Dániel, Kozsik Tamás, Köszegi Judit, Barwell Adam, Brown Christopher, Hammond Kevin: Discovering parallel pattern candidates in Erlang

In: Laura M Castro, Hans Svensson: Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang (2014) pp. 13–23

dokumentum típusa: Könyvrészlet

független idéző közlemények száma: 21

nyelv: angol

2012

Melinda Tóth, István Bozó: Static Analysis of Complex Software Systems Implemented in Erlang

In: Zsók Viktória, Horváth Zoltán, Plasmeijer Rinus: Central European Functional Programming School (2012) pp. 440–498

dokumentum típusa: Könyvrészlet

független idéző közlemények száma: 8

nyelv: angol

2010

Tóth M, Bozó I, Horváth Z, Lövei L, Tejfel M, Kozsik T: Impact analysis of Erlang programs using behaviour dependency graphs

LECTURE NOTES IN COMPUTER SCIENCE 6299: pp. 372–390

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 9

nyelv: angol

2008

Huiqing Li, Thompson Simon, Orosz György, Tóth Melinda: Refactoring with wrangler, updated: data and process refactorings, and integration with Eclipse

In: Horváth Zoltán, Tee Teoh: Erlang '08, Proceedings of the SIGPLAN Erlang Workshop (2008) pp. 61–72

dokumentum típusa: Könyvrészlet

független idéző közlemények száma: 25

nyelv: angol