Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gergely Dévai
@phdthesis{DBLP:phd/hu/Gergely18,
author = {Gergely D{\'{e}}vai},
title = {Programhelyess{\'{e}}g-bizony{\'{\i}}t{\'{a}}s ford{\'{\i}}t{\'{a}}si
id{\H{o}}ben},
school = {E{\"{o}}tv{\"{o}}s Lor{\'{a}}nd University, Hungary},
year = {2018},
url = {https://doktori.hu/index.php?menuid=193\&\#38;lang=HU\&\#38;vid=17420},
timestamp = {Thu, 08 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hu/Gergely18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DevayGTANKNGDGN16,
author = {Gergely D{\'{e}}vay and
Tibor Gregorics and
Melinda T{\'{o}}th and
Domonkos Asztalos and
D{\'{a}}vid J{\'{a}}nos N{\'{e}}meth and
G{\'{a}}bor Ferenc Kov{\'{a}}cs and
Boldizs{\'{a}}r N{\'{e}}meth and
Zolt{\'{a}}n Gera and
Andr{\'{a}}s Dobreff and
Bal{\'{a}}zs Gregorics and
Andr{\'{a}}s Nagy and
Martin Budai and
Zsolt Kulik and
Krist{\'{o}}f Kany{\'{o}}},
editor = {Juan de Lara and
Peter J. Clarke and
Mehrdad Sabetzadeh},
title = {txtUML},
booktitle = {Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located
with {ACM/IEEE} 19th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1725},
pages = {8--15},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1725/demo2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DevayGTANKNGDGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DevaiKNKK15,
author = {Gergely D{\'{e}}vai and
M{\'{a}}t{\'{e}} Kar{\'{a}}csony and
Boldizs{\'{a}}r N{\'{e}}meth and
R{\'{o}}bert Kitlei and
Tam{\'{a}}s Kozsik},
editor = {Tanja Mayerhofer and
Philip Langer and
Ed Seidewitz and
Jeff Gray},
title = {{UML} Model Execution via Code Generation},
booktitle = {Proceedings of the 1st International Workshop on Executable Modeling
co-located with {ACM/IEEE} 18th International Conference on Model
Driven Engineering Languages and Systems {(MODELS} 2015), Ottawa,
Canada, September 27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1560},
pages = {9--15},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1560/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DevaiKNKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GregoricsGKDD15,
author = {Bal{\'{a}}zs Gregorics and
Tibor Gregorics and
G{\'{a}}bor Ferenc Kov{\'{a}}cs and
Andr{\'{a}}s Dobreff and
Gergely D{\'{e}}vai},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Textual diagram layout language and visualization algorithm},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {196--205},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338250},
doi = {10.1109/MODELS.2015.7338250},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GregoricsGKDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/DevaiGK14,
author = {Gergely D{\'{e}}vai and
Zolt{\'{a}}n Gera and
Zolt{\'{a}}n Kelemen},
title = {Language abstractions for low level optimization techniques},
journal = {Comput. Sci. Inf. Syst.},
volume = {11},
number = {4},
pages = {1499--1514},
year = {2014},
url = {https://doi.org/10.2298/CSIS130224080D},
doi = {10.2298/CSIS130224080D},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/DevaiGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DevaKA14,
author = {Gergely D{\'{e}}vai and
G{\'{a}}bor Ferenc Kov{\'{a}}cs and
{\'{A}}d{\'{a}}m An},
editor = {Achim D. Brucker and
Carolina Dania and
Geri Georg and
Martin Gogolla},
title = {Textual, Executable, Translatable {UML}},
booktitle = {Proceedings of the 14th International Workshop on {OCL} and Textual
Modelling co-located with 17th International Conference on Model Driven
Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1285},
pages = {3--12},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1285/paper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DevaKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/DevaiLT13,
author = {Gergely D{\'{e}}vai and
D{\'{a}}niel Lesk{\'{o}} and
M{\'{a}}t{\'{e}} Tejfel},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Lehel Csat{\'{o}}},
title = {The EDSL's Struggle for Their Sources},
booktitle = {Central European Functional Programming School - 5th Summer School,
{CEFP} 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8606},
pages = {300--335},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-15940-9\_7},
doi = {10.1007/978-3-319-15940-9\_7},
timestamp = {Sun, 02 Oct 2022 15:56:39 +0200},
biburl = {https://dblp.org/rec/conf/cefp/DevaiLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DevaiLT13a,
author = {Gergely D{\'{e}}vai and
D{\'{a}}niel Lesk{\'{o}} and
M{\'{a}}t{\'{e}} Tejfel},
editor = {Jos{\'{e}} Cordeiro and
Marten van Sinderen},
title = {Language Design and Implementation via the Combination of Embedding
and Parsing},
booktitle = {Software Technologies - 8th International Joint Conference, {ICSOFT}
2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {457},
pages = {131--147},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44920-2\_9},
doi = {10.1007/978-3-662-44920-2\_9},
timestamp = {Fri, 02 Nov 2018 09:45:22 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/DevaiLT13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DevaiLT13,
author = {Gergely D{\'{e}}vai and
D{\'{a}}niel Lesk{\'{o}} and
M{\'{a}}t{\'{e}} Tejfel},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {Embedding and Parsing Combined for Efficient Language Design},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {244--250},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004591802440250},
doi = {10.5220/0004591802440250},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/DevaiLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AxelssonCDHKLPSSV10,
author = {Emil Axelsson and
Koen Claessen and
Gergely D{\'{e}}vai and
Zolt{\'{a}}n Horv{\'{a}}th and
Karin Keijzer and
Bo Lyckeg{\aa}rd and
Anders Persson and
Mary Sheeran and
Josef Svenningsson and
Andr{\'{a}}s Vajda},
title = {Feldspar: {A} domain specific language for digital signal processing
algorithms},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558637},
doi = {10.1109/MEMCOD.2010.5558637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AxelssonCDHKLPSSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PatakiSD11,
author = {Norbert Pataki and
Zal{\'{a}}n Sz{\"{u}}gyi and
Gergely D{\'{e}}vai},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Norbert Pataki},
title = {Measuring the Overhead of {C++} Standard Template Library Safe Variants},
booktitle = {Proceedings of the Second Workshop on Generative Technologies, WGT@ETAPS
2010, Paphos, Cyprus, March 27, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {5},
pages = {71--83},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.06.005},
doi = {10.1016/J.ENTCS.2011.06.005},
timestamp = {Fri, 10 Mar 2023 11:04:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PatakiSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Devai09,
author = {Gergely D{\'{e}}vai},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Embedding a Proof System in Haskell},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {354--371},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_10},
doi = {10.1007/978-3-642-17685-2\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Devai09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Devai08,
author = {Gergely D{\'{e}}vai},
title = {Programming Language Elements for Correctness Proofs},
journal = {Acta Cybern.},
volume = {18},
number = {3},
pages = {403--425},
year = {2008},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3730},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Devai08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/CsornyeiD07,
author = {Zolt{\'{a}}n Cs{\"{o}}rnyei and
Gergely D{\'{e}}vai},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Introduction to the Lambda Calculus},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {87--111},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_3},
doi = {10.1007/978-3-540-88059-2\_3},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/CsornyeiD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
