BibTeX records: Zoltán Horváth

download as .bib file

@article{DBLP:journals/cejor/HajbaHHP24,
  author       = {Tam{\'{a}}s Hajba and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  D{\'{a}}niel Heitz and
                  B{\'{a}}lint Psen{\'{a}}k},
  title        = {A {MILP} approach combined with clustering to solve a special petrol
                  station replenishment problem},
  journal      = {Central Eur. J. Oper. Res.},
  volume       = {32},
  number       = {1},
  pages        = {95--107},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10100-023-00849-1},
  doi          = {10.1007/S10100-023-00849-1},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cejor/HajbaHHP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04575,
  author       = {Moaad Khamlich and
                  Giovanni Stabile and
                  Gianluigi Rozza and
                  L{\'{a}}szl{\'{o}} K{\"{o}}rnyei and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {A physics-based reduced order model for urban air pollution prediction},
  journal      = {CoRR},
  volume       = {abs/2305.04575},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.04575},
  doi          = {10.48550/ARXIV.2305.04575},
  eprinttype    = {arXiv},
  eprint       = {2305.04575},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-04575.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/RataiHPT21,
  author       = {D{\'{a}}niel Bal{\'{a}}zs R{\'{a}}tai and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Melinda T{\'{o}}th},
  title        = {Traquest Model: {A} Novel Model for {ACID} Concurrent Computations},
  journal      = {Acta Cybern.},
  volume       = {25},
  number       = {2},
  pages        = {435--468},
  year         = {2021},
  url          = {https://doi.org/10.14232/actacyb.288765},
  doi          = {10.14232/ACTACYB.288765},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/actaC/RataiHPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/FerrariKTHR21,
  author       = {Charles Ferrari and
                  Benedek Kov{\'{a}}cs and
                  Melinda T{\'{o}}th and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Anna Reale},
  title        = {Edge Computing for Communication Service Providers: {A} Review on
                  the Architecture, Ownership and Governing Models},
  booktitle    = {International Conference on Software, Telecommunications and Computer
                  Networks, SoftCOM 2021, Split, Hvar, Croatia, September 23-25, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://ieeexplore.ieee.org/document/9559056},
  timestamp    = {Mon, 18 Oct 2021 17:08:55 +0200},
  biburl       = {https://dblp.org/rec/conf/softcom/FerrariKTHR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2015,
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-28346-9},
  doi          = {10.1007/978-3-030-28346-9},
  isbn         = {978-3-030-28345-2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/HorvathST17,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Yunfei Song and
                  Tam{\'{a}}s Terlaky},
  title        = {A novel unified approach to invariance conditions for a linear dynamical
                  system},
  journal      = {Appl. Math. Comput.},
  volume       = {298},
  pages        = {351--367},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.amc.2016.10.007},
  doi          = {10.1016/J.AMC.2016.10.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/HorvathST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/HorvathJB17,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Ildiko Jenak and
                  Ferenc Brachmann},
  title        = {Battery consumption of smartphone sensors},
  journal      = {J. Reliab. Intell. Environ.},
  volume       = {3},
  number       = {2},
  pages        = {131--136},
  year         = {2017},
  url          = {https://doi.org/10.1007/s40860-017-0034-1},
  doi          = {10.1007/S40860-017-0034-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jrie/HorvathJB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/RealeTH17,
  author       = {Anna Reale and
                  Melinda T{\'{o}}th and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  editor       = {Rog{\'{e}}rio de Lemos},
  title        = {Towards context aware computations offloading in 5G},
  booktitle    = {11th European Conference on Software Architecture, {ECSA} 2017, Companion
                  Proceedings, Canterbury, United Kingdom, September 11-15, 2017},
  pages        = {89--92},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3129790.3129794},
  doi          = {10.1145/3129790.3129794},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/RealeTH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/HorvathZJ17,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Norbert Zentai and
                  Ildiko Jenak},
  editor       = {Yong Liu and
                  Liang Zhao and
                  Guoyong Cai and
                  Guoqing Xiao and
                  Kenli Li and
                  Lipo Wang},
  title        = {Indoor autonomous drone development},
  booktitle    = {13th International Conference on Natural Computation, Fuzzy Systems
                  and Knowledge Discovery, {ICNC-FSKD} 2017, Guilin, China, July 29-31,
                  2017},
  pages        = {2933--2937},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FSKD.2017.8393248},
  doi          = {10.1109/FSKD.2017.8393248},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icnc/HorvathZJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsai/HorvathJOS17,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Donludee Jaisut and
                  Adel Osztopanyi and
                  Kitti Sugar},
  title        = {Smart class schedule with indoor positioning},
  booktitle    = {4th International Conference on Systems and Informatics, {ICSAI} 2017,
                  Hangzhou, China, November 11-13, 2017},
  pages        = {643--648},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSAI.2017.8248368},
  doi          = {10.1109/ICSAI.2017.8248368},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icsai/HorvathJOS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07225,
  author       = {D{\'{a}}niel Horp{\'{a}}csi and
                  Judit K{\"{o}}szegi and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh and
                  Maurizio Proietti},
  title        = {Trustworthy Refactoring via Decomposition and Schemes: {A} Complex
                  Case Study},
  booktitle    = {Proceedings Fifth International Workshop on Verification and Program
                  Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
  series       = {{EPTCS}},
  volume       = {253},
  pages        = {92--108},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.253.8},
  doi          = {10.4204/EPTCS.253.8},
  timestamp    = {Fri, 03 Jun 2022 08:18:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-07225.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/KozsikTBH16,
  author       = {Tam{\'{a}}s Kozsik and
                  Melinda T{\'{o}}th and
                  Istv{\'{a}}n Boz{\'{o}} and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Static Analysis for Divide-and-Conquer Pattern Discovery},
  journal      = {Comput. Informatics},
  volume       = {35},
  number       = {4},
  pages        = {764--791},
  year         = {2016},
  url          = {http://www.cai.sk/ojs/index.php/cai/article/view/3377},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/KozsikTBH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/HorvathPW16,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Helmut Podhaisky and
                  R{\"{u}}diger Weiner},
  title        = {Strong stability preserving explicit peer methods},
  journal      = {J. Comput. Appl. Math.},
  volume       = {296},
  pages        = {776--788},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.cam.2015.11.005},
  doi          = {10.1016/J.CAM.2015.11.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcam/HorvathPW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sqamia/2016,
  editor       = {Zoran Budimac and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik},
  title        = {Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring,
                  Improvement, and Applications, Budapest, Hungary, August 29-31, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1677},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1677},
  urn          = {urn:nbn:de:0074-1677-8},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sqamia/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejor/HajbaH15,
  author       = {Tam{\'{a}}s Hajba and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {{MILP} models for the optimization of real production lines},
  journal      = {Central Eur. J. Oper. Res.},
  volume       = {23},
  number       = {4},
  pages        = {899--912},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10100-014-0337-8},
  doi          = {10.1007/S10100-014-0337-8},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cejor/HajbaH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmam/Chatzipantelidis15,
  author       = {Panagiotis Chatzipantelidis and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Vidar Thom{\'{e}}e},
  title        = {On Preservation of Positivity in Some Finite Element Methods for the
                  Heat Equation},
  journal      = {Comput. Methods Appl. Math.},
  volume       = {15},
  number       = {4},
  pages        = {417--437},
  year         = {2015},
  url          = {https://doi.org/10.1515/cmam-2015-0018},
  doi          = {10.1515/CMAM-2015-0018},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cmam/Chatzipantelidis15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichsa/HorvathJWX15,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Ildiko Jenak and
                  Tianhang Wu and
                  Cui Xuan},
  editor       = {Joong Hoon Kim and
                  Zong Woo Geem},
  title        = {Sensitivity of Sensors Built in Smartphones},
  booktitle    = {Harmony Search Algorithm - Proceedings of the 2nd International Conference
                  on Harmony Search Algorithm, {ICHSA} 2015, Seoul, South Korea, 19-21
                  August 2015},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {382},
  pages        = {305--313},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47926-1\_30},
  doi          = {10.1007/978-3-662-47926-1\_30},
  timestamp    = {Sat, 19 Oct 2019 19:59:18 +0200},
  biburl       = {https://dblp.org/rec/conf/ichsa/HorvathJWX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/HorvathJ15,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Ildiko Jenak},
  editor       = {Kokou Y{\'{e}}tongnon and
                  Albert Dipanda},
  title        = {Battery Consumption of Smartphone Sensors},
  booktitle    = {11th International Conference on Signal-Image Technology {\&}
                  Internet-Based Systems, {SITIS} 2015, Bangkok, Thailand, November
                  23-27, 2015},
  pages        = {48--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SITIS.2015.10},
  doi          = {10.1109/SITIS.2015.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sitis/HorvathJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2013,
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Lehel Csat{\'{o}}},
  title        = {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},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15940-9},
  doi          = {10.1007/978-3-319-15940-9},
  isbn         = {978-3-319-15939-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BozoFHTHKKBBH14,
  author       = {Istv{\'{a}}n Boz{\'{o}} and
                  Viktoria Ford{\'{o}}s and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Melinda T{\'{o}}th and
                  D{\'{a}}niel Horp{\'{a}}csi and
                  Tam{\'{a}}s Kozsik and
                  Judit K{\"{o}}szegi and
                  Adam D. Barwell and
                  Christopher Brown and
                  Kevin Hammond},
  editor       = {Laura M. Castro and
                  Hans Svensson},
  title        = {Discovering parallel pattern candidates in Erlang},
  booktitle    = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
                  Gothenburg, Sweden, September 5, 2014},
  pages        = {13--23},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633448.2633453},
  doi          = {10.1145/2633448.2633453},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/BozoFHTHKKBBH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciso/HorvathH14,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Hanna Horvath},
  editor       = {Kecheng Liu and
                  Stephen R. Gulliver and
                  Weizi Li and
                  Changrui Yu},
  title        = {More Sensors or Better Algorithm?},
  booktitle    = {Service Science and Knowledge Innovation - 15th {IFIP} {WG} 8.1 International
                  Conference on Informatics and Semiotics in Organisations, {ICISO}
                  2014, Shanghai, China, May 23-24, 2014. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {426},
  pages        = {238--245},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-55355-4\_24},
  doi          = {10.1007/978-3-642-55355-4\_24},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iciso/HorvathH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BozoFHHKKT14,
  author       = {Istv{\'{a}}n Boz{\'{o}} and
                  Viktoria Ford{\'{o}}s and
                  D{\'{a}}niel Horp{\'{a}}csi and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik and
                  Judit K{\"{o}}szegi and
                  Melinda T{\'{o}}th},
  editor       = {Jurriaan Hage and
                  Jay McCarthy},
  title        = {Refactorings to Enable Parallelization},
  booktitle    = {Trends in Functional Programming - 15th International Symposium, {TFP}
                  2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8843},
  pages        = {104--121},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-14675-1\_7},
  doi          = {10.1007/978-3-319-14675-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/BozoFHHKKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejor/HajbaH13,
  author       = {Tam{\'{a}}s Hajba and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {New effective {MILP} models for PFSPs arising from real applications},
  journal      = {Central Eur. J. Oper. Res.},
  volume       = {21},
  number       = {4},
  pages        = {729--744},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10100-012-0263-6},
  doi          = {10.1007/S10100-012-0263-6},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cejor/HajbaH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/PinterH13,
  author       = {J{\'{a}}nos D. Pint{\'{e}}r and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Integrated experimental design and nonlinear optimization to handle
                  computationally expensive models under resource constraints},
  journal      = {J. Glob. Optim.},
  volume       = {57},
  number       = {1},
  pages        = {191--215},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10898-012-9882-7},
  doi          = {10.1007/S10898-012-9882-7},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgo/PinterH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BalazsHK12,
  author       = {Kriszti{\'{a}}n Bal{\'{a}}zs and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  L{\'{a}}szl{\'{o}} T. K{\'{o}}czy},
  title        = {Hybrid Bacterial Iterated Greedy heuristics for the Permutation Flow
                  Shop Problem},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2012, Brisbane, Australia, June 10-15, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/CEC.2012.6256167},
  doi          = {10.1109/CEC.2012.6256167},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/BalazsHK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2011,
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer},
  title        = {Central European Functional Programming School - 4th Summer School,
                  {CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7241},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32096-5},
  doi          = {10.1007/978-3-642-32096-5},
  isbn         = {978-3-642-32095-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2010,
  editor       = {Rex L. Page and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Trends in Functional Programming - 11th International Symposium, {TFP}
                  2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6546},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22941-1},
  doi          = {10.1007/978-3-642-22941-1},
  isbn         = {978-3-642-22940-4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/2010.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}
}
@proceedings{DBLP:conf/cefp/2009,
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {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},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17685-2},
  doi          = {10.1007/978-3-642-17685-2},
  isbn         = {978-3-642-17684-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/FarkasSH09,
  author       = {K{\'{a}}roly Farkas and
                  Csaba A. Szab{\'{o}} and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Motivations, technologies, and sustainability models of wireless municipal
                  networks},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {47},
  number       = {12},
  pages        = {76--83},
  year         = {2009},
  url          = {https://doi.org/10.1109/MCOM.2009.5350372},
  doi          = {10.1109/MCOM.2009.5350372},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/FarkasSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijghpc/UlbertLKH09,
  author       = {Attila Ulbert and
                  L{\'{a}}szl{\'{o}} Csaba Lorincz and
                  Tam{\'{a}}s Kozsik and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Speculative Scheduling of Parameter Sweep Applications Using Job Behavior
                  Descriptions},
  journal      = {Int. J. Grid High Perform. Comput.},
  volume       = {1},
  number       = {1},
  pages        = {22--38},
  year         = {2009},
  url          = {https://doi.org/10.4018/jghpc.2009010103},
  doi          = {10.4018/JGHPC.2009010103},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijghpc/UlbertLKH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/TothBHLTK09,
  author       = {Melinda T{\'{o}}th and
                  Istv{\'{a}}n Boz{\'{o}} and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  L{\'{a}}szl{\'{o}} L{\"{o}}vei and
                  M{\'{a}}t{\'{e}} Tejfel and
                  Tam{\'{a}}s Kozsik},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs},
  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        = {372--390},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-17685-2\_11},
  doi          = {10.1007/978-3-642-17685-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/TothBHLTK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/HorvathV09,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  D{\'{a}}vid Varga},
  title        = {Elimination of {RLAN} interference on weather radars by channel allocation
                  in 5 GHz band},
  booktitle    = {Proceedings of the International Conference on Ultra Modern Telecommunications,
                  {ICUMT} 2009, 12-14 October 2009, St. Petersburg, Russia},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICUMT.2009.5345374},
  doi          = {10.1109/ICUMT.2009.5345374},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icumt/HorvathV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2009,
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Vikt{\'{o}}ria Zs{\'{o}}k and
                  Peter Achten and
                  Pieter W. M. Koopman},
  title        = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
                  {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
  series       = {Trends in Functional Programming},
  volume       = {10},
  publisher    = {Intellect},
  year         = {2009},
  isbn         = {978-1-84150-405-6},
  timestamp    = {Tue, 04 Jun 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/SzaboFH08,
  author       = {Csaba A. Szab{\'{o}} and
                  K{\'{a}}roly Farkas and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Motivations, Design and Business Models of Wireless Community Networks},
  journal      = {Mob. Networks Appl.},
  volume       = {13},
  number       = {1-2},
  pages        = {147--159},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11036-008-0031-y},
  doi          = {10.1007/S11036-008-0031-Y},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/SzaboFH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BauerHHMPPS08,
  author       = {P{\'{e}}ter Bauer and
                  Zsolt Hern{\'{a}}th and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Gyula Mayer and
                  Zsolt Parragi and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zsolt Sztup{\'{a}}k},
  editor       = {Paolo Atzeni and
                  Albertas Caplinskas and
                  Hannu Jaakkola},
  title        = {HypereiDoc - An {XML} Based Framework Supporting Cooperative Text
                  Editions},
  booktitle    = {Advances in Databases and Information Systems, 12th East European
                  Conference, {ADBIS} 2008, Pori, Finland, September 5-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5207},
  pages        = {14--29},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85713-6\_3},
  doi          = {10.1007/978-3-540-85713-6\_3},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/adbis/BauerHHMPPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2007,
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer and
                  Anna So{\'{o}}s and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {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},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88059-2},
  doi          = {10.1007/978-3-540-88059-2},
  isbn         = {978-3-540-88058-5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2008,
  editor       = {Soon Tee Teoh and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Proceedings of the 7th {ACM} {SIGPLAN} workshop on ERLANG, Victoria,
                  BC, Canada, September 27, 2008},
  publisher    = {{ACM}},
  year         = {2008},
  isbn         = {978-1-60558-065-4},
  timestamp    = {Tue, 25 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2007,
  editor       = {Olaf Chitil and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Implementation and Application of Functional Languages, 19th International
                  Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5083},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85373-2},
  doi          = {10.1007/978-3-540-85373-2},
  isbn         = {978-3-540-85372-5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KozsikCHKKLNTV07,
  author       = {Tam{\'{a}}s Kozsik and
                  Zolt{\'{a}}n Cs{\"{o}}rnyei and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Roland Kir{\'{a}}ly and
                  R{\'{o}}bert Kitlei and
                  L{\'{a}}szl{\'{o}} L{\"{o}}vei and
                  Tam{\'{a}}s Nagy and
                  Melinda T{\'{o}}th and
                  Anik{\'{o}} Nagyn{\'{e}} V{\'{\i}}g},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Rinus Plasmeijer and
                  Anna So{\'{o}}s and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Use Cases for Refactoring in Erlang},
  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        = {250--285},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-88059-2\_7},
  doi          = {10.1007/978-3-540-88059-2\_7},
  timestamp    = {Mon, 03 Jan 2022 22:17:59 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/KozsikCHKKLNTV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LoveiHKKVN07,
  author       = {L{\'{a}}szl{\'{o}} L{\"{o}}vei and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik and
                  Roland Kir{\'{a}}ly and
                  Anik{\'{o}} Nagyn{\'{e}} V{\'{\i}}g and
                  Tam{\'{a}}s Nagy},
  editor       = {Danny Dig},
  title        = {Refactoring in Erlang, a Dynamic Functional Language},
  booktitle    = {1st Workshop on Refactoring Tools, {WRT} 2007, in conjunction with
                  21st European Conference on Object-Oriented Programming, July 30 -
                  August 03, 2007, Berlin, Germany, Proceedings},
  pages        = {44--45},
  year         = {2007},
  url          = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/},
  timestamp    = {Tue, 19 Jun 2018 18:57:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LoveiHKKVN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LoveiHKK07,
  author       = {L{\'{a}}szl{\'{o}} L{\"{o}}vei and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik and
                  Roland Kir{\'{a}}ly},
  editor       = {Simon J. Thompson and
                  Lars{-}{\AA}ke Fredlund},
  title        = {Introducing records by refactoring},
  booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
                  Germany, October 5, 2007},
  pages        = {18--28},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292520.1292524},
  doi          = {10.1145/1292520.1292524},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/LoveiHKK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicon/SzaboHF07,
  author       = {Csaba A. Szab{\'{o}} and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  K{\'{a}}roly Farkas},
  editor       = {Lili Qiu and
                  Andr{\'{a}}s Gergely Valk{\'{o}}},
  title        = {Wireless community networks: motivations, design and business models},
  booktitle    = {3rd International ICSTConference on Wireless Internet, {WICON} 2007,
                  Austin, TX, USA, October 22-24, 2007},
  pages        = {23},
  publisher    = {{ICST}},
  year         = {2007},
  url          = {https://doi.org/10.4108/wicon.2007.2297},
  doi          = {10.4108/WICON.2007.2297},
  timestamp    = {Mon, 18 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wicon/SzaboHF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2006,
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Vikt{\'{o}}ria Zs{\'{o}}k and
                  Andrew Butterfield},
  title        = {Implementation and Application of Functional Languages, 18th International
                  Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4449},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74130-5},
  doi          = {10.1007/978-3-540-74130-5},
  isbn         = {978-3-540-74129-9},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/HorvathHZ06,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Zolt{\'{a}}n Herny{\'{a}}k and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  title        = {Coordination Language for Distributed Clean},
  journal      = {Acta Cybern.},
  volume       = {17},
  number       = {2},
  pages        = {247--271},
  year         = {2006},
  url          = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3666},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/HorvathHZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/TejfelHK06,
  author       = {M{\'{a}}t{\'{e}} Tejfel and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik},
  title        = {Extending the Sparkle Core language with object abstraction},
  journal      = {Acta Cybern.},
  volume       = {17},
  number       = {2},
  pages        = {419--445},
  year         = {2006},
  url          = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3675},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/TejfelHK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BerkePHN06,
  author       = {J{\'{o}}zsef Berke and
                  Zsolt Polg{\'{a}}r and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Nagy},
  title        = {Developing on Exact Quality and Classification System for Plant Improvement},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {12},
  number       = {9},
  pages        = {1154--1164},
  year         = {2006},
  url          = {https://doi.org/10.3217/jucs-012-09-1154},
  doi          = {10.3217/JUCS-012-09-1154},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/BerkePHN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2005,
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Central European Functional Programming School, First Summer School,
                  {CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4164},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11894100},
  doi          = {10.1007/11894100},
  isbn         = {3-540-46843-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/LorinczKUH05,
  author       = {L{\'{a}}szl{\'{o}} Csaba Lorincz and
                  Tam{\'{a}}s Kozsik and
                  Attila Ulbert and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {A method for job scheduling in Grid based on job execution status},
  journal      = {Multiagent Grid Syst.},
  volume       = {1},
  number       = {3},
  pages        = {197--208},
  year         = {2005},
  url          = {https://doi.org/10.3233/mgs-2005-1305},
  doi          = {10.3233/MGS-2005-1305},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mags/LorinczKUH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/TejfelHK05,
  author       = {M{\'{a}}t{\'{e}} Tejfel and
                  Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Temporal Properties of Clean Programs Proven in Sparkle-T},
  booktitle    = {Central European Functional Programming School, First Summer School,
                  {CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4164},
  pages        = {168--190},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11894100\_6},
  doi          = {10.1007/11894100\_6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/TejfelHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/ZsokHH05,
  author       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Herny{\'{a}}k and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  editor       = {Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Designing Distributed Computational Skeletons in D-Clean and D-Box},
  booktitle    = {Central European Functional Programming School, First Summer School,
                  {CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4164},
  pages        = {223--256},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11894100\_8},
  doi          = {10.1007/11894100\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/ZsokHH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/LorinczKUH05,
  author       = {L{\'{a}}szl{\'{o}} Csaba Lorincz and
                  Tam{\'{a}}s Kozsik and
                  Attila Ulbert and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Data access optimization on grid systems},
  booktitle    = {14th {IEEE} International Workshops on Enabling Technologies {(WETICE}
                  2005), 13-15 June 2005, Link{\"{o}}ping, Sweden},
  pages        = {319--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WETICE.2005.28},
  doi          = {10.1109/WETICE.2005.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/LorinczKUH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splst/HorvathKT03,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Tam{\'{a}}s Kozsik and
                  M{\'{a}}t{\'{e}} Tejfel},
  editor       = {Pekka Kilpel{\"{a}}inen and
                  Niina P{\"{a}}ivinen},
  title        = {Proving Invariants of Functional Programs},
  booktitle    = {Proceedings of the Eighth Symposium on Programming Languages and Software
                  Tools, SPLST'03, Kuopio, Finland, June 17-18, 2003},
  pages        = {115--126},
  publisher    = {University of Kuopio, Department of Computer Science},
  year         = {2003},
  timestamp    = {Thu, 16 Sep 2004 07:34:47 +0200},
  biburl       = {https://dblp.org/rec/conf/splst/HorvathKT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splst/HorvathVZ03,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th and
                  Zolt{\'{a}}n Varga and
                  Vikt{\'{o}}ria Zs{\'{o}}k},
  editor       = {Pekka Kilpel{\"{a}}inen and
                  Niina P{\"{a}}ivinen},
  title        = {Clean-CORBA Interface for Parallel Functional Programming on Clusters},
  booktitle    = {Proceedings of the Eighth Symposium on Programming Languages and Software
                  Tools, SPLST'03, Kuopio, Finland, June 17-18, 2003},
  pages        = {127--136},
  publisher    = {University of Kuopio, Department of Computer Science},
  year         = {2003},
  timestamp    = {Thu, 16 Sep 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splst/HorvathVZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Horvath95,
  author       = {Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Parallel Asynchronous Computation of the Values of an Assotiative
                  Function},
  journal      = {Acta Cybern.},
  volume       = {12},
  number       = {1},
  pages        = {83--94},
  year         = {1995},
  url          = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3445},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/Horvath95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics