Nápověda

Khaniki Erfan

Publikace ASEP

Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 8

0617052 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Ardeshir, M. - Khaniki, Erfan - Shahriari, M.
The provably total functions of basic arithmetic and its extensions.
Archive for Mathematical Logic. Roč. 64, 1-2 (2025), s. 205-257. ISSN 0933-5846. E-ISSN 1432-0665
Institucionální podpora: RVO:67985840
Klíčová slova: metamathematics of constructive systems * basic arithmetic * basic logic
Obor OECD: Pure mathematics
Impakt faktor: 0.4, rok: 2024 ; AIS: 0.455, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00153-024-00939-0
Ardeshir, M.
Trvalý odkaz: https://hdl.handle.net/11104/0364061

0588537 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Arteche, N. - Khaniki, Erfan - Pich, J. - Santhanamz, R.
From proof complexity to circuit complexity via interactive protocols.
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Bringmann, K.; Grohe, M.; Puppis, G.; Svensson, O.), č. článku 12. Leibniz International Proceedings in Informatics (LIPIcs), 297. ISBN 978-3-95977-322-5. E-ISSN 1868-8969.
[51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Tallin (EE), 08.07.2024-12.07.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: circuit complexity * interactive protocols * proof complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.ICALP.2024.12
Trvalý odkaz: https://hdl.handle.net/11104/0355403

0582265 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Khaniki, Erfan - Thapen, Neil
TFNP intersections through the lens of feasible disjunction.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 63. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * feasible disjunction * proof complexity * TFNP intersection classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0350365

0604013 - MÚ 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Khaniki, Erfan
Jump operators, interactive proofs and proof complexity generators.
2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS). Philadelphia: IEEE, 2024, s. 573-593. ISBN 979-833151674-1. ISSN 0272-5428.
[65th Annual Symposium on Foundations of Computer Science (FOCS). Chicago (US), 27.10.2024-30.10.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: automatability * bounded arithmetic * feasible disjunction property
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/FOCS61266.2024.00044
Khaniki, Erfan
Trvalý odkaz: https://hdl.handle.net/11104/0361328

0561027 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
New relations and separations of conjectures about incompleteness in the finite domain.
Journal of Symbolic Logic. Roč. 87, č. 3 (2022), s. 912-937. ISSN 0022-4812. E-ISSN 1943-5886
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: disjoint NE-sets * finite consistency * oracles * propositional proof systems
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022 ; AIS: 0.705, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2021.99
Khaniki, Erfan
Trvalý odkaz: https://hdl.handle.net/11104/0333783

0559510 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Khaniki, Erfan
Nisan-Wigderson generators in proof complexity: New lower bounds.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-15, č. článku 17. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * bounded arithmetic * bounded depth Frege * Nisan-Wigderson generators
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.4230/LIPIcs.CCC.2022.17
Khaniki, Erfan
Trvalý odkaz: https://hdl.handle.net/11104/0332787

0553323 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
Not all Kripke models of HA are locally PA.
Advances in Mathematics. Roč. 397, March (2022), č. článku 108126. ISSN 0001-8708. E-ISSN 1090-2082
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Heyting Arithmetic * Kripke models * Local models * PA-normal
Obor OECD: Pure mathematics
Impakt faktor: 1.7, rok: 2022 ; AIS: 1.968, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.aim.2021.108126
Khaniki, Erfan
Trvalý odkaz: http://hdl.handle.net/11104/0328281

0559957 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
On proof complexity of resolution over polynomial calculus.
ACM Transactions on Computational Logic. Roč. 23, č. 3 (2022), č. článku 16. ISSN 1529-3785. E-ISSN 1557-945X
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: lower bounds * modular counting * Polynomial Calculus * propositional pigeonhole principle
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022 ; AIS: 0.434, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3506702
Trvalý odkaz: https://hdl.handle.net/11104/0333080