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 = {{FSCD}},
  series    = {LIPIcs},
  volume    = {108},
  pages     = {20:1--20:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ADPRL}},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2014}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aips/Kovacs13,
  author    = {Andr{\'{a}}s Kov{\'{a}}cs},
  title     = {Task Sequencing for Remote Laser Welding in the Automotive Industry},
  booktitle = {{ICAPS}},
  publisher = {{AAAI}},
  year      = {2013}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{CPAIOR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4510},
  pages     = {112--126},
  publisher = {Springer},
  year      = {2007}
}
@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 = {{CPAIOR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3990},
  pages     = {139--151},
  publisher = {Springer},
  year      = {2006}
}
@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 = {{CP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3709},
  pages     = {880--880},
  publisher = {Springer},
  year      = {2005}
}
@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}
}
@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 = {{CP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3258},
  pages     = {332--346},
  publisher = {Springer},
  year      = {2004}
}
@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 = {{PROLAMAT}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {205},
  pages     = {428--439},
  publisher = {Kluwer},
  year      = {2001}
}
maintained by Schloss Dagstuhl LZI at University of Trier