Emin Karayel
ORCIDPublication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 17
Publications (10 Years): 17
Publications
- Emin KarayelExpander Graphs. Arch. Formal Proofs 2023 (2023)
- Emin KarayelDistributed Distinct Elements. Arch. Formal Proofs 2023 (2023)
- Emin Karayel
- Emin Karayel, Manuel EberlExecutable Randomized Algorithms. Arch. Formal Proofs 2023 (2023)
- Emin Karayel, Yong Kiam TanConcentration Inequalities. Arch. Formal Proofs 2023 (2023)
- Emin KarayelFinite Fields. Arch. Formal Proofs 2022 (2022)
- Emin Karayel
- Emin Karayel
- Emin Karayel
- Emin Karayel
- Emin KarayelUniversal Hash Families. Arch. Formal Proofs 2022 (2022)
- Emin Karayel, Edgar Gonzàlez
- Emin KarayelMedian Method. Arch. Formal Proofs 2022 (2022)
- Emin Karayel
- Paul Hofmeier, Emin Karayel
- Emin Karayel, Edgar Gonzàlez