Kenison, George; Kovács, Laura; Varonka, Anton From polynomial invariants to linear loops. (English) Zbl 07760785 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 398-406 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{G. Kenison} et al., in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 398--406 (2023; Zbl 07760785) Full Text: DOI arXiv
Kovács, Laura Algebra-based loop analysis. (English) Zbl 07760745 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 41-42 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Kovács}, in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 41--42 (2023; Zbl 07760745) Full Text: DOI
Kovács, Laura Symbolic computation in automated program reasoning. (English) Zbl 07728832 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 3-9 (2023). MSC: 68N30 68Q60 68W30 PDFBibTeX XMLCite \textit{L. Kovács}, Lect. Notes Comput. Sci. 14000, 3--9 (2023; Zbl 07728832) Full Text: DOI
Kovács, Laura; Varonka, Anton What else is undecidable about loops? (English) Zbl 07728639 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 176-193 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Kovács} and \textit{A. Varonka}, Lect. Notes Comput. Sci. 13896, 176--193 (2023; Zbl 07728639) Full Text: DOI
Kovács, István Classification of edge-transitive nest graphs. (English) Zbl 1518.05083 Graphs Comb. 39, No. 4, Paper No. 66, 14 p. (2023). MSC: 05C25 20B25 PDFBibTeX XMLCite \textit{I. Kovács}, Graphs Comb. 39, No. 4, Paper No. 66, 14 p. (2023; Zbl 1518.05083) Full Text: DOI
Kovács, István Isomorphisms of cubic Cayley graphs on dihedral groups and sparse circulant matrices. (English) Zbl 1519.05117 Acta Math. Sin., Engl. Ser. 39, No. 4, 618-632 (2023). MSC: 05C25 05C60 20B25 PDFBibTeX XMLCite \textit{I. Kovács}, Acta Math. Sin., Engl. Ser. 39, No. 4, 618--632 (2023; Zbl 1519.05117) Full Text: DOI
Hu, Kan; Kovács, István; Kwon, Young Soo A classification of skew morphisms of dihedral groups. (English) Zbl 1522.20081 J. Group Theory 26, No. 3, 547-569 (2023). Reviewer: Yangming Li (Guangzhou) MSC: 20D45 20B25 PDFBibTeX XMLCite \textit{K. Hu} et al., J. Group Theory 26, No. 3, 547--569 (2023; Zbl 1522.20081) Full Text: DOI
Chan, Daniel; Chan, Kenneth; de Thanhoffer de Völcsey, Louis; Ingalls, Colin; Jabbusch, Kelly; Kovács, Sándor J.; Kulkarni, Rajesh; Lerner, Boris; Nanayakkara, Basil; Okawa, Shinnosuke; Van den Bergh, Michel The minimal model program for b-log canonical divisors and applications. (English) Zbl 1509.14031 Math. Z. 303, No. 4, Paper No. 87, 29 p. (2023). Reviewer: Nathan Grieve (Kingston) MSC: 14E15 16H10 PDFBibTeX XMLCite \textit{D. Chan} et al., Math. Z. 303, No. 4, Paper No. 87, 29 p. (2023; Zbl 1509.14031) Full Text: DOI arXiv
Kovács, István; Muzychuk, Mikhail; Pálfy, Péter P.; Ryabov, Grigory; Somlai, Gábor CI-property of \(C_p^2 \times C_n\) and \(C_p^2 \times C_q^2\) for digraphs. (English) Zbl 1509.05092 J. Comb. Theory, Ser. A 196, Article ID 105738, 29 p. (2023). MSC: 05C25 05C20 20B05 05E40 PDFBibTeX XMLCite \textit{I. Kovács} et al., J. Comb. Theory, Ser. A 196, Article ID 105738, 29 p. (2023; Zbl 1509.05092) Full Text: DOI arXiv
Jaroschek, Maximilian; Kauers, Manuel; Kovács, Laura Lonely points in simplices. (English) Zbl 1510.52012 Discrete Comput. Geom. 69, No. 1, 4-25 (2023). Reviewer: Christian Richter (Jena) MSC: 52C07 05B40 52B05 52C45 PDFBibTeX XMLCite \textit{M. Jaroschek} et al., Discrete Comput. Geom. 69, No. 1, 4--25 (2023; Zbl 1510.52012) Full Text: DOI arXiv
Hujdurović, Ademir; Kovács, István Stability of Cayley graphs and Schur rings. arXiv:2308.01182 Preprint, arXiv:2308.01182 [math.CO] (2023). MSC: 05C25 20B25 BibTeX Cite \textit{A. Hujdurović} and \textit{I. Kovács}, ``Stability of Cayley graphs and Schur rings'', Preprint, arXiv:2308.01182 [math.CO] (2023) Full Text: arXiv OA License
Ahanjideh, Milad; Kovács, István; Kutnar, Klavdija Stability of Rose Window graphs. arXiv:2306.01619 Preprint, arXiv:2306.01619 [math.CO] (2023). BibTeX Cite \textit{M. Ahanjideh} et al., ``Stability of Rose Window graphs'', Preprint, arXiv:2306.01619 [math.CO] (2023) Full Text: arXiv OA License
Hu, Kan; Kovacs, Istvan; Kwon, Young Soo Classification of cyclic groups underlying only smooth skew morphisms. arXiv:2302.03077 Preprint, arXiv:2302.03077 [math.GR] (2023). BibTeX Cite \textit{K. Hu} et al., ``Classification of cyclic groups underlying only smooth skew morphisms'', Preprint, arXiv:2302.03077 [math.GR] (2023) Full Text: arXiv OA License
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura The probabilistic termination tool amber. (English) Zbl 07785152 Form. Methods Syst. Des. 61, No. 1, 90-109 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Moosbrugger} et al., Form. Methods Syst. Des. 61, No. 1, 90--109 (2022; Zbl 07785152) Full Text: DOI arXiv OA License
Kovacs, Balazs A.; Insperger, Tamas Critical parameters for the robust stabilization of the inverted pendulum with reaction delay: state feedback versus predictor feedback. (English) Zbl 07780775 Int. J. Robust Nonlinear Control 32, No. 18, 9710-9722 (2022). MSC: 93D21 93C43 93B52 PDFBibTeX XMLCite \textit{B. A. Kovacs} and \textit{T. Insperger}, Int. J. Robust Nonlinear Control 32, No. 18, 9710--9722 (2022; Zbl 07780775) Full Text: DOI OA License
Humenberger, Andreas; Amrollahi, Daneshvar; Bjørner, Nikolaj; Kovács, Laura Algebra-based reasoning for loop synthesis. (English) Zbl 1522.68155 Formal Asp. Comput. 34, No. 1, Paper No. 4, 31 p. (2022). MSC: 68N30 68W30 PDFBibTeX XMLCite \textit{A. Humenberger} et al., Formal Asp. Comput. 34, No. 1, Paper No. 4, 31 p. (2022; Zbl 1522.68155) Full Text: DOI arXiv
Hajdu, Márton; Hozzová, Petra; Kovács, Laura; Reger, Giles; Voronkov, Andrei Getting saturated with induction. (English) Zbl 1528.68391 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 306-322 (2022). MSC: 68V15 68Q60 PDFBibTeX XMLCite \textit{M. Hajdu} et al., Lect. Notes Comput. Sci. 13660, 306--322 (2022; Zbl 1528.68391) Full Text: DOI
Amrollahi, Daneshvar; Bartocci, Ezio; Kenison, George; Kovács, Laura; Moosbrugger, Marcel; Stankovič, Miroslav Solving invariant generation for unsolvable loops. (English) Zbl 1524.68070 Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 19-43 (2022). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Amrollahi} et al., Lect. Notes Comput. Sci. 13790, 19--43 (2022; Zbl 1524.68070) Full Text: DOI arXiv
Pisak-Lukáts, Ioan-Marius; Kovács, Levente; László, Szilágyi A feature selection strategy using Markov clustering, for the optimization of brain tumor segmentation from MRI data. (English) Zbl 07701166 Acta Univ. Sapientiae, Inform. 14, No. 2, 316-337 (2022). PDFBibTeX XMLCite \textit{I.-M. Pisak-Lukáts} et al., Acta Univ. Sapientiae, Inform. 14, No. 2, 316--337 (2022; Zbl 07701166) Full Text: DOI
Karimi, Ahmad; Moosbrugger, Marcel; Stankovič, Miroslav; Kovács, Laura; Bartocci, Ezio; Bura, Efstathia Distribution estimation for probabilistic loops. (English) Zbl 1522.68132 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 26-42 (2022). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Karimi} et al., Lect. Notes Comput. Sci. 13479, 26--42 (2022; Zbl 1522.68132) Full Text: DOI arXiv
Bhayat, Ahmed; Georgiou, Pamina; Eisenhofer, Clemens; Kovács, Laura; Reger, Giles Lemmaless induction in trace logic. (English) Zbl 07691300 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 191-208 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{A. Bhayat} et al., Lect. Notes Comput. Sci. 13467, 191--208 (2022; Zbl 07691300) Full Text: DOI
Goitom, Simret Kidane; Papp, Máté; Kovács, Márton; Nagy, Tibor; Zsély, István Gy.; Turányi, Tamás; Pál, László Efficient numerical methods for the optimisation of large kinetic reaction mechanisms. (English) Zbl 1519.80007 Combust. Theory Model. 26, No. 6, 1071-1097 (2022). MSC: 80A17 PDFBibTeX XMLCite \textit{S. K. Goitom} et al., Combust. Theory Model. 26, No. 6, 1071--1097 (2022; Zbl 1519.80007) Full Text: DOI
Eigner, György; Siket, Máté; Czakó, Bence; Drexler, Dániel András; Rudas, Imre; Zarándy, Ákos; Kovács, Levente Model predictive tumour volume control using nonlinear optimization. (English) Zbl 1504.92052 Shi, Peng (ed.) et al., Complex systems: spanning control and computational cybernetics: applications. Dedicated to Professor Georgi M. Dimirovski on his anniversary. Cham: Springer. Stud. Syst. Decis. Control 415, 235-250 (2022). MSC: 92C50 93B45 93C10 PDFBibTeX XMLCite \textit{G. Eigner} et al., Stud. Syst. Decis. Control 415, 235--250 (2022; Zbl 1504.92052) Full Text: DOI
Kovács, István; Ruff, János On certain edge-transitive bicirculants of twice odd order. (English) Zbl 1496.05074 Electron. J. Comb. 29, No. 3, Research Paper P3.48, 17 p. (2022). MSC: 05C25 20B25 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{J. Ruff}, Electron. J. Comb. 29, No. 3, Research Paper P3.48, 17 p. (2022; Zbl 1496.05074) Full Text: DOI arXiv
Blanchette, Jasmin (ed.); Kovács, Laura (ed.); Pattinson, Dirk (ed.) Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. (English) Zbl 1499.68012 Lecture Notes in Computer Science 13385. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-10768-9/pbk; 978-3-031-10769-6/ebook). xv, 756 p. (2022). MSC: 68-06 68V15 00B25 PDFBibTeX XMLCite \textit{J. Blanchette} (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings. Cham: Springer (2022; Zbl 1499.68012) Full Text: DOI
Kovács, Laura (ed.); Meinke, Karl (ed.) Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 1499.68018 Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 127 p. (2022). MSC: 68-06 68Q60 68V15 00B25 PDFBibTeX XMLCite \textit{L. Kovács} (ed.) and \textit{K. Meinke} (ed.), Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer (2022; Zbl 1499.68018) Full Text: DOI
Frelih, Boštjan; Kovács, István; Kutnar, Klavdija On cubic arc-transitive \(k\)-multicirculants with soluble groups. (English) Zbl 1489.05067 J. Algebr. Comb. 55, No. 4, 1063-1083 (2022). MSC: 05C25 20B25 PDFBibTeX XMLCite \textit{B. Frelih} et al., J. Algebr. Comb. 55, No. 4, 1063--1083 (2022; Zbl 1489.05067) Full Text: DOI
Stankovič, Miroslav; Bartocci, Ezio; Kovács, Laura Moment-based analysis of Bayesian network properties. (English) Zbl 07467471 Theor. Comput. Sci. 903, 113-133 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Stankovič} et al., Theor. Comput. Sci. 903, 113--133 (2022; Zbl 07467471) Full Text: DOI
Kovács, István; Ryabov, Grigory The group \(C_p^4 \times C_q\) is a DCI-group. (English) Zbl 1481.05068 Discrete Math. 345, No. 3, Article ID 112705, 15 p. (2022). Reviewer: Ali Reza Moghaddamfar (Tehran) MSC: 05C25 05C60 05C20 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{G. Ryabov}, Discrete Math. 345, No. 3, Article ID 112705, 15 p. (2022; Zbl 1481.05068) Full Text: DOI arXiv
Kovács, István Edge-transitive core-free Nest graphs. arXiv:2208.12469 Preprint, arXiv:2208.12469 [math.CO] (2022). MSC: 05C25 20B25 BibTeX Cite \textit{I. Kovács}, ``Edge-transitive core-free Nest graphs'', Preprint, arXiv:2208.12469 [math.CO] (2022) Full Text: arXiv OA License
Hujdurović, Ademir; Kovács, István; Kutnar, Klavdija; Marušič, Dragan Intersection density of transitive groups with cyclic point stabilizers. arXiv:2201.11015 Preprint, arXiv:2201.11015 [math.CO] (2022). BibTeX Cite \textit{A. Hujdurović} et al., ``Intersection density of transitive groups with cyclic point stabilizers'', Preprint, arXiv:2201.11015 [math.CO] (2022) Full Text: arXiv OA License
Hozzová, Petra; Kovács, Laura; Rath, Jakob Automated generation of exam sheets for automated deduction. (English) Zbl 1485.68283 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 185-196 (2021). MSC: 68V15 97D60 PDFBibTeX XMLCite \textit{P. Hozzová} et al., Lect. Notes Comput. Sci. 12833, 185--196 (2021; Zbl 1485.68283) Full Text: DOI Link
Hajdu, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei Inductive benchmarks for automated reasoning. (English) Zbl 1485.68281 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 124-129 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Hajdu} et al., Lect. Notes Comput. Sci. 12833, 124--129 (2021; Zbl 1485.68281) Full Text: DOI Link
Hozzová, Petra; Kovács, Laura; Voronkov, Andrei Integer induction in saturation. (English) Zbl 07437089 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 361-377 (2021). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{P. Hozzová} et al., Lect. Notes Comput. Sci. 12699, 361--377 (2021; Zbl 07437089) Full Text: DOI
Humenberger, Andreas; Kovács, Laura Algebra-based synthesis of loops and their invariants (invited paper). (English) Zbl 1472.68036 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 17-28 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Humenberger} and \textit{L. Kovács}, Lect. Notes Comput. Sci. 12597, 17--28 (2021; Zbl 1472.68036) Full Text: DOI arXiv
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021). MSC: 68N30 68N19 68Q87 PDFBibTeX XMLCite \textit{M. Moosbrugger} et al., Lect. Notes Comput. Sci. 12648, 491--518 (2021; Zbl 1473.68053) Full Text: DOI arXiv
Feng, Yan-Quan; Kovács, István On finite groups with prescribed two-generator subgroups and integral Cayley graphs. (English) Zbl 1507.20013 J. Group Theory 24, No. 5, 1019-1041 (2021). Reviewer: Eshita Mazumdar (Kolkata) MSC: 20D60 05C25 05C50 PDFBibTeX XMLCite \textit{Y.-Q. Feng} and \textit{I. Kovács}, J. Group Theory 24, No. 5, 1019--1041 (2021; Zbl 1507.20013) Full Text: DOI arXiv
Horváth, Illés; Horváth, Kristóf Attila; Kovács, Péter; Telek, Miklós Mean-field analysis of a scaling MAC radio protocol. (English) Zbl 1476.90076 J. Ind. Manag. Optim. 17, No. 1, 279-297 (2021). MSC: 90B18 60J20 68U35 90B20 PDFBibTeX XMLCite \textit{I. Horváth} et al., J. Ind. Manag. Optim. 17, No. 1, 279--297 (2021; Zbl 1476.90076) Full Text: DOI
Katona, Gyula Y.; Kovács, István; Varga, Kitti The complexity of recognizing minimally tough graphs. (English) Zbl 1464.05217 Discrete Appl. Math. 294, 55-84 (2021). MSC: 05C40 68Q17 PDFBibTeX XMLCite \textit{G. Y. Katona} et al., Discrete Appl. Math. 294, 55--84 (2021; Zbl 1464.05217) Full Text: DOI arXiv
Kovács, István; Kwon, Young Soo Regular Cayley maps for dihedral groups. (English) Zbl 1459.05119 J. Comb. Theory, Ser. B 148, 84-124 (2021). MSC: 05C25 20B25 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{Y. S. Kwon}, J. Comb. Theory, Ser. B 148, 84--124 (2021; Zbl 1459.05119) Full Text: DOI
Humenberger, Andreas; Bjørner, Nikolaj; Kovács, Laura Algebra-based loop synthesis. (English) Zbl 1517.68080 Dongol, Brijesh (ed.) et al., Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12546, 440-459 (2020). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Humenberger} et al., Lect. Notes Comput. Sci. 12546, 440--459 (2020; Zbl 1517.68080) Full Text: DOI
Gleiss, Bernhard; Kovács, Laura; Rath, Jakob Subsumption demodulation in first-order theorem proving. (English) Zbl 07614519 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 297-315 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{B. Gleiss} et al., Lect. Notes Comput. Sci. 12166, 297--315 (2020; Zbl 07614519) Full Text: DOI arXiv
Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav Analysis of Bayesian networks via prob-solvable loops. (English) Zbl 07369991 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 221-241 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Bartocci} et al., Lect. Notes Comput. Sci. 12545, 221--241 (2020; Zbl 07369991) Full Text: DOI arXiv
Farkas, Izabella Ingrid; Kovács, Attila Some results on simultaneous number systems in the ring of integers of imaginary quadratic fields. (English) Zbl 1474.11208 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 51, 77-88 (2020). MSC: 11Y55 PDFBibTeX XMLCite \textit{I. I. Farkas} and \textit{A. Kovács}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 51, 77--88 (2020; Zbl 1474.11208) Full Text: Link
Kovács, Laura; Lachnitt, Hanna; Szeider, Stefan Formalizing graph trail properties in Isabelle/HOL. (English) Zbl 1455.68258 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 190-205 (2020). MSC: 68V20 05C22 05C38 PDFBibTeX XMLCite \textit{L. Kovács} et al., Lect. Notes Comput. Sci. 12236, 190--205 (2020; Zbl 1455.68258) Full Text: DOI arXiv
Hajdú, Márton; Hozzová, Petra; Kovács, Laura; Schoisswohl, Johannes; Voronkov, Andrei Induction with generalization in superposition reasoning. (English) Zbl 1455.68248 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 123-137 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Hajdú} et al., Lect. Notes Comput. Sci. 12236, 123--137 (2020; Zbl 1455.68248) Full Text: DOI arXiv
Kovács, István; Tóth, Géza Dense point sets with many halving lines. (English) Zbl 1462.52027 Discrete Comput. Geom. 64, No. 3, 965-984 (2020). Reviewer: Boumédiène Et-Taoui (Mulhouse) MSC: 52C10 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{G. Tóth}, Discrete Comput. Geom. 64, No. 3, 965--984 (2020; Zbl 1462.52027) Full Text: DOI arXiv
Konnov, Igor (ed.); Kovács, Laura (ed.) 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. (English) Zbl 1445.68020 LIPIcs – Leibniz International Proceedings in Informatics 171. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-160-3). xvi, 50 articles, not consecutively paged, electronic only, open access (2020). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{I. Konnov} (ed.) and \textit{L. Kovács} (ed.), 31st international conference on concurrency theory. CONCUR 2020, September 1--4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2020; Zbl 1445.68020) Full Text: DOI Link
Feng, Yan-Quan; Kovács, István; Wang, Jie; Yang, Da-Wei Existence of non-Cayley Haar graphs. (English) Zbl 1447.05102 Eur. J. Comb. 89, Article ID 103146, 11 p. (2020). MSC: 05C25 20B25 PDFBibTeX XMLCite \textit{Y.-Q. Feng} et al., Eur. J. Comb. 89, Article ID 103146, 11 p. (2020; Zbl 1447.05102) Full Text: DOI arXiv
Feng, Yan-Quan; Kovács, István; Yang, Da-Wei On groups all of whose Haar graphs are Cayley graphs. (English) Zbl 1447.05103 J. Algebr. Comb. 52, No. 1, 59-76 (2020). MSC: 05C25 05E18 20B25 05C85 05C12 05C60 05C38 PDFBibTeX XMLCite \textit{Y.-Q. Feng} et al., J. Algebr. Comb. 52, No. 1, 59--76 (2020; Zbl 1447.05103) Full Text: DOI arXiv
Grande, Ricardo; Kovács, István; Kutnar, Klavdija; Malnič, Aleksander; Martínez, Luis; Marušič, Dragan Equisizable partial sum families. (English) Zbl 1434.05158 J. Algebr. Comb. 51, No. 2, 273-296 (2020). MSC: 05E30 PDFBibTeX XMLCite \textit{R. Grande} et al., J. Algebr. Comb. 51, No. 2, 273--296 (2020; Zbl 1434.05158) Full Text: DOI
Berman, Leah Wrenn; Kovács, István; Williams, Gordon I. On the flag graphs of regular abstract polytopes: Hamiltonicity and Cayley index. (English) Zbl 1429.05087 Discrete Math. 343, No. 1, Article ID 111599, 16 p. (2020). MSC: 05C25 05C45 52B05 PDFBibTeX XMLCite \textit{L. W. Berman} et al., Discrete Math. 343, No. 1, Article ID 111599, 16 p. (2020; Zbl 1429.05087) Full Text: DOI
Koike, Hiroki; Kovacs, Istvan A classification of nilpotent 3-BCI groups. (English) Zbl 1443.05091 Int. J. Group Theory 8, No. 2, 11-24 (2019). MSC: 05C25 05C60 05E18 20D15 20D20 PDFBibTeX XMLCite \textit{H. Koike} and \textit{I. Kovacs}, Int. J. Group Theory 8, No. 2, 11--24 (2019; Zbl 1443.05091) Full Text: DOI arXiv
Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav Automatic generation of moment-based invariants for prob-solvable loops. (English) Zbl 1437.68041 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 255-276 (2019). MSC: 68N30 PDFBibTeX XMLCite \textit{E. Bartocci} et al., Lect. Notes Comput. Sci. 11781, 255--276 (2019; Zbl 1437.68041) Full Text: DOI arXiv
Kovács, Lehel István Gesture-driven LEGO robots. (English) Zbl 1461.70012 Acta Univ. Sapientiae, Inform. 11, No. 1, 80-94 (2019). MSC: 70E60 68T40 PDFBibTeX XMLCite \textit{L. I. Kovács}, Acta Univ. Sapientiae, Inform. 11, No. 1, 80--94 (2019; Zbl 1461.70012) Full Text: DOI
Feng, Yan-Quan; Hujdurović, Ademir; Kovács, István; Kutnar, Klavdija; Marušič, Dragan Quasi-semiregular automorphisms of cubic and tetravalent arc-transitive graphs. (English) Zbl 1428.20006 Appl. Math. Comput. 353, 329-337 (2019). MSC: 20B25 05C25 PDFBibTeX XMLCite \textit{Y.-Q. Feng} et al., Appl. Math. Comput. 353, 329--337 (2019; Zbl 1428.20006) Full Text: DOI
Davenport, James H. (ed.); Kovacs, Laura (ed.); Zaharie, Daniela (ed.) Foreword. (English) Zbl 1480.00046 Math. Comput. Sci. 13, No. 4, 459-460 (2019). MSC: 00B15 68-06 65-06 PDFBibTeX XMLCite \textit{J. H. Davenport} (ed.) et al., Math. Comput. Sci. 13, No. 4, 459--460 (2019; Zbl 1480.00046) Full Text: DOI
Kovács, István; Soltész, Daniel On \(k\)-neighbor separated permutations. (English) Zbl 1420.05006 SIAM J. Discrete Math. 33, No. 3, 1691-1711 (2019). MSC: 05A05 05C35 05C38 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{D. Soltész}, SIAM J. Discrete Math. 33, No. 3, 1691--1711 (2019; Zbl 1420.05006) Full Text: DOI arXiv
Koike, Hiroki; Kovács, István; Marušič, Dragan; Muzychuk, Mikhail Cyclic groups are CI-groups for balanced configurations. (English) Zbl 1468.20003 Des. Codes Cryptography 87, No. 6, 1227-1235 (2019). MSC: 20B10 20B25 PDFBibTeX XMLCite \textit{H. Koike} et al., Des. Codes Cryptography 87, No. 6, 1227--1235 (2019; Zbl 1468.20003) Full Text: DOI arXiv
Schreck, Pascal (ed.); Ida, Tetsuo (ed.); Kovacs, Laura (ed.) Foreword. Formalization of geometry, automated and interactive geometric reasoning. (English) Zbl 1412.00052 Ann. Math. Artif. Intell. 85, No. 2-4, 71-72 (2019). MSC: 00B25 03-06 68-06 51-06 PDFBibTeX XMLCite \textit{P. Schreck} (ed.) et al., Ann. Math. Artif. Intell. 85, No. 2--4, 71--72 (2019; Zbl 1412.00052) Full Text: DOI
Kovács, István; Ryabov, Grigory \(CI\)-property for decomposable Schur rings over an abelian group. (English) Zbl 1407.05247 Algebra Colloq. 26, No. 1, 147-160 (2019). MSC: 05E16 05C25 05C60 20B25 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{G. Ryabov}, Algebra Colloq. 26, No. 1, 147--160 (2019; Zbl 1407.05247) Full Text: DOI arXiv
Blokhuis, Aart; Kovács, István; Nagy, Gábor P.; Szonyi, Tamás Inherited conics in Hall planes. (English) Zbl 1411.51003 Discrete Math. 342, No. 4, 1098-1107 (2019). Reviewer: Steven T. Dougherty (Scranton) MSC: 51E15 51E21 PDFBibTeX XMLCite \textit{A. Blokhuis} et al., Discrete Math. 342, No. 4, 1098--1107 (2019; Zbl 1411.51003) Full Text: DOI arXiv
Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura Invariant generation for multi-path loops with polynomial assignments. (English) Zbl 1446.68031 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 226-246 (2018). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Humenberger} et al., Lect. Notes Comput. Sci. 10747, 226--246 (2018; Zbl 1446.68031) Full Text: DOI arXiv
Kovács, László; Iantovics, László Barna; Iakovidis, Dimitris K. IntraClusTSP – an incremental intra-cluster refinement heuristic algorithm for symmetric travelling salesman problem. (English) Zbl 1425.90138 Symmetry 10, No. 12, Paper No. 663, 31 p. (2018). MSC: 90C59 68W15 90C27 PDFBibTeX XMLCite \textit{L. Kovács} et al., Symmetry 10, No. 12, Paper No. 663, 31 p. (2018; Zbl 1425.90138) Full Text: DOI
Gleiss, Bernhard; Kovács, Laura; Robillard, Simon Loop analysis by quantification over iterations. (English) Zbl 1415.68146 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 381-399 (2018). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{B. Gleiss} et al., EPiC Ser. Comput. 57, 381--399 (2018; Zbl 1415.68146) Full Text: DOI Link
Kotelnikov, Evgenii; Kovács, Laura; Voronkov, Andrei A FOOLish encoding of the next state relations of imperative programs. (English) Zbl 1511.68160 Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 405-421 (2018). MSC: 68Q60 68N30 68V15 PDFBibTeX XMLCite \textit{E. Kotelnikov} et al., Lect. Notes Comput. Sci. 10900, 405--421 (2018; Zbl 1511.68160) Full Text: DOI
Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura Aligator.jl – a Julia package for loop invariant generation. (English) Zbl 1417.68293 Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 111-117 (2018). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{A. Humenberger} et al., Lect. Notes Comput. Sci. 11006, 111--117 (2018; Zbl 1417.68293) Full Text: DOI arXiv
Kovács, István; Kutnar, Klavdija; Marušič, Dragan; Pellicer, Daniel On even-closed regular embeddings of graphs. (English) Zbl 1393.05188 Eur. J. Comb. 73, 153-169 (2018). MSC: 05C60 PDFBibTeX XMLCite \textit{I. Kovács} et al., Eur. J. Comb. 73, 153--169 (2018; Zbl 1393.05188) Full Text: DOI
Kovács, István; Várady, Tamás P-Bézier and P-Bspline curves – new representations with proximity control. (English) Zbl 1506.65039 Comput. Aided Geom. Des. 62, 117-132 (2018). MSC: 65D17 41A15 65D07 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{T. Várady}, Comput. Aided Geom. Des. 62, 117--132 (2018; Zbl 1506.65039) Full Text: DOI
Feng, Yan-Quan; Kovács, István Elementary abelian groups of rank 5 are DCI-groups. (English) Zbl 1385.05038 J. Comb. Theory, Ser. A 157, 162-204 (2018). MSC: 05C25 05C60 20B99 PDFBibTeX XMLCite \textit{Y.-Q. Feng} and \textit{I. Kovács}, J. Comb. Theory, Ser. A 157, 162--204 (2018; Zbl 1385.05038) Full Text: DOI arXiv
Kovács, István; Soltész, Daniel Triangle-different Hamiltonian paths. (English) Zbl 1379.05070 J. Comb. Theory, Ser. B 129, 1-17 (2018). MSC: 05C45 05C35 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{D. Soltész}, J. Comb. Theory, Ser. B 129, 1--17 (2018; Zbl 1379.05070) Full Text: DOI arXiv Link
Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura Automated generation of non-linear loop invariants utilizing hypergeometric sequences. (English) Zbl 1457.68063 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 221-228 (2017). MSC: 68N30 13P10 65Q30 68W30 PDFBibTeX XMLCite \textit{A. Humenberger} et al., in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 221--228 (2017; Zbl 1457.68063) Full Text: DOI arXiv
Kovács, Laura; Voronkov, Andrei First-order interpolation and interpolating proof systems. (English) Zbl 1402.03041 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 49-64 (2017). MSC: 03C40 03F07 PDFBibTeX XMLCite \textit{L. Kovács} and \textit{A. Voronkov}, EPiC Ser. Comput. 46, 49--64 (2017; Zbl 1402.03041) Full Text: DOI
Horváth, Illés; Finta, István; Kovács, Ferenc; Mészáros, András; Molontay, Roland; Varga, Krisztián Markovian queue with garbage collection. (English) Zbl 1475.68041 Thomas, Nigel (ed.) et al., Analytical and stochastic modelling techniques and applications. 24th international conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10378, 109-124 (2017). MSC: 68M20 PDFBibTeX XMLCite \textit{I. Horváth} et al., Lect. Notes Comput. Sci. 10378, 109--124 (2017; Zbl 1475.68041) Full Text: DOI
Drenyovszki, Rajmund; Kovács, Lóránt; Tornai, Kálmán; Oláh, András; Pintér, István Bottom-up modeling of domestic appliances with Markov chains and semi-Markov processes. (English) Zbl 1449.60120 Kybernetika 53, No. 6, 1100-1117 (2017). MSC: 60J20 60K15 60K20 PDFBibTeX XMLCite \textit{R. Drenyovszki} et al., Kybernetika 53, No. 6, 1100--1117 (2017; Zbl 1449.60120) Full Text: DOI Link
Dana-Picard, Thierry (ed.); Koepf, Wolfram (ed.); Kotsireas, Ilias (ed.); Kovács, Zoltán (ed.); Prokopenya, Alexander (ed.); Seiler, Werner (ed.) Foreword. (English) Zbl 1384.00100 Math. Comput. Sci. 11, No. 3-4, 251-252 (2017). MSC: 00B25 68-06 97-06 PDFBibTeX XMLCite \textit{T. Dana-Picard} (ed.) et al., Math. Comput. Sci. 11, No. 3--4, 251--252 (2017; Zbl 1384.00100) Full Text: DOI
Kovács, István; Nedela, Roman Skew-morphisms of cyclic \(p\)-groups. (English) Zbl 1388.20037 J. Group Theory 20, No. 6, 1135-1154 (2017). Reviewer: Andrea Lucchini (Padova) MSC: 20D40 20D15 05E18 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{R. Nedela}, J. Group Theory 20, No. 6, 1135--1154 (2017; Zbl 1388.20037) Full Text: DOI arXiv
Kovács, Laura; Robillard, Simon; Voronkov, Andrei Coming to terms with quantified reasoning. (English) Zbl 1380.68280 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 260-270 (2017). MSC: 68Q60 68N30 68T15 PDFBibTeX XMLCite \textit{L. Kovács} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 260--270 (2017; Zbl 1380.68280) Full Text: DOI arXiv
Várady, Tamás; Salvi, Péter; Kovács, István Enhancement of a multi-sided Bézier surface representation. (English) Zbl 1375.65032 Comput. Aided Geom. Des. 55, 69-83 (2017). MSC: 65D17 65D10 PDFBibTeX XMLCite \textit{T. Várady} et al., Comput. Aided Geom. Des. 55, 69--83 (2017; Zbl 1375.65032) Full Text: DOI
Kovács, István; Kwon, Young Soo Classification of reflexible Cayley maps for dihedral groups. (English) Zbl 1371.05124 J. Comb. Theory, Ser. B 127, 187-204 (2017). MSC: 05C25 05C40 20D45 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{Y. S. Kwon}, J. Comb. Theory, Ser. B 127, 187--204 (2017; Zbl 1371.05124) Full Text: DOI
Gleiss, Bernhard; Kovács, Laura; Suda, Martin Splitting proofs for interpolation. (English) Zbl 1496.03044 de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 291-309 (2017). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{B. Gleiss} et al., Lect. Notes Comput. Sci. 10395, 291--309 (2017; Zbl 1496.03044) Full Text: DOI arXiv
Juhász, Róbert; Kovács, István A.; Roósz, Gergo; Iglói, Ferenc Entanglement between random and clean quantum spin chains. (English) Zbl 1387.82025 J. Phys. A, Math. Theor. 50, No. 32, Article ID 324003, 20 p. (2017). Reviewer: Utkir A. Rozikov (Tashkent) MSC: 82B30 81P40 94A17 82B28 82B44 82B27 82D40 82B24 82B20 PDFBibTeX XMLCite \textit{R. Juhász} et al., J. Phys. A, Math. Theor. 50, No. 32, Article ID 324003, 20 p. (2017; Zbl 1387.82025) Full Text: DOI arXiv
Kovács, István; Kutnar, Klavdija; Ruff, János; Szőnyi, Tamás Integral automorphisms of affine spaces over finite fields. (English) Zbl 1381.20004 Des. Codes Cryptography 84, No. 1-2, 181-188 (2017). Reviewer: John Bamberg (Crawley) MSC: 20B25 51E26 PDFBibTeX XMLCite \textit{I. Kovács} et al., Des. Codes Cryptography 84, No. 1--2, 181--188 (2017; Zbl 1381.20004) Full Text: DOI arXiv Link
Giudici, Michael; Kovács, István; Li, Cai Heng; Verret, Gabriel Cubic arc-transitive \(k\)-multicirculants. (English) Zbl 1362.05058 J. Comb. Theory, Ser. B 125, 80-94 (2017). MSC: 05C25 05C60 PDFBibTeX XMLCite \textit{M. Giudici} et al., J. Comb. Theory, Ser. B 125, 80--94 (2017; Zbl 1362.05058) Full Text: DOI arXiv
Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution. (English) Zbl 1356.68041 J. Symb. Comput. 80, Part 1, 101-124 (2017). MSC: 68N30 68W30 PDFBibTeX XMLCite \textit{J. Knoop} et al., J. Symb. Comput. 80, Part 1, 101--124 (2017; Zbl 1356.68041) Full Text: DOI Link
Korchmaros, Annachiara; Kovács, István Automorphism groups of Cayley graphs generated by block transpositions and regular Cayley maps. (English) Zbl 1347.05091 Discrete Math. 340, No. 1, 3125-3139 (2017). MSC: 05C25 05C60 05C90 PDFBibTeX XMLCite \textit{A. Korchmaros} and \textit{I. Kovács}, Discrete Math. 340, No. 1, 3125--3139 (2017; Zbl 1347.05091) Full Text: DOI arXiv
Egri, Attila; Horváth, Illés; Kovács, Ferenc; Molontay, Roland Fingerprinting and reconstruction of functionals of discrete time Markov chains. (English) Zbl 1390.60271 Wittevrongel, Sabine (ed.) et al., Analytical and stochastic modelling techniques and applications. 23rd international conference, ASMTA 2016, Cardiff, UK, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43903-7/pbk; 978-3-319-43904-4/ebook). Lecture Notes in Computer Science 9845, 140-154 (2016). MSC: 60J20 PDFBibTeX XMLCite \textit{A. Egri} et al., Lect. Notes Comput. Sci. 9845, 140--154 (2016; Zbl 1390.60271) Full Text: DOI
Kovács, Ágnes M.; Taylor, Howard M. Competing risks Weibull model: parameter estimates and their accuracy. (English) Zbl 1389.62174 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 45, 45-55 (2016). MSC: 62P30 62N05 62F10 PDFBibTeX XMLCite \textit{Á. M. Kovács} and \textit{H. M. Taylor}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 45, 45--55 (2016; Zbl 1389.62174)
Koike, Hiroki; Kovács, István Arc-transitive cubic abelian bi-Cayley graphs and BCI-graphs. (English) Zbl 1488.05237 Filomat 30, No. 2, 321-331 (2016). MSC: 05C25 PDFBibTeX XMLCite \textit{H. Koike} and \textit{I. Kovács}, Filomat 30, No. 2, 321--331 (2016; Zbl 1488.05237) Full Text: DOI arXiv
Kovács, István; Kwon, Young Soo Regular Cayley maps on dihedral groups with the smallest kernel. (English) Zbl 1352.05194 J. Algebr. Comb. 44, No. 4, 831-847 (2016). MSC: 05E18 05C25 05C10 05C30 20B25 PDFBibTeX XMLCite \textit{I. Kovács} and \textit{Y. S. Kwon}, J. Algebr. Comb. 44, No. 4, 831--847 (2016; Zbl 1352.05194) Full Text: DOI arXiv
Sápi, Johanna; Drexler, Dániel A.; Harmati, István; Sápi, Zoltán; Kovács, Levente Qualitative analysis of tumor growth model under antiangiogenic therapy – choosing the effective operating point and design parameters for controller design. (English) Zbl 1348.93131 Optim. Control Appl. Methods 37, No. 5, 848-866 (2016). MSC: 93B55 92C50 92C37 49N10 49N90 93C15 93C10 93B18 PDFBibTeX XMLCite \textit{J. Sápi} et al., Optim. Control Appl. Methods 37, No. 5, 848--866 (2016; Zbl 1348.93131) Full Text: DOI
Evdokimov, Sergei; Kovács, István; Ponomarenko, Ilya On Schurity of finite abelian groups. (English) Zbl 1339.20003 Commun. Algebra 44, No. 1, 101-117 (2016). MSC: 20C05 05E15 PDFBibTeX XMLCite \textit{S. Evdokimov} et al., Commun. Algebra 44, No. 1, 101--117 (2016; Zbl 1339.20003) Full Text: DOI arXiv
Alcón, Liliana; Gutierrez, Marisa; Kovács, István; Milanič, Martin; Rizzi, Romeo Strong cliques and equistability of EPT graphs. (English) Zbl 1332.05042 Discrete Appl. Math. 203, 13-25 (2016). MSC: 05C12 05C38 05C69 05C76 68Q17 PDFBibTeX XMLCite \textit{L. Alcón} et al., Discrete Appl. Math. 203, 13--25 (2016; Zbl 1332.05042) Full Text: DOI
Neag, Marius; Oneţ, Raul; Kovács, István; Mărtari, Paul Comparative analysis of simulation-based methods for deriving the phase- and gain-margins of feedback circuits with op-amps. (English) Zbl 1468.94755 IEEE Trans. Circuits Syst. I, Regul. Pap. 62, No. 3, 625-634 (2015). MSC: 94C05 PDFBibTeX XMLCite \textit{M. Neag} et al., IEEE Trans. Circuits Syst. I, Regul. Pap. 62, No. 3, 625--634 (2015; Zbl 1468.94755) Full Text: DOI
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon Automated theorem proving in GeoGebra: current achievements. (English) Zbl 1356.68181 J. Autom. Reasoning 55, No. 1, 39-59 (2015). MSC: 68T15 97Gxx 97U70 PDFBibTeX XMLCite \textit{F. Botana} et al., J. Autom. Reasoning 55, No. 1, 39--59 (2015; Zbl 1356.68181) Full Text: DOI Link
Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob Segment abstraction for worst-case execution time analysis. (English) Zbl 1335.68049 Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 105-131 (2015). MSC: 68N30 68P05 PDFBibTeX XMLCite \textit{P. Černý} et al., Lect. Notes Comput. Sci. 9032, 105--131 (2015; Zbl 1335.68049) Full Text: DOI
Sándor, József; Kovács, Lehel István On certain upper bounds for the sum of divisors function \(\sigma(n)\). (English) Zbl 1397.11009 Acta Univ. Sapientiae, Math. 7, No. 2, 265-277 (2015). MSC: 11A25 PDFBibTeX XMLCite \textit{J. Sándor} and \textit{L. I. Kovács}, Acta Univ. Sapientiae, Math. 7, No. 2, 265--277 (2015; Zbl 1397.11009) Full Text: DOI
Dobson, Edward; Kovács, István; Miklavič, Štefko The automorphism groups of non-edge-transitive rose window graphs. (English) Zbl 1329.05213 Ars Math. Contemp. 9, No. 1, 63-75 (2015). MSC: 05C60 05C25 05E18 PDFBibTeX XMLCite \textit{E. Dobson} et al., Ars Math. Contemp. 9, No. 1, 63--75 (2015; Zbl 1329.05213) Full Text: DOI
Ahrendt, Wolfgang; Kovács, Laura; Robillard, Simon Reasoning about loops using Vampire in KeY. (English) Zbl 1471.68299 Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 434-443 (2015). MSC: 68V15 68N30 68Q60 PDFBibTeX XMLCite \textit{W. Ahrendt} et al., Lect. Notes Comput. Sci. 9450, 434--443 (2015; Zbl 1471.68299) Full Text: DOI Link
Dragan, Ioan; Kovács, Laura Lingva: generating and proving program properties using symbol elimination. (English) Zbl 1434.68106 Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 67-75 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{I. Dragan} and \textit{L. Kovács}, Lect. Notes Comput. Sci. 8974, 67--75 (2015; Zbl 1434.68106) Full Text: DOI