András Kovács

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generalized universe hierarchies and first-class universe levels (available as arXiv preprint)	2024-04-10	Paper
For Finitary Induction-Induction, Induction is Enough	2023-10-27	Paper
Unified field theory and Occam's razor. Simple solutions to deep questions	2022-08-08	Paper
Assembly planning by disjunctive programming and geometrical reasoning Computers & Operations Research	2022-03-09	Paper
Inverse optimization approach to the identification of electricity consumer models CEJOR. Central European Journal of Operations Research	2021-08-13	Paper
A syntax for higher inductive-inductive types	2021-06-15	Paper
Large and infinitary quotient inductive-inductive types Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Large and infinitary quotient inductive-inductive types Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Shallow embedding of type theory is morally correct (available as arXiv preprint)	2020-05-05	Paper
Shallow embedding of type theory is morally correct	2020-05-05	Paper
Signatures and induction principles for higher inductive-inductive types (available as arXiv preprint)	2020-02-17	Paper
Effect of silicon reinforcement on load-capacity of porous nanofilters PAMM	2018-08-23	Paper
Exact solution approaches for bilevel lot-sizing European Journal of Operational Research	2014-07-27	Paper
A cutting plane approach for integrated planning and scheduling Computers & Operations Research	2012-11-15	Paper
On bilevel machine scheduling problems OR Spectrum	2012-05-23	Paper
Constraint programming approach to a bilevel scheduling problem Constraints	2011-11-23	Paper
A global constraint for total weighted completion time for unary resources Constraints	2011-04-06	Paper
Partitioning of trees for minimizing height and cardinality Information Processing Letters	2009-07-09	Paper
A Global Constraint for Total Weighted Completion Time Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-03-10	Paper
Principles and Practice of Constraint Programming – CP 2004 Lecture Notes in Computer Science	2008-09-09	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Lecture Notes in Computer Science	2007-04-30	Paper

Research outcomes over time

This page was built for person: András Kovács