default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrás Kovács
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j19]András Kovács:
Closure-Free Functional Programming in a Two-Level Type Theory. Proc. ACM Program. Lang. 8(ICFP): 659-692 (2024)- 2023
- [c17]András Kovács, Sándor Szénási, Róbert Lovas:
Vectorisation of Program Codes for Machine Learning Based Resource Estimation. SACI 2023: 135-140 - [c16]Marcell Csaba Sárkány, András Kovács:
Timetable generator and optimizer for Hungarian university students. SACI 2023: 667-672 - [c15]Ámon Kiss, András Kovács:
Food recognition using neural network on mobile device. SACI 2023: 755-760 - [i9]András Kovács:
Type-Theoretic Signatures for Algebraic Theories and Inductive Types. CoRR abs/2302.08837 (2023) - 2022
- [j18]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: 105603 (2022) - [j17]András Kovács:
Staged compilation with two-level type theory. Proc. ACM Program. Lang. 6(ICFP): 540-569 (2022) - [j16]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: 102387 (2022) - [c14]András Kovács:
Generalized Universe Hierarchies and First-Class Universe Levels. CSL 2022: 28:1-28:17 - [i8]András Kovács:
Staged Compilation with Two-Level Type Theory. CoRR abs/2209.09729 (2022) - 2021
- [j15]András Kovács:
Inverse optimization approach to the identification of electricity consumer models. Central Eur. J. Oper. Res. 29(2): 521-537 (2021) - [c13]Laura Gulyás Oldal, András Kovács:
Biometric Authentication System based on Hand Geometry and Palmprint Features. IMPROVE 2021: 58-65 - [i7]András Kovács:
Generalized Universe Hierarchies and First-Class Universe Levels. CoRR abs/2103.00223 (2021) - 2020
- [j14]Ambrus Kaposi, András Kovács:
Signatures and Induction Principles for Higher Inductive-Inductive Types. Log. Methods Comput. Sci. 16(1) (2020) - [j13]András Kovács:
Elaboration with first-class implicit function types. Proc. ACM Program. Lang. 4(ICFP): 101:1-101:29 (2020) - [c12]András Kovács, Ambrus Kaposi:
Large and Infinitary Quotient Inductive-Inductive Types. LICS 2020: 648-661 - [c11]Laura Gulyás Oldal, András Kovács:
Hand geometry and palmprint-based authentication using image processing. SISY 2020: 125-130 - [i6]András Kovács, Ambrus Kaposi:
Large and Infinitary Quotient Inductive-Inductive Types. CoRR abs/2006.11736 (2020)
2010 – 2019
- 2019
- [j12]Ambrus Kaposi, András Kovács, Thorsten Altenkirch:
Constructing quotient inductive-inductive types. Proc. ACM Program. Lang. 3(POPL): 2:1-2:24 (2019) - [c10]Ambrus Kaposi, András Kovács, Nicolai Kraus:
Shallow Embedding of Type Theory is Morally Correct. MPC 2019: 329-365 - [c9]Ambrus Kaposi, András Kovács, Ambroise Lafont:
For Finitary Induction-Induction, Induction Is Enough. TYPES 2019: 6:1-6:30 - [i5]Ambrus Kaposi, András Kovács:
Signatures and Induction Principles for Higher Inductive-Inductive Types. CoRR abs/1902.00297 (2019) - [i4]Ambrus Kaposi, András Kovács, Nicolai Kraus:
Shallow Embedding of Type Theory is Morally Correct. CoRR abs/1907.07562 (2019) - 2018
- [c8]Ambrus Kaposi, András Kovács:
A Syntax for Higher Inductive-Inductive Types. FSCD 2018: 20:1-20:18 - [i3]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) - 2016
- [j11]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): 1287-1306 (2016) - [i2]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) - 2015
- [j10]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): 64-70 (2015) - 2014
- [j9]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): 285-294 (2014) - [c7]Balázs Csanád Csáji, András Kovács, József Váncza:
Adaptive aggregated predictions for renewable energy systems. ADPRL 2014: 1-8 - [i1]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) - 2013
- [j8]Tamás Kis, András Kovács:
Exact solution approaches for bilevel lot-sizing. Eur. J. Oper. Res. 226(2): 237-245 (2013) - [c6]András Kovács:
Task Sequencing for Remote Laser Welding in the Automotive Industry. ICAPS 2013 - 2012
- [j7]Tamás Kis, András Kovács:
A cutting plane approach for integrated planning and scheduling. Comput. Oper. Res. 39(2): 320-327 (2012) - [j6]Tamás Kis, András Kovács:
On bilevel machine scheduling problems. OR Spectr. 34(1): 43-68 (2012) - 2011
- [j5]András Kovács, J. Christopher Beck:
A global constraint for total weighted completion time for unary resources. Constraints An Int. J. 16(1): 100-123 (2011) - [j4]András Kovács, Tamás Kis:
Constraint programming approach to a bilevel scheduling problem. Constraints An Int. J. 16(3): 317-340 (2011) - 2010
- [j3]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): 112-126 (2010)
2000 – 2009
- 2008
- [j2]András Kovács, J. Christopher Beck:
A global constraint for total weighted completion time for cumulative resources. Eng. Appl. Artif. Intell. 21(5): 691-697 (2008) - 2007
- [c5]András Kovács, J. Christopher Beck:
A Global Constraint for Total Weighted Completion Time. CPAIOR 2007: 112-126 - 2006
- [c4]András Kovács, József Váncza:
Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP. CPAIOR 2006: 139-151 - 2005
- [c3]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: 880-880 - 2004
- [j1]András Kovács, Tamás Kis:
Partitioning of trees for minimizing height and cardinality. Inf. Process. Lett. 89(4): 181-185 (2004) - [c2]András Kovács, József Váncza:
Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling. CP 2004: 332-346 - 2001
- [c1]Ferenc Deák, András Kovács, József Váncza, Tadeusz P. Dobrowiecki:
Hierarchical Knowledge-Based Process Planning in Manufacturing. PROLAMAT 2001: 428-439
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-21 20:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
