BibTeX records: András Kovács

download as .bib file

@inproceedings{DBLP:conf/saci/KovacsSL23,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  S{\'{a}}ndor Sz{\'{e}}n{\'{a}}si and
                  R{\'{o}}bert Lovas},
  title        = {Vectorisation of Program Codes for Machine Learning Based Resource
                  Estimation},
  booktitle    = {17th {IEEE} International Symposium on Applied Computational Intelligence
                  and Informatics, {SACI} 2023, Timisoara, Romania, May 23-26, 2023},
  pages        = {135--140},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SACI58269.2023.10158583},
  doi          = {10.1109/SACI58269.2023.10158583},
  timestamp    = {Mon, 10 Jul 2023 15:09:48 +0200},
  biburl       = {https://dblp.org/rec/conf/saci/KovacsSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saci/SarkanyK23,
  author       = {Marcell Csaba S{\'{a}}rk{\'{a}}ny and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Timetable generator and optimizer for Hungarian university students},
  booktitle    = {17th {IEEE} International Symposium on Applied Computational Intelligence
                  and Informatics, {SACI} 2023, Timisoara, Romania, May 23-26, 2023},
  pages        = {667--672},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SACI58269.2023.10158587},
  doi          = {10.1109/SACI58269.2023.10158587},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saci/SarkanyK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saci/KissK23,
  author       = {{\'{A}}mon Kiss and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Food recognition using neural network on mobile device},
  booktitle    = {17th {IEEE} International Symposium on Applied Computational Intelligence
                  and Informatics, {SACI} 2023, Timisoara, Romania, May 23-26, 2023},
  pages        = {755--760},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SACI58269.2023.10158575},
  doi          = {10.1109/SACI58269.2023.10158575},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/saci/KissK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2302-08837,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Type-Theoretic Signatures for Algebraic Theories and Inductive Types},
  journal      = {CoRR},
  volume       = {abs/2302.08837},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.08837},
  doi          = {10.48550/ARXIV.2302.08837},
  eprinttype    = {arXiv},
  eprint       = {2302.08837},
  timestamp    = {Thu, 23 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-08837.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cor/HorvathKKF22,
  author       = {Mark{\'{o}} Horv{\'{a}}th and
                  Tam{\'{a}}s Kis and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  M{\'{a}}rk Fekula},
  title        = {Assembly planning by disjunctive programming and geometrical reasoning},
  journal      = {Comput. Oper. Res.},
  volume       = {138},
  pages        = {105603},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cor.2021.105603},
  doi          = {10.1016/J.COR.2021.105603},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cor/HorvathKKF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/Kovacs22,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Staged compilation with two-level type theory},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{ICFP}},
  pages        = {540--569},
  year         = {2022},
  url          = {https://doi.org/10.1145/3547641},
  doi          = {10.1145/3547641},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Kovacs22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rcim/ZahoranK22,
  author       = {L{\'{a}}szl{\'{o}} Zahor{\'{a}}n and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {ProSeqqo: {A} generic solver for process planning and sequencing in
                  industrial robotics},
  journal      = {Robotics Comput. Integr. Manuf.},
  volume       = {78},
  pages        = {102387},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.rcim.2022.102387},
  doi          = {10.1016/J.RCIM.2022.102387},
  timestamp    = {Mon, 24 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcim/ZahoranK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kovacs22,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  editor       = {Florin Manea and
                  Alex Simpson},
  title        = {Generalized Universe Hierarchies and First-Class Universe Levels},
  booktitle    = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
                  February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {216},
  pages        = {28:1--28:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2022.28},
  doi          = {10.4230/LIPICS.CSL.2022.28},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kovacs22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2209-09729,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Staged Compilation with Two-Level Type Theory},
  journal      = {CoRR},
  volume       = {abs/2209.09729},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.09729},
  doi          = {10.48550/ARXIV.2209.09729},
  eprinttype    = {arXiv},
  eprint       = {2209.09729},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09729.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cejor/Kovacs21,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Inverse optimization approach to the identification of electricity
                  consumer models},
  journal      = {Central Eur. J. Oper. Res.},
  volume       = {29},
  number       = {2},
  pages        = {521--537},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10100-020-00699-1},
  doi          = {10.1007/S10100-020-00699-1},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cejor/Kovacs21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/improve/OldalK21,
  author       = {Laura Guly{\'{a}}s Oldal and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  editor       = {Francisco H. Imai and
                  Cosimo Distante and
                  Sebastiano Battiato},
  title        = {Biometric Authentication System based on Hand Geometry and Palmprint
                  Features},
  booktitle    = {Proceedings of the International Conference on Image Processing and
                  Vision Engineering, {IMPROVE} 2021, Online Streaming, April 28-30,
                  2021},
  pages        = {58--65},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010408900580065},
  doi          = {10.5220/0010408900580065},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/improve/OldalK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2103-00223,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Generalized Universe Hierarchies and First-Class Universe Levels},
  journal      = {CoRR},
  volume       = {abs/2103.00223},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.00223},
  eprinttype    = {arXiv},
  eprint       = {2103.00223},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-00223.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KaposiK19,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Signatures and Induction Principles for Higher Inductive-Inductive
                  Types},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {1},
  year         = {2020},
  url          = {https://doi.org/10.23638/LMCS-16(1:10)2020},
  doi          = {10.23638/LMCS-16(1:10)2020},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KaposiK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/Kovacs20,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Elaboration with first-class implicit function types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{ICFP}},
  pages        = {101:1--101:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3408983},
  doi          = {10.1145/3408983},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Kovacs20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KovacsK20,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  Ambrus Kaposi},
  editor       = {Holger Hermanns and
                  Lijun Zhang and
                  Naoki Kobayashi and
                  Dale Miller},
  title        = {Large and Infinitary Quotient Inductive-Inductive Types},
  booktitle    = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
  pages        = {648--661},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373718.3394770},
  doi          = {10.1145/3373718.3394770},
  timestamp    = {Sat, 30 Sep 2023 09:52:07 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KovacsK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sisy/OldalK20,
  author       = {Laura Guly{\'{a}}s Oldal and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Hand geometry and palmprint-based authentication using image processing},
  booktitle    = {18th {IEEE} International Symposium on Intelligent Systems and Informatics,
                  {SISY} 2020, Subotica, Serbia, September 17-19, 2020},
  pages        = {125--130},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SISY50555.2020.9217068},
  doi          = {10.1109/SISY50555.2020.9217068},
  timestamp    = {Wed, 28 Oct 2020 10:12:33 +0100},
  biburl       = {https://dblp.org/rec/conf/sisy/OldalK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-11736,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  Ambrus Kaposi},
  title        = {Large and Infinitary Quotient Inductive-Inductive Types},
  journal      = {CoRR},
  volume       = {abs/2006.11736},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.11736},
  eprinttype    = {arXiv},
  eprint       = {2006.11736},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-11736.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/KaposiKA19,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Thorsten Altenkirch},
  title        = {Constructing quotient inductive-inductive types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {2:1--2:24},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290315},
  doi          = {10.1145/3290315},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KaposiKA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/KaposiKK19,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Nicolai Kraus},
  editor       = {Graham Hutton},
  title        = {Shallow Embedding of Type Theory is Morally Correct},
  booktitle    = {Mathematics of Program Construction - 13th International Conference,
                  {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11825},
  pages        = {329--365},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33636-3\_12},
  doi          = {10.1007/978-3-030-33636-3\_12},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/KaposiKK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/KaposiKL19,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Ambroise Lafont},
  editor       = {Marc Bezem and
                  Assia Mahboubi},
  title        = {For Finitary Induction-Induction, Induction Is Enough},
  booktitle    = {25th International Conference on Types for Proofs and Programs, {TYPES}
                  2019, June 11-14, 2019, Oslo, Norway},
  series       = {LIPIcs},
  volume       = {175},
  pages        = {6:1--6:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2019.6},
  doi          = {10.4230/LIPICS.TYPES.2019.6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/KaposiKL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1902-00297,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Signatures and Induction Principles for Higher Inductive-Inductive
                  Types},
  journal      = {CoRR},
  volume       = {abs/1902.00297},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.00297},
  eprinttype    = {arXiv},
  eprint       = {1902.00297},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-00297.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1907-07562,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Nicolai Kraus},
  title        = {Shallow Embedding of Type Theory is Morally Correct},
  journal      = {CoRR},
  volume       = {abs/1907.07562},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.07562},
  eprinttype    = {arXiv},
  eprint       = {1907.07562},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-07562.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KaposiK18,
  author       = {Ambrus Kaposi and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {A Syntax for Higher Inductive-Inductive Types},
  booktitle    = {3rd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {108},
  pages        = {20:1--20:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2018.20},
  doi          = {10.4230/LIPICS.FSCD.2018.20},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/KaposiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/HorvathKKKPV18,
  author       = {Gergely Horv{\'{a}}th and
                  Csaba Kardos and
                  Zsolt Kem{\'{e}}ny and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Bal{\'{a}}zs E. Pataki and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Multi-Modal Interfaces for Human-Robot Communication in Collaborative
                  Assembly},
  journal      = {{ERCIM} News},
  volume       = {2018},
  number       = {114},
  year         = {2018},
  url          = {https://ercim-news.ercim.eu/en114/special/multi-modal-interfaces-for-human-robot-communication-in-collaborative-assembly},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/HorvathKKKPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcim/ErdosKKKV16,
  author       = {G{\'{a}}bor Erd{\"{o}}s and
                  Csaba Kardos and
                  Zsolt Kem{\'{e}}ny and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Process planning and offline programming for robotic remote laser
                  welding systems},
  journal      = {Int. J. Comput. Integr. Manuf.},
  volume       = {29},
  number       = {12},
  pages        = {1287--1306},
  year         = {2016},
  url          = {https://doi.org/10.1080/0951192X.2015.1033753},
  doi          = {10.1080/0951192X.2015.1033753},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcim/ErdosKKKV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/CsajiKV16,
  author       = {Bal{\'{a}}zs Csan{\'{a}}d Cs{\'{a}}ji and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Online Learning for Aggregating Forecasts in Renewable Energy Systems},
  journal      = {{ERCIM} News},
  volume       = {2016},
  number       = {107},
  year         = {2016},
  url          = {http://ercim-news.ercim.eu/en107/special/online-learning-for-aggregating-forecasts-in-renewable-energy-systems},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/CsajiKV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cm/HobertFLAVK15,
  author       = {Laurens Hobert and
                  Andreas Festag and
                  Ignacio Llatser and
                  Luciano Altomare and
                  Filippo Visintainer and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Enhancements of {V2X} communication in support of cooperative autonomous
                  driving},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {53},
  number       = {12},
  pages        = {64--70},
  year         = {2015},
  url          = {https://doi.org/10.1109/MCOM.2015.7355568},
  doi          = {10.1109/MCOM.2015.7355568},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/HobertFLAVK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/ZeissKPS14,
  author       = {Benjamin Zeiss and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Nikolay V. Pakulin and
                  Bogdan Stanca{-}Kaposta},
  title        = {A conformance test suite for {TTCN-3} tools - Black-Box functional
                  testing of {TTCN-3} syntax and semantics},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {16},
  number       = {3},
  pages        = {285--294},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10009-013-0285-y},
  doi          = {10.1007/S10009-013-0285-Y},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/ZeissKPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adprl/CsajiKV14,
  author       = {Bal{\'{a}}zs Csan{\'{a}}d Cs{\'{a}}ji and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Adaptive aggregated predictions for renewable energy systems},
  booktitle    = {2014 {IEEE} Symposium on Adaptive Dynamic Programming and Reinforcement
                  Learning, {ADPRL} 2014, Orlando, FL, USA, December 9-12, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ADPRL.2014.7010625},
  doi          = {10.1109/ADPRL.2014.7010625},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/adprl/CsajiKV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/CsajiHKPRV14,
  author       = {Bal{\'{a}}zs Csan{\'{a}}d Cs{\'{a}}ji and
                  Borb{\'{a}}la H{\'{a}}y and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Gianfranco Pedone and
                  Tibor R{\'{e}}v{\'{e}}sz and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Monitoring and Controlling Energy-positive Public Lighting: The E+grid
                  System},
  journal      = {{ERCIM} News},
  volume       = {2014},
  number       = {98},
  year         = {2014},
  url          = {http://ercim-news.ercim.eu/en98/special/monitoring-and-controlling-energy-positive-public-lighting-the-e-grid-system},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/CsajiHKPRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eor/KisK13,
  author       = {Tam{\'{a}}s Kis and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {Exact solution approaches for bilevel lot-sizing},
  journal      = {Eur. J. Oper. Res.},
  volume       = {226},
  number       = {2},
  pages        = {237--245},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ejor.2012.11.023},
  doi          = {10.1016/J.EJOR.2012.11.023},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/KisK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aips/Kovacs13,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Task Sequencing for Remote Laser Welding in the Automotive Industry},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5956},
  timestamp    = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/Kovacs13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cor/KisK12,
  author       = {Tam{\'{a}}s Kis and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {A cutting plane approach for integrated planning and scheduling},
  journal      = {Comput. Oper. Res.},
  volume       = {39},
  number       = {2},
  pages        = {320--327},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.cor.2011.04.006},
  doi          = {10.1016/J.COR.2011.04.006},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cor/KisK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ors/KisK12,
  author       = {Tam{\'{a}}s Kis and
                  Andr{\'{a}}s Kov{\'{a}}cs},
  title        = {On bilevel machine scheduling problems},
  journal      = {{OR} Spectr.},
  volume       = {34},
  number       = {1},
  pages        = {43--68},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00291-010-0219-y},
  doi          = {10.1007/S00291-010-0219-Y},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ors/KisK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/KovacsB11,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  J. Christopher Beck},
  title        = {A global constraint for total weighted completion time for unary resources},
  journal      = {Constraints An Int. J.},
  volume       = {16},
  number       = {1},
  pages        = {100--123},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10601-009-9088-x},
  doi          = {10.1007/S10601-009-9088-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/KovacsB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/KovacsK11,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  Tam{\'{a}}s Kis},
  title        = {Constraint programming approach to a bilevel scheduling problem},
  journal      = {Constraints An Int. J.},
  volume       = {16},
  number       = {3},
  pages        = {317--340},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10601-010-9102-3},
  doi          = {10.1007/S10601-010-9102-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/KovacsK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cii/MonostoriEKKKPV10,
  author       = {L{\'{a}}szl{\'{o}} Monostori and
                  G{\'{a}}bor Erd{\"{o}}s and
                  Botond K{\'{a}}d{\'{a}}r and
                  Tam{\'{a}}s Kis and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  Andr{\'{a}}s Pfeiffer and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Digital enterprise solution for integrated production planning and
                  control},
  journal      = {Comput. Ind.},
  volume       = {61},
  number       = {2},
  pages        = {112--126},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.compind.2009.10.008},
  doi          = {10.1016/J.COMPIND.2009.10.008},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cii/MonostoriEKKKPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eaai/KovacsB08,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  J. Christopher Beck},
  title        = {A global constraint for total weighted completion time for cumulative
                  resources},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {21},
  number       = {5},
  pages        = {691--697},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.engappai.2008.03.004},
  doi          = {10.1016/J.ENGAPPAI.2008.03.004},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eaai/KovacsB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/KovacsB07,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  J. Christopher Beck},
  editor       = {Pascal Van Hentenryck and
                  Laurence A. Wolsey},
  title        = {A Global Constraint for Total Weighted Completion Time},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 4th International Conference,
                  {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4510},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72397-4\_9},
  doi          = {10.1007/978-3-540-72397-4\_9},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KovacsB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/KovacsV06,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza},
  editor       = {J. Christopher Beck and
                  Barbara M. Smith},
  title        = {Progressive Solutions: {A} Simple but Efficient Dominance Rule for
                  Practical {RCPSP}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, Third International Conference,
                  {CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3990},
  pages        = {139--151},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11757375\_13},
  doi          = {10.1007/11757375\_13},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KovacsV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KovacsEKV05,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  P{\'{e}}ter Egri and
                  Tam{\'{a}}s Kis and
                  J{\'{o}}zsef V{\'{a}}ncza},
  editor       = {Peter van Beek},
  title        = {Proterv-II: An Integrated Production Planning and Scheduling System},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {880--880},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_118},
  doi          = {10.1007/11564751\_118},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KovacsEKV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/KovacsK04,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  Tam{\'{a}}s Kis},
  title        = {Partitioning of trees for minimizing height and cardinality},
  journal      = {Inf. Process. Lett.},
  volume       = {89},
  number       = {4},
  pages        = {181--185},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ipl.2003.11.004},
  doi          = {10.1016/J.IPL.2003.11.004},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/KovacsK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KovacsV04,
  author       = {Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza},
  editor       = {Mark Wallace},
  title        = {Completable Partial Solutions in Constraint Programming and Constraint-Based
                  Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_26},
  doi          = {10.1007/978-3-540-30201-8\_26},
  timestamp    = {Fri, 27 Mar 2020 09:00:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/KovacsV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prolamat/DeakKVD01,
  author       = {Ferenc De{\'{a}}k and
                  Andr{\'{a}}s Kov{\'{a}}cs and
                  J{\'{o}}zsef V{\'{a}}ncza and
                  Tadeusz P. Dobrowiecki},
  editor       = {George L. Kov{\'{a}}cs and
                  Peter Bert{\'{o}}k and
                  G{\'{e}}za Haidegger},
  title        = {Hierarchical Knowledge-Based Process Planning in Manufacturing},
  booktitle    = {Digital Enterprise Challenges: Life-Cycle Approach to Management and
                  Production, {IFIP} {TC5} / {WG5.2} {\&} {WG5.3} Eleventh International
                  {PROLAMAT} Conference on Digital Enterprise - New Challenges, November
                  7-10, 2001, Budapest, Hungary},
  series       = {{IFIP} Conference Proceedings},
  volume       = {205},
  pages        = {428--439},
  publisher    = {Kluwer},
  year         = {2001},
  timestamp    = {Thu, 03 Jan 2002 12:07:45 +0100},
  biburl       = {https://dblp.org/rec/conf/prolamat/DeakKVD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.