András Kovács

47 papers A* 2A 2B 5Misc 5Journal 29Unranked 4

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