Az adatok hitelességéről nyilatkozott: 2024. I. 05. Közlemények |
2021
adattárból, 2021. X. 22. |
Horpácsi Dániel, Kőszegi Judit, Németh Dávid János: Towards a Generic Framework for Trustworthy Program Refactoring, ACTA CYBERNETICA dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2020
adattárból, 2021. X. 22. |
Laki Sandor, Horpacsi Daniel, Voros Peter, Tejfel Mate, Hudoba Peter, Pongracz Gergely, Molnar Laszlo: The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes, In: 2020 23RD CONFERENCE ON INNOVATION IN CLOUDS, INTERNET AND NETWORKS AND WORKSHOPS (ICIN 2020), IEEE (2020) pp. 23-28. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2020
adattárból, 2021. X. 22. |
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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2020
adattárból, 2021. X. 22. |
Bereczky Péter, Donkó István, Horpácsi Dániel, Kaposi Ambrus, Németh Dávid János: Interactive Teaching of Programming Language Theory with a Proof Assistant, CENTRAL-EUROPEAN JOURNAL OF NEW TECHNOLOGIES IN RESEARCH EDUCATION AND PRACTICE 2: pp. 19-33. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2020
adattárból, 2021. X. 22. |
Bereczky Péter, Horpácsi Dániel, Thompson Simon: A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang, LECTURE NOTES IN COMPUTER SCIENCE 12222: pp. 139-158. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2017
adattárból, 2021. X. 22. |
Horpácsi Dániel, Kőszegi Judit, Horváth Zoltán: Trustworthy Refactoring via Decomposition and Schemes, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 253: (253) pp. 92-108. dokumentum típusa: Folyóiratcikk/Konferenciaközlemény független idéző közlemények száma: 1 nyelv: angol URL |
2016
adattárból, 2021. X. 22. |
Dániel Horpácsi, Judit Kőszegi, Simon Thompson: Towards Trustworthy Refactoring in Erlang, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 216: pp. 83-103. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol URL |
2015
adattárból, 2021. X. 22. |
István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi, Melinda Tóth: Refactorings to Enable Parallelization, LECTURE NOTES IN COMPUTER SCIENCE 8843: pp. 104-121. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 3 nyelv: angol URL |
2014
adattárból, 2021. X. 22. |
István Bozó, Viktoria Fordós, Zoltán Horvath, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond: Discovering parallel pattern candidates in Erlang, In: Laura, M Castro; Hans, Svensson (szerk.) Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, ACM Press (2014) pp. 13-23. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 18 nyelv: angol URL |
2011
adattárból, 2021. X. 22. |
Bozó I, Horpácsi D, Horváth Z, Kitlei R, Köszegi J, Tejfel M, Tóth M: RefactorErl - Source Code Analysis and Refactoring in Erlang, In: Penjam, Jaan (szerk.) 12th Symposium on Programming Languages and Software Tools, SPLST 2011, Tallinn University of Technology (2011) pp. 138-148. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 2 nyelv: angol
|
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 24 |
|
|