| Method for the automatic evaluation of the similarity of two character strings that are stored in a computer E Karayel US Patent 8,032,517, 2011 | 24 | 2011 |
| Expander graphs E Karayel Archive of Formal Proofs, 2023 | 4 | 2023 |
| Interpolation polynomials (in HOL-Algebra) E Karayel Archive of Formal Proofs, 2022 | 3 | 2022 |
| Distributed Distinct Elements E Karayel | 2 | 2023 |
| Median method E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
| Finite fields E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
| Enumeration of equivalence relations E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
| Universal hash families E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
| Strong eventual consistency of the collaborative editing framework WOOT E Karayel, E Gonzàlez Distributed Computing, 1-20, 2022 | 2 | 2022 |
| Formalization of randomized approximation algorithms for frequency moments E Karayel 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022 | 2 | 2022 |
| Concentration Inequalities E Karayel, YK Tan Archive of Formal Proofs, 2023 | 1 | 2023 |
| An embarrassingly parallel optimal-space cardinality estimation algorithm E Karayel arXiv preprint arXiv:2307.00985, 2023 | 1 | 2023 |
| Executable Randomized Algorithms E Karayel, M Eberl | 1 | 2023 |
| A combinator library for prefix-free codes E Karayel Archive of Formal Proofs, 2022 | 1 | 2022 |
| Derandomization with Pseudorandomness E Karayel arXiv preprint arXiv:2404.16614, 2024 | | 2024 |
| Karatsuba Multiplication for Integers J Schulz, E Karayel | | 2024 |
| Combinatorial Enumeration Algorithms P Hofmeier, E Karayel | | 2023 |
| Strong Eventual Consistency of the Collaborative Editing Framework WOOT E Karayel, E Gonzàlez Arch. Formal Proofs 2020, 2020 | | 2020 |
| Method for searching in a plurality of data sets and search engine E Karayel, C Heinz, M Krings US Patent 9,087,119, 2015 | | 2015 |
| Operating device for a user interface E Karayel, C Kraus US Patent 8,823,686, 2014 | | 2014 |
