András Kovács

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 26

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Ámon Kiss, András Kovács
Food recognition using neural network on mobile device. SACI (2023)
András Kovács
Type-Theoretic Signatures for Algebraic Theories and Inductive Types. CoRR (2023)
Marcell Csaba Sárkány, András Kovács
Timetable generator and optimizer for Hungarian university students. SACI (2023)
András Kovács, Sándor Szénási, Róbert Lovas
Vectorisation of Program Codes for Machine Learning Based Resource Estimation. SACI (2023)
Markó Horváth, Tamás Kis, András Kovács, Márk Fekula
Assembly planning by disjunctive programming and geometrical reasoning. Comput. Oper. Res. 138 (2022)
András Kovács
Staged Compilation with Two-Level Type Theory. CoRR (2022)
András Kovács
Generalized Universe Hierarchies and First-Class Universe Levels. CSL (2022)
László Zahorán, András Kovács
ProSeqqo: A generic solver for process planning and sequencing in industrial robotics. Robotics Comput. Integr. Manuf. 78 (2022)
András Kovács
Staged compilation with two-level type theory. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Laura Gulyás Oldal, András Kovács
Biometric Authentication System based on Hand Geometry and Palmprint Features. IMPROVE (2021)
András Kovács
Generalized Universe Hierarchies and First-Class Universe Levels. CoRR (2021)
András Kovács
Inverse optimization approach to the identification of electricity consumer models. Central Eur. J. Oper. Res. 29 (2) (2021)
András Kovács
Elaboration with first-class implicit function types. Proc. ACM Program. Lang. 4 (ICFP) (2020)
András Kovács, Ambrus Kaposi
Large and Infinitary Quotient Inductive-Inductive Types. CoRR (2020)
Ambrus Kaposi, András Kovács
Signatures and Induction Principles for Higher Inductive-Inductive Types. Log. Methods Comput. Sci. 16 (1) (2020)
András Kovács, Ambrus Kaposi
Large and Infinitary Quotient Inductive-Inductive Types. LICS (2020)
Laura Gulyás Oldal, András Kovács
Hand geometry and palmprint-based authentication using image processing. SISY (2020)
Ambrus Kaposi, András Kovács
Signatures and Induction Principles for Higher Inductive-Inductive Types. CoRR (2019)
Ambrus Kaposi, András Kovács, Thorsten Altenkirch
Constructing quotient inductive-inductive types. Proc. ACM Program. Lang. 3 (POPL) (2019)
Ambrus Kaposi, András Kovács, Nicolai Kraus
Shallow Embedding of Type Theory is Morally Correct. CoRR (2019)
Ambrus Kaposi, András Kovács, Ambroise Lafont
For Finitary Induction-Induction, Induction Is Enough. TYPES (2019)
Ambrus Kaposi, András Kovács, Nicolai Kraus
Shallow Embedding of Type Theory is Morally Correct. MPC (2019)
Ambrus Kaposi, András Kovács
A Syntax for Higher Inductive-Inductive Types. FSCD (2018)
Gergely Horváth, Csaba Kardos, Zsolt Kemény, András Kovács, Balázs E. Pataki, József Váncza
Multi-Modal Interfaces for Human-Robot Communication in Collaborative Assembly. ERCIM News 2018 (114) (2018)
Balázs Csanád Csáji, András Kovács, József Váncza
Online Learning for Aggregating Forecasts in Renewable Energy Systems. ERCIM News 2016 (107) (2016)
Gábor Erdös, Csaba Kardos, Zsolt Kemény, András Kovács, József Váncza
Process planning and offline programming for robotic remote laser welding systems. Int. J. Comput. Integr. Manuf. 29 (12) (2016)
Laurens Hobert, Andreas Festag, Ignacio Llatser, Luciano Altomare, Filippo Visintainer, András Kovács
Enhancements of V2X communication in support of cooperative autonomous driving. IEEE Commun. Mag. 53 (12) (2015)
Benjamin Zeiss, András Kovács, Nikolay V. Pakulin, Bogdan Stanca-Kaposta
A conformance test suite for TTCN-3 tools - Black-Box functional testing of TTCN-3 syntax and semantics. Int. J. Softw. Tools Technol. Transf. 16 (3) (2014)
Balázs Csanád Csáji, András Kovács, József Váncza
Adaptive aggregated predictions for renewable energy systems. ADPRL (2014)
Balázs Csanád Csáji, Borbála Háy, András Kovács, Gianfranco Pedone, Tibor Révész, József Váncza
Monitoring and Controlling Energy-positive Public Lighting: The E+grid System. ERCIM News 2014 (98) (2014)
András Kovács
Task Sequencing for Remote Laser Welding in the Automotive Industry. ICAPS (2013)
Tamás Kis, András Kovács
Exact solution approaches for bilevel lot-sizing. Eur. J. Oper. Res. 226 (2) (2013)
Tamás Kis, András Kovács
On bilevel machine scheduling problems. OR Spectr. 34 (1) (2012)
Tamás Kis, András Kovács
A cutting plane approach for integrated planning and scheduling. Comput. Oper. Res. 39 (2) (2012)
András Kovács, Tamás Kis
Constraint programming approach to a bilevel scheduling problem. Constraints An Int. J. 16 (3) (2011)
András Kovács, J. Christopher Beck
A global constraint for total weighted completion time for unary resources. Constraints An Int. J. 16 (1) (2011)
László Monostori, Gábor Erdös, Botond Kádár, Tamás Kis, András Kovács, András Pfeiffer, József Váncza
Digital enterprise solution for integrated production planning and control. Comput. Ind. 61 (2) (2010)
András Kovács, J. Christopher Beck
A global constraint for total weighted completion time for cumulative resources. Eng. Appl. Artif. Intell. 21 (5) (2008)
András Kovács, J. Christopher Beck
A Global Constraint for Total Weighted Completion Time. CPAIOR (2007)
András Kovács, József Váncza
Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP. CPAIOR (2006)
András Kovács, Péter Egri, Tamás Kis, József Váncza
Proterv-II: An Integrated Production Planning and Scheduling System. CP (2005)
András Kovács, Tamás Kis
Partitioning of trees for minimizing height and cardinality. Inf. Process. Lett. 89 (4) (2004)
András Kovács, József Váncza
Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling. CP (2004)
Ferenc Deák, András Kovács, József Váncza, Tadeusz P. Dobrowiecki
Hierarchical Knowledge-Based Process Planning in Manufacturing. PROLAMAT (2001)