BibTeX records: András Kovács

download as .bib file

@inproceedings{DBLP:conf/rta/KaposiK18,
  author    = {Ambrus Kaposi and
               Andr{\'{a}}s Kov{\'{a}}cs},
  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}},
  pages     = {20:1--20:18},
  year      = {2018},
  crossref  = {DBLP:conf/rta/2018},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2018.20},
  doi       = {10.4230/LIPIcs.FSCD.2018.20},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rta/KaposiK18},
  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 = {Mon, 30 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/HorvathKKKPV18},
  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. Computer Integrated Manufacturing},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijcim/ErdosKKKV16},
  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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/CsajiKV16},
  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} Communications Magazine},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cm/HobertFLAVK15},
  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   = {{STTT}},
  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, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/ZeissKPS14},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/adprl/2014},
  url       = {https://doi.org/10.1109/ADPRL.2014.7010625},
  doi       = {10.1109/ADPRL.2014.7010625},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adprl/CsajiKV14},
  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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/CsajiHKPRV14},
  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   = {European Journal of Operational Research},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eor/KisK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Kovacs13,
  author    = {Andr{\'{a}}s Kov{\'{a}}cs},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/aips/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/bib/conf/aips/Kovacs13},
  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   = {Computers {\&} {OR}},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cor/KisK12},
  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},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/KovacsB11},
  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},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/KovacsK11},
  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   = {Computers in Industry},
  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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cii/MonostoriEKKKPV10},
  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. of {AI}},
  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, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eaai/KovacsB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KovacsB07,
  author    = {Andr{\'{a}}s Kov{\'{a}}cs and
               J. Christopher Beck},
  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},
  pages     = {112--126},
  year      = {2007},
  crossref  = {DBLP:conf/cpaior/2007},
  url       = {https://doi.org/10.1007/978-3-540-72397-4\_9},
  doi       = {10.1007/978-3-540-72397-4\_9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/KovacsB07},
  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},
  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},
  pages     = {139--151},
  year      = {2006},
  crossref  = {DBLP:conf/cpaior/2006},
  url       = {https://doi.org/10.1007/11757375\_13},
  doi       = {10.1007/11757375\_13},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/KovacsV06},
  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},
  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},
  pages     = {880--880},
  year      = {2005},
  crossref  = {DBLP:conf/cp/2005},
  url       = {https://doi.org/10.1007/11564751\_118},
  doi       = {10.1007/11564751\_118},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/KovacsEKV05},
  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/bib/journals/ipl/KovacsK04},
  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},
  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},
  pages     = {332--346},
  year      = {2004},
  crossref  = {DBLP:conf/cp/2004},
  url       = {https://doi.org/10.1007/978-3-540-30201-8\_26},
  doi       = {10.1007/978-3-540-30201-8\_26},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cp/KovacsV04},
  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},
  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},
  pages     = {428--439},
  year      = {2001},
  crossref  = {DBLP:conf/prolamat/2001},
  timestamp = {Thu, 03 Jan 2002 12:07:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/prolamat/DeakKVD01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2018,
  editor    = {H{\'{e}}l{\`{e}}ne Kirchner},
  title     = {3rd International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
  series    = {LIPIcs},
  volume    = {108},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-077-4},
  isbn      = {978-3-95977-077-4},
  timestamp = {Wed, 04 Jul 2018 11:37:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adprl/2014,
  title     = {2014 {IEEE} Symposium on Adaptive Dynamic Programming and Reinforcement
               Learning, {ADPRL} 2014, Orlando, FL, USA, December 9-12, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7000183},
  isbn      = {978-1-4799-4553-5},
  timestamp = {Tue, 20 Jan 2015 13:40:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/adprl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2013,
  editor    = {Daniel Borrajo and
               Subbarao Kambhampati and
               Angelo Oddi and
               Simone Fratini},
  title     = {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/Library/ICAPS/icaps13contents.php},
  isbn      = {978-1-57735-609-7},
  timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2007,
  editor    = {Pascal Van Hentenryck and
               Laurence A. Wolsey},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72397-4},
  doi       = {10.1007/978-3-540-72397-4},
  isbn      = {978-3-540-72396-7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2006,
  editor    = {J. Christopher Beck and
               Barbara M. Smith},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11757375},
  doi       = {10.1007/11757375},
  isbn      = {3-540-34306-7},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpaior/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2005,
  editor    = {Peter van Beek},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11564751},
  doi       = {10.1007/11564751},
  isbn      = {3-540-29238-1},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2004,
  editor    = {Mark Wallace},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100482},
  doi       = {10.1007/b100482},
  isbn      = {3-540-23241-9},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prolamat/2001,
  editor    = {George L. Kov{\'{a}}cs and
               Peter Bert{\'{o}}k and
               G{\'{e}}za Haidegger},
  title     = {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},
  publisher = {Kluwer},
  year      = {2001},
  isbn      = {0-7923-7556-4},
  timestamp = {Thu, 03 Jan 2002 12:07:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/prolamat/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier