Author: "LIN, ANTHONY" - Searchworks@Jio Institute Digital Library Search Results

958 results on '"LIN, ANTHONY"'

1. Relational Perspective on Graph Query Languages

Author: Figueira, Diego, Lin, Anthony W., and Peterfreund, Liat
Subjects: Computer Science - Databases
Abstract: We study a relational perspective of graph database querying. Such a perspective underlies various graph database systems but very few theoretical investigations have been conducted on it. This perspective offers a powerful and unified framework to study graph database querying, by which algorithms and complexity follow from classical results. We provide two concrete applications. The first is querying property graphs. The property graph data model supersedes previously proposed graph models and underlies the new standard GQL for graph query languages. We show that this standard can be, by and large, expressed by extensions of relational calculus with transitive closure operators (FO[TC]) and existential second-order quantifiers (ESO). With this, we obtain optimal data complexity bounds, along with extensions including schema validation. The second application is incorporating data from concrete domains (e.g., numbers) in graph database querying. We use embedded finite model theory and, by exploiting a generic Restricted Quantifier Collapse (RQC) result for FO[TC] and ESO, we obtain optimal data complexity bounds for GQL with arithmetics and comparisons. Moreover, we show that Regular Data Path Querying with operations on data (i.e. using register automata formalisms) can be captured in FO[TC] over embedded finite graphs while preserving nondeterministic logspace data complexity.
Published: 2024

2. Revisiting the Expressiveness Landscape of Data Graph Queries

Author: Benedikt, Michael, Lin, Anthony Widjaja, and Yen, Di-De
Subjects: Computer Science - Databases
Abstract: The study of graph queries in database theory has spanned more than three decades, resulting in a multitude of proposals for graph query languages. These languages differ in the mechanisms. We can identify three main families of languages, with the canonical representatives being: (1) regular path queries, (2) walk logic, and (3) first-order logic with transitive closure operators. This paper provides a complete picture of the expressive power of these languages in the context of data graphs. Specifically, we consider a graph data model that supports querying over both data and topology. For example, "Does there exist a path between two different persons in a social network with the same last name?". We also show that an extension of (1), augmented with transitive closure operators, can unify the expressivity of (1)--(3) without increasing the query evaluation complexity.
Published: 2024

3. The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

Author: Bergsträßer, Pascal, Köcher, Chris, Lin, Anthony Widjaja, and Zetzsche, Georg
Subjects: Computer Science - Formal Languages and Automata Theory
Abstract: Formal language theory has recently been successfully employed to unravel the power of transformer encoders. This setting is primarily applicable in Natural Language Processing (NLP), as a token embedding function (where a bounded number of tokens is admitted) is first applied before feeding the input to the transformer. On certain kinds of data (e.g. time series), we want our transformers to be able to handle arbitrary input sequences of numbers (or tuples thereof) without a priori limiting the values of these numbers. In this paper, we initiate the study of the expressive power of transformer encoders on sequences of data (i.e. tuples of numbers). Our results indicate an increase in expressive power of hard attention transformers over data sequences, in stark contrast to the case of strings. In particular, we prove that Unique Hard Attention Transformers (UHAT) over inputs as data sequences no longer lie within the circuit complexity class $AC^0$ (even without positional encodings), unlike the case of string inputs, but are still within the complexity class $TC^0$ (even with positional encodings). Over strings, UHAT without positional encodings capture only regular languages. In contrast, we show that over data sequences UHAT can capture non-regular properties. Finally, we show that UHAT capture languages definable in an extension of linear temporal logic with unary numeric predicates and arithmetics.
Published: 2024

4. Integrating a Machine Learning System Into Clinical Workflows: Qualitative Study

Author: Sandhu, Sahil, Lin, Anthony L, Brajer, Nathan, Sperling, Jessica, Ratliff, William, Bedoya, Armando D, Balu, Suresh, O'Brien, Cara, and Sendak, Mark P
Subjects: Computer applications to medicine. Medical informatics, R858-859.7, Public aspects of medicine, RA1-1270
Abstract: BackgroundMachine learning models have the potential to improve diagnostic accuracy and management of acute conditions. Despite growing efforts to evaluate and validate such models, little is known about how to best translate and implement these products as part of routine clinical care. ObjectiveThis study aims to explore the factors influencing the integration of a machine learning sepsis early warning system (Sepsis Watch) into clinical workflows. MethodsWe conducted semistructured interviews with 15 frontline emergency department physicians and rapid response team nurses who participated in the Sepsis Watch quality improvement initiative. Interviews were audio recorded and transcribed. We used a modified grounded theory approach to identify key themes and analyze qualitative data. ResultsA total of 3 dominant themes emerged: perceived utility and trust, implementation of Sepsis Watch processes, and workforce considerations. Participants described their unfamiliarity with machine learning models. As a result, clinician trust was influenced by the perceived accuracy and utility of the model from personal program experience. Implementation of Sepsis Watch was facilitated by the easy-to-use tablet application and communication strategies that were developed by nurses to share model outputs with physicians. Barriers included the flow of information among clinicians and gaps in knowledge about the model itself and broader workflow processes. ConclusionsThis study generated insights into how frontline clinicians perceived machine learning models and the barriers to integrating them into clinical workflows. These findings can inform future efforts to implement machine learning interventions in real-world settings and maximize the adoption of these interventions.
Published: 2020
Full Text: View/download PDF

5. Real-World Integration of a Sepsis Deep Learning Technology Into Routine Clinical Care: Implementation Study

Author: Sendak, Mark P, Ratliff, William, Sarro, Dina, Alderton, Elizabeth, Futoma, Joseph, Gao, Michael, Nichols, Marshall, Revoir, Mike, Yashar, Faraz, Miller, Corinne, Kester, Kelly, Sandhu, Sahil, Corey, Kristin, Brajer, Nathan, Tan, Christelle, Lin, Anthony, Brown, Tres, Engelbosch, Susan, Anstrom, Kevin, Elish, Madeleine Clare, Heller, Katherine, Donohoe, Rebecca, Theiling, Jason, Poon, Eric, Balu, Suresh, Bedoya, Armando, and O'Brien, Cara
Subjects: Computer applications to medicine. Medical informatics, R858-859.7
Abstract: BackgroundSuccessful integrations of machine learning into routine clinical care are exceedingly rare, and barriers to its adoption are poorly characterized in the literature. ObjectiveThis study aims to report a quality improvement effort to integrate a deep learning sepsis detection and management platform, Sepsis Watch, into routine clinical care. MethodsIn 2016, a multidisciplinary team consisting of statisticians, data scientists, data engineers, and clinicians was assembled by the leadership of an academic health system to radically improve the detection and treatment of sepsis. This report of the quality improvement effort follows the learning health system framework to describe the problem assessment, design, development, implementation, and evaluation plan of Sepsis Watch. ResultsSepsis Watch was successfully integrated into routine clinical care and reshaped how local machine learning projects are executed. Frontline clinical staff were highly engaged in the design and development of the workflow, machine learning model, and application. Novel machine learning methods were developed to detect sepsis early, and implementation of the model required robust infrastructure. Significant investment was required to align stakeholders, develop trusting relationships, define roles and responsibilities, and to train frontline staff, leading to the establishment of 3 partnerships with internal and external research groups to evaluate Sepsis Watch. ConclusionsMachine learning models are commonly developed to enhance clinical decision making, but successful integrations of machine learning into routine clinical care are rare. Although there is no playbook for integrating deep learning into clinical care, learnings from the Sepsis Watch integration can inform efforts to develop machine learning technologies at other health care delivery systems.
Published: 2020
Full Text: View/download PDF

6. Regular Abstractions for Array Systems

Author: Hong, Chih-Duo and Lin, Anthony W.
Subjects: Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract: Verifying safety and liveness over array systems is a highly challenging problem. Array systems naturally capture parameterized systems such as distributed protocols with an unbounded number of processes. Such distributed protocols often exploit process IDs during their computation, resulting in array systems whose element values range over an infinite domain. In this paper, we develop a novel framework for proving safety and liveness over array systems. The crux of the framework is to overapproximate an array system as a string rewriting system (i.e. over a finite alphabet) by means of a new predicate abstraction that exploits the so-called indexed predicates. This allows us to tap into powerful verification methods for string rewriting systems that have been heavily developed in the last few decades (e.g. regular model checking). We demonstrate how our method yields simple, automatically verifiable proofs of safety and liveness properties for challenging examples, including Dijkstra's self-stabilizing protocol and the Chang-Roberts leader election protocol.
Published: 2024
Full Text: View/download PDF

7. Ramsey Quantifiers in Linear Arithmetics

Author: Bergsträßer, Pascal, Ganardi, Moses, Lin, Anthony W., and Zetzsche, Georg
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract: We study Satisfiability Modulo Theories (SMT) enriched with the so-called Ramsey quantifiers, which assert the existence of cliques (complete graphs) in the graph induced by some formulas. The extended framework is known to have applications in proving program termination (in particular, whether a transitive binary predicate is well-founded), and monadic decomposability of SMT formulas. Our main result is a new algorithm for eliminating Ramsey quantifiers from three common SMT theories: Linear Integer Arithmetic (LIA), Linear Real Arithmetic (LRA), and Linear Integer Real Arithmetic (LIRA). In particular, if we work only with existentially quantified formulas, then our algorithm runs in polynomial time and produces a formula of linear size. One immediate consequence is that checking well-foundedness of a given formula in the aforementioned theory defining a transitive predicate can be straightforwardly handled by highly optimized SMT-solvers. We show also how this provides a uniform semi-algorithm for verifying termination and liveness with completeness guarantee (in fact, with an optimal computational complexity) for several well-known classes of infinite-state systems, which include succinct timed systems, one-counter systems, and monotonic counter systems. Another immediate consequence is a solution to an open problem on checking monadic decomposability of a given relation in quantifier-free fragments of LRA and LIRA, which is an important problem in automated reasoning and constraint databases. Our result immediately implies decidability of this problem with an optimal complexity (coNP-complete) and enables exploitation of SMT-solvers. It also provides a termination guarantee for the generic monadic decomposition algorithm of Veanes et al. for LIA, LRA, and LIRA. We report encouraging experimental results on a prototype implementation of our algorithms on micro-benchmarks.
Published: 2023

8. Parikh's Theorem Made Symbolic

Author: Hague, Matthew, Jeż, Artur, and Lin, Anthony W.
Subjects: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract: Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science: software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic protocols (e.g. using Horn clauses modulo equational theories) and database querying (e.g. evaluating path-queries in graph databases). Parikh's Theorem states that the letter-counting abstraction of a language recognized by finite automata or context-free grammars is definable in Presburger Arithmetic. Unfortunately, real-world applications typically require large alphabets - which are well-known to be not amenable to explicit treatment of the alphabets. Symbolic automata have proven in the last decade to be an effective algorithmic framework for handling large finite or even infinite alphabets. A symbolic automaton employs an effective boolean algebra, which offers a symbolic representation of character sets and often lends itself to an exponentially more succinct representation of a language. Instead of letter-counting, Parikh's Theorem for symbolic automata amounts to counting the number of times different predicates are satisfied by an input sequence. Unfortunately, naively applying Parikh's Theorem from classical automata theory to symbolic automata yields existential Presburger formulas of exponential size. We provide a new construction for Parikh's Theorem for symbolic automata and grammars, which avoids this exponential blowup: our algorithm computes an existential formula in polynomial-time over (quantifier-free) Presburger and the base theory. In fact, our algorithm extends to the model of parametric symbolic grammars, which are one of the most expressive models of languages over infinite alphabets. We have implemented our algorithm and show it can be used to solve string constraints that are difficult to solve by existing solvers., Comment: Accepted tp POPL '24
Published: 2023

9. Logical Languages Accepted by Transformer Encoders with Hard Attention

Author: Barcelo, Pablo, Kozachinskiy, Alexander, Lin, Anthony Widjaja, and Podolskii, Vladimir
Subjects: Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning
Abstract: We contribute to the study of formal languages that can be recognized by transformer encoders. We focus on two self-attention mechanisms: (1) UHAT (Unique Hard Attention Transformers) and (2) AHAT (Average Hard Attention Transformers). UHAT encoders are known to recognize only languages inside the circuit complexity class ${\sf AC}^0$, i.e., accepted by a family of poly-sized and depth-bounded boolean circuits with unbounded fan-ins. On the other hand, AHAT encoders can recognize languages outside ${\sf AC}^0$), but their expressive power still lies within the bigger circuit complexity class ${\sf TC}^0$, i.e., ${\sf AC}^0$-circuits extended by majority gates. We first show a negative result that there is an ${\sf AC}^0$-language that cannot be recognized by an UHAT encoder. On the positive side, we show that UHAT encoders can recognize a rich fragment of ${\sf AC}^0$-languages, namely, all languages definable in first-order logic with arbitrary unary numerical predicates. This logic, includes, for example, all regular languages from ${\sf AC}^0$. We then show that AHAT encoders can recognize all languages of our logic even when we enrich it with counting terms. We apply these results to derive new results on the expressive power of UHAT and AHAT up to permutation of letters (a.k.a. Parikh images).
Published: 2023

10. Decision Procedures for Sequence Theories (Technical Report)

Author: Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, and Rümmer, Philipp
Subjects: Computer Science - Logic in Computer Science
Abstract: Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which permit a wealth of operations including append, map, split, and concatenation. In spite of the growing amount of tool support for theories of sequences by leading SMT-solvers, little is known about the decidability of sequence theories, which is in stark contrast to the state of the theories of strings. We show that the decidable theory of strings with concatenation and regular constraints can be extended to the world of sequences over an alphabet theory that forms a Boolean algebra, while preserving decidability. In particular, decidability holds when regular constraints are interpreted as parametric automata (which extend both symbolic automata and variable automata), but fails when interpreted as register automata (even over the alphabet theory of equality). When length constraints are added, the problem is Turing-equivalent to word equations with length (and regular) constraints. Similar investigations are conducted in the presence of symbolic transducers, which naturally model sequence functions like map, split, filter, etc. We have developed a new sequence solver, SeCo, based on parametric automata, and show its efficacy on two classes of benchmarks: (i) invariant checking on array-manipulating programs and parameterized systems, and (ii) benchmarks on symbolic register automata.
Published: 2023

11. Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

Author: Bergsträßer, Pascal, Ganardi, Moses, Lin, Anthony W., and Zetzsche, Georg
Subjects: Computer Science - Logic in Computer Science
Abstract: Automatic structures are infinite structures that are finitely represented by synchronized finite-state automata. This paper concerns specifically automatic structures over finite words and trees (ranked/unranked). We investigate the "directed version" of Ramsey quantifiers, which express the existence of an infinite directed clique. This subsumes the standard "undirected version" of Ramsey quantifiers. Interesting connections between Ramsey quantifiers and two problems in verification are firstly observed: (1) reachability with B\"{u}chi and generalized B\"{u}chi conditions in regular model checking can be seen as Ramsey quantification over transitive automatic graphs (i.e., whose edge relations are transitive), (2) checking monadic decomposability (a.k.a. recognizability) of automatic relations can be viewed as Ramsey quantification over co-transitive automatic graphs (i.e., the complements of whose edge relations are transitive). We provide a comprehensive complexity landscape of Ramsey quantifiers in these three cases (general, transitive, co-transitive), all between NL and EXP. In turn, this yields a wealth of new results with precise complexity, e.g., verification of subtree/flat prefix rewriting, as well as monadic decomposability over tree-automatic relations. We also obtain substantially simpler proofs, e.g., for NL complexity for monadic decomposability over word-automatic relations (given by DFAs).
Published: 2022

12. CertiStr: A Certified String Solver (technical report)

Author: Kan, Shuanglong, Lin, Anthony W., Rümmer, Philipp, and Schrader, Micha
Subjects: Computer Science - Programming Languages, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract: Theories over strings are among the most heavily researched logical theories in the SMT community in the past decade, owing to the error-prone nature of string manipulations, which often leads to security vulnerabilities (e.g. cross-site scripting and code injection). The majority of the existing decision procedures and solvers for these theories are themselves intricate; they are complicated algorithmically, and also have to deal with a very rich vocabulary of operations. This has led to a plethora of bugs in implementation, which have for instance been discovered through fuzzing. In this paper, we present CertiStr, a certified implementation of a string constraint solver for the theory of strings with concatenation and regular constraints. CertiStr aims to solve string constraints using a forward-propagation algorithm based on symbolic representations of regular constraints as symbolic automata, which returns three results: sat, unsat, and unknown, and is guaranteed to terminate for the string constraints whose concatenation dependencies are acyclic. The implementation has been developed and proven correct in Isabelle/HOL, through which an effective solver in OCaml was generated. We demonstrate the effectiveness and efficiency of CertiStr against the standard Kaluza benchmark, in which 80.4% tests are in the string constraint fragment of CertiStr. Of these 80.4% tests, CertiStr can solve 83.5% (i.e. CertiStr returns sat or unsat) within 60s.
Published: 2021
Full Text: View/download PDF

13. Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

Author: Chen, Taolue, Lamas, Alejandro Flores, Hague, Matthew, Han, Zhilei, Hu, Denghang, Kan, Shuanglong, Lin, Anthony Widjaja, Ruemmer, Philipp, and Wu, Zhilin
Subjects: Computer Science - Programming Languages, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, F.4.1, F.1.1
Abstract: Regular expressions are a classical concept in formal language theory. Regular expressions in programming languages (RegEx) such as JavaScript, feature non-standard semantics of operators (e.g. greedy/lazy Kleene star), as well as additional features such as capturing groups and references. While symbolic execution of programs containing RegExes appeals to string solvers natively supporting important features of RegEx, such a string solver is hitherto missing. In this paper, we propose the first string theory and string solver that natively provide such a support. The key idea of our string solver is to introduce a new automata model, called prioritized streaming string transducers (PSST), to formalize the semantics of RegEx-dependent string functions. PSSTs combine priorities, which have previously been introduced in prioritized finite-state automata to capture greedy/lazy semantics, with string variables as in streaming string transducers to model capturing groups. We validate the consistency of the formal semantics with the actual JavaScript semantics by extensive experiments. Furthermore, to solve the string constraints, we show that PSSTs enjoy nice closure and algorithmic properties, in particular, the regularity-preserving property (i.e., pre-images of regular constraints under PSSTs are regular), and introduce a sound sequent calculus that exploits these properties and performs propagation of regular constraints by means of taking post-images or pre-images. Although the satisfiability of the string constraint language is undecidable, we show that our approach is complete for the so-called straight-line fragment. We evaluate the performance of our string solver on over 195000 string constraints generated from an open-source RegEx library. The experimental results show the efficacy of our approach, drastically improving the existing methods in both precision and efficiency., Comment: 44 pages, 18 figures
Published: 2021

14. Access to and quality of elective care: a prospective cohort study using hernia surgery as a tracer condition in 83 countries

Author: Dönmez, A Eylül, Goswami, Aakansha Giri, Raheja, Aashna, Bhadani, Aayush, El Kady, Abd Elrahman Safwat, Alniemi, Abdalaziz, Awad, Abdalkarim, Aladl, Abdalla, Younis, Abdalla, Alwali, Abdallah, Khalil, Abdallah, Mansour, Abdallah, Elkhouly, Abdallah Mohamed, Rashad Temerik, Abdallah, Hasan, Abdallatef, Chied, Abdelhafid, Abdraba, Abdelhamid, Hrora, Abdelmalek, Abdelshafi, Abdelrahman, Alwali, Abdelrahman, Maraqa, Abdelrahman, Ghaffar, Abdul, Chekfa, Abdul Jabar, Al Balushi, Abdul Majeed, Quddus, Abdul, Hammadieh, Abdul Rahman, Muntaka, Abdul-Jalilu Mohammed, Asekun, Abdulazeez, Alshahrani, Abdulaziz, Jowharji, Abdulaziz, Alshukre, Abdulbaset, Khair Etareig, Abdulhafid, Abubakar Abdulkarim, Abdulhafiz, Ashiru, Abdulhafiz, Alailesh, Abdulhamid, Al-Mallah, Abdullah, Baydoun, Abdullah, Chaudhry, Abdullah, Askin, Abdullah Emre, Almutairi, Abdulmjeed, Belkhair, Abdulmunem, Abdllah, Abdulrahman, Alhammali, Abdulrahman, Basalim, Abdulrahman, Abouelnagah, Abdulrahman Galal Mohamed Mostafa, Ghazal, Abdulrahman, Mohammed, Abdulrahman, Qasem, Abdulrahman, Anadani, Abdulrazak, Jimoh, Abdulrazaq, Lawal, Abdulrazzaq Oluwagbemiga, Khaity, Abdulrhman, Lawal, Abdulwahab, Elzoubi, Abdurrahim Esseid, Sheshe, Abdurrahman Abba, Cetişli, Abdurrahman Furkan, Oyedele, Abeeb, Aljahdali, Abeer, Aboelnasr, Abeer Gamal Elsyed, Demessie, Abel, Bhargava, Abhilasha, Sonkar, Abhinav Arun, Bavaharan, Abhirame, Khan, Abid, Campbell, Abigail, Oyelekan, Abimbola Adeola Akintunde, Okunlola, Abiodun Idowu, Ojewuyi, Abiodun, Ekerin, Abiola, Saleh, Abobakr, Khairy, Abouelatta, Muthunayagam, Abraham Benjamin, Botha, Abraham, Teshome Sahilemariam, Abraham, Nawawi, Abrar, Muhammad, Abubakar Bala, Dahiru, Abubakar, Yahaya, Abubakar, Abdelmalik, Abubaker, Anuar, Abul Akmal Arif, Ousseini, Adakal, Leon -Del- Angel, Adalberto, Frankel, Adam, Gyedu, Adam, Lim, Adam, Lukáč, Adam, Peckham-Cooper, Adam, Sabbah, Adam, Varga, Adam, Sanou, Adama, Issaka, Adamu, Ningi, Adamu, Yeshitila, Addis, Yingess, Addisu, Olugbami, Adebayo, Moses, Damola-Okesiji, Adebola, Lawal, Adedayo, Ojo, Adedoyin, Hashmi, Adeel, Fakoya, Adegbolahan, Ishola, Adegoke, Abiodun, Adekunle, Ajayi, Adekunle, Mouffokes, Adel, Bonelli, Adele, Adekoya, Adeleke, Akeem Aderogba, Adeleke, Özcan, Adem, Ayoade, Ademidun, Adeyeye, Ademola, Agbaje, Ademola, Talabi, Ademola, Ademuyiwa, Adesoji, Adewumiya, Adesoji, Ademuyiwa, Adesoji O, Aderounmu, Adewale, Adisa, Adewale, Oke, Adewale, Ragab, Adham, Alzadjali, Adil, Baksi, Aditya, Jayapalan, Aditya, Md Yunos, Adnan, Pisanu, Adolfo, Salazar, Adolfo, Salinas Barragan, Adrian Alberto, Fox, Adrian, Stollberg, Adrian, Franco, Adriana, Neves, Adriana, Vricheva, Adriana, Hodonou, Adrien Montcho, Aghayeva, Afag, Liaquat, Affifa, Alsultan, Afnan, Morad, Afnan, Kalidis, Afroditi Angella, Gkouniaroudi, Agathi, Karakosta, Agathi, Lovi, Agbenya, Yevide, Agossou Barthélémy, Duro, Agustin, Rodriguez Gonzalez, Agustin, Tariq, Ahbala, Abaidalla, Ahmad, Abuhammad, Ahmad, Abuhantash, Ahmad, Mansour, Ahmad Adel, Ahmad Zaidi, Ahmad Al Hafeez, Alahmad Alismael, Ahmad, Alayed, Ahmad, Alfarwan, Ahmad, Alhaj, Ahmad, Ali, Ahmad, Alroobi, Ahmad, Alsheikh, Ahmad, Alusef, Ahmad, Alzu'Bi, Ahmad, Kayali, Ahmad Amir, Bouhuwaish, Ahmad, Doghaim, Ahmad, El-Sherbiney, Ahmad, Ghazal, Ahmad, Ramly, Ahmad Nasir, Raza, Ahmad, Qureshi, Ahmad Uzair, Arnaout, Ahmad Yamen, Abdelhamid, Ahmed, Abuthaher, Ahmed, Adel, Ahmed, Ahmayda, Ahmed, Al-Mouahhed, Ahmed, Alagha, Ahmed, Albalawi, Ahmed, Albhaisi, Ahmed, Alrifaee, Ahmed, Azam, Ahmed, Barakat, Ahmed, Al-Hajjaj, Ahmed Basim Abed, Dawoud, Ahmed, El Shamarka, Ahmed, El-Bastwesy, Ahmed, Elghrieb, Ahmed, Elkhalifa, Ahmed, Elmosalamy, Ahmed, Elshazli Mahmoud, Ahmed, Montaser, Ahmed G., Gbeadese, Ahmed, Haty, Ahmed, K. Ali, Ahmed, Awad, Ahmed K., Kedwany, Ahmed, Khalleefah, Ahmed, Abbas, Ahmed M., Allam, Ahmed M., Maher, Ahmed, Elsayed, Ahmed Mohamed, Mohamed Ibrahim Mohamed, Ahmed, Mostafa, Ahmed, Nabil, Ahmed, Nada, Ahmed, Ragheb, Ahmed, Abdelrahman, Ahmed Saber Mohamed, Sabry, Ahmed, Sakr, Ahmed, Elkhodary, Ahmed Salah, Shaheen, Ahmed, Ammar, Ahmed Siddique, Hameed, Ahmer, Akmercan, Ahmet, Aslan, Ahmet, Barcin, Ahmet, Ciftci, Ahmet Burak, Bozkurt, Ahmet Çağlar, Sarı, Ahmet Can, Yaşar, Ahmet Can, Develioğlu, Ahmet, Öztürk, Ahmet Mücteba, Sanli, Ahmet Necati, Rencuzogullari, Ahmet, Yildiz, Ahmet, Kaan, Ahmet Zahit, Toi, Ahouefa Chourika Sakinath, Aljamoudi, Aida, Cheung, Aiden Chak Kei, Gkoutoula, Aikaterini, Kalogeropoulou, Aikaterini, Sarafi, Aikaterini, Abo Al Shamat, Aiman, Sanon, Aimé Serge Titianma, Sanon, Aimée Florence, Hiller, Aimée, Costas-Chavarri, Ainhoa, Lombardero, Ainhoa, Fraile, Ainoa, Bojazyah, Aisha, Kamal, Aisha, Gill, Aisling, Hada, Aïssatou, Gulla, Aiste, Mačiulaitytė, Aistė, Sukumar, Aiswarya, Landaluce-Olavarria, Aitor, Sainz Lete, Aitor, Pal, Ajay Kumar, Malik, Ajaz Ahmad, Horiguchi, Akihiko, Kocaay, Akin Firat, Akinkuolie, Akinbolaji, Olabode, Akingunloye, Fadipe, Akinniyi, Akinmade, Akinola, Darkwa Boateng, Akosua, Appiah-Kubi, Akosua Yeboaa, Alkaseek, Akram, Kadamani Abiyomaa, Akram, Anand, Akshay, Oppong, Akua, Opoku-Agyapong, Akwasi, Asharaf, Al Ameen, Ahmed, Al Samoul, Andani, Al-Hassan Dasana, Alkharusi, Al-Salt, Abd Elsattar, Alaa, Alragheai, Alaa, Alsalahat, Alaa Atta, Hawarah, Alaa, Aldirani, Alaa Nasib, Shabkah, Alaa, Nixon Fulli, Alafi Francis, Nguyen, Alain, Mustafa, Alamin, Joseph, Alan, Huws, Alaw, Aregawi, Alazar Berhe, Sanchez Gallego, Alba, Torroella, Alba, Vazquez Melero, Alba, Dauksa, Albertas, Abreu Da Silva, Alberto, Brun-Peressut, Alberto, Barranquero, Alberto G, Gegúndez Simón, Alberto, Gerundo, Alberto, Navarrete-Peón, Alberto, Viacava, Alberto, Vilar, Alberto, Adam, Albushra Altayeb, Jarimba, Aldo, Johnson, Aleena, Nuñez Venzor, Alejandra, Gonzalez Ojeda, Alejandro, Romero De Diego, Alejandro, Karamarkovic, Aleksandar, Butyrskii, Aleksandr, Edmundson, Aleksandra, Sidorova, Aleksandra, Thomas, Alen, Tomazic, Ales, Giuliani, Alessandra, Iodice, Alessandra, Marano, Alessandra, Marello, Alessandra, Ongaro, Alessandra, Saba, Alessandra, Anastasi, Alessandro, Borello, Alessandro, Broglia, Alessandro, Carta, Alessandro, Finocchio, Alessandro, Francia, Alessandro, Iacomino, Alessandro, Izzo, Alessandro, Ottaiano, Alessandro, Spaziani, Alessandro, Strumia, Alessandro, Biancafarina, Alessia, D'Ignazio, Alessia, Davolio, Alessia, Morello, Alessia, Licciardello, Alessio, Mazzoni, Alessio, Wilkins, Alex, Arekhandia, Alexander, Barlas, Alexandros, Chamzin, Alexandros, Demetriou, Alexandros, Giakoustidis, Alexandros, Kozadinos, Alexandros, Kyriakidis, Alexandros, Sarakatsanos, Alexandros, Rojas, Alexei, Saridaki, Alexia, Litchinko, Alexis, Arnaud, Alexis P, Binder, Alf-Dorian, Yakubu, Alfa, Kavalakat, Alfie, Shamsutdinova, Alfiya, Alberico, Alfonso, Amendola, Alfonso, Sánchez-Terán, Alfonso Iván, Lapergola, Alfonso, Baiden Amissah, Alfred, Königsrainer, Alfred, Twumasi, Alfred, Alhebshi, Alhasan, Abbas, Ali, Abdul Rahman, Ali, Abidali, Ali, Abu Tair, Ali, Ahmad, Ali, Al Mukhtar, Ali, Sharq, Ali Al, Alloush, Ali, Amaigl, Ali, Kheirkhah Vakilabad, Ali Asghar, Bassma, Ali, Hacioglu, Ali Doruk, Elzanaty, Ali, Fani, Ali, Farsi, Ali, Ghummied, Ali, Hajali, Ali, Al Sharqi, Ali Hamed, Hammed, Ali, Hewari, Ali, Isler, Ali, Marouf, Ali, Uysal, Ali Mert, Murtada, Ali, Syed, Ali Naqi, Ozkomec, Ali, Sapmaz, Ali, Wassouf, Ali, Aldurssi, Alia, Polatbekov, Alibek, Caltagirone, Alice, Gori, Alice, Lim, Alicia, Bhatt, Alisha, Mohammed, Aljarrah, Maxwell, Allison, Kiyabayev, Almaz, Eltayeb, Almoutaz, Khamees, Almu'atasim, Abdalla, Alnazir, Pikarsky, Alon, Trigos Díaz, Alonso, A Elhars, Alshymaa, Alhaj Zain, Altayeb, Eltahir, Altayeb, Robin Valle De Lersundi, Alvaro, Sanad, Aly, Abdalhadi, Alya, Sparke, Alyssa, Maqsood-Shah, Amaal, Ali, Amal, Ouachhou, Amal, Ahmad, Aman, Kezze, Amana, Dawson, Amanda Caroline, Ali, Amani, Mohsen, Amani, Brar, Amanpreet, Dembele, Amara, Tansawet, Amarit, Obbeng, Ambe, Chiappini, Ambra, Davis, Amelia, Awidan, Amera, Tibude, Ameya, Shah, Ami, Hilder, Amie, Huremovic, Amila, Alamin, Amin, Egdeer, Amin, Gharib, Amin, Choudhary, Amin Mazhar, Amin, Amina, Ibrahim Hassan, Amina, Rashid, Amina, Patel, Aminah, Sebai, Amine, Asla, Amir, Ghanbari, Amir, Shweiki, Amir, Tursunovic, Amir, Aboshosha, Amira Abdelbadea Abdelhamed, Elbalal, Amira, Abdelhalim, Amira Ramadan, Gupta, Amit, Sinha, Amit, Al-Fandi, Amjad, Awwad, Amjad, Belaid, Amjad, Khatib, Amjad, Al-Zubeidy, Ammar, Niazi, Ammar, Zamareh, Ammar, Salam, Ammara, Ayodele, Amoda, Al Hammoud, Amr, Khouli, Amro, Crowe, Amy, Surkitt, Amy Louise, Alshiteewi, Amyirah, Alvarez Cuiñas, Ana, Cabral, Ana, Dupont, Ana, Faustino, Ana, Carreira-Marques, Ana Lúcia, Preto Barreira, Ana Lúcia, Minaya Bravo, Ana Maria, Pinheiro Pereira, Ana Marta, Minaya-Bravo, Ana, Lourenço, Ana Rita, Mateus Loureiro, Ana Rita, Sánchez Gollarte, Ana, Tvaladze, Ana, Veira, Ana, Perja, Ana-Maria, Dusabimana, Anaclet, Herewini, Anahera, Fatima, Anam, Zafar, Anam, Bangar, Anant, Kutma, Ananta, Mehta, Ananya, Alqerem, Anas, Jaber, Anas, Mourtzouni, Anastasia, Theochari, Anastasia, Zarafidou, Anastasia, Smyrnis, Anastasios, Tsechpenakis, Anastasios, Zakaria, Andee Dzulkarnaen, Cardoso Almeida, Andre, Pita, André, Torbey, André, Abreu, Andrea, Barberis, Andrea, Bartalini Cinughi De Pazzi, Andrea, Belli, Andrea, Sironi, Andrea Carlo, Damigella, Andrea, Manetti, Andrea, Mingoli, Andrea, Natili, Andrea, Police, Andrea, Razzore, Andrea, Scacchi, Andrea, Vazquez Fernandez, Andrea, Luzzi, Andrea-Pierre, Brosin, Andreas, Efstathiou, Andreas, Kirschniak, Andreas, Panagakis, Andreas, Pilavas, Andreas, Scheiwiller, Andreas, Skarpas, Andreas, Chitul, Andrei, Trif, Andrei, Ferreira, Andreia, Silva, Andreia, Subocius, Andrejus, Cembellin, Andres, García Marín, Andrés, Ang, Andrew, Gray, Andrew, Li, Andrew, Skreka, Androniki-Maria, Abdul Rahim, Andy Adib, Bhangu, Aneel, Moncy, Aneena, Mwanjoka, Anganile, Fernández Camuñas, Ángel, De Jesús Gil, Ángela, Molero, Ángela, Sultana, Angela, Suárez Álvarez, Angeles Anabel, Nava Franco, Angelica Magaly, Autiak Ayii Chol, Angelo, Serao, Angelo, Nikolaou, Angelos I., Hassanin, Angham, Evans, Angharad, Vu, Anh, Lala, Anil Kumar, Luther, Anil, Sundaram, Anil, Cerovac, Anis, Abgeko, Anita Eseenam, Agbeko, Anita Eseenam, Sharma, Anju, Gupta, Ankit, Jain, Ankit, Attili, Ann, Alecci, Anna, D'Amore, Anna, Domenech Plana, Anna, Gut, Anna Eleonora, John, Anna, Lareida, Anna, Pesce, Anna Lisa, Paspala, Anna, Sharp, Anna, Victor, Anna, Comandatore, Annalisa, Olsen, Annelisse, Yiallourou, Anneza, Loizou, Annita, Sharma, Anshuman, Asare Twumasi, Anthony, Davor, Anthony, Tabiim, Anthony Jagri, Lin, Anthony, Szpytko, Anthony, Walfor, Anthony, Oosterkamp, Antje, Kachi, Antoine, Khoneisser, Antoine, Bediako Bowan, Antoinette, Sumbaev, Anton, Deserra, Antonello, Punzengruber, Antonia, Thanasa, Antonia, Azzinnaro, Antonio, Castaldi, Antonio, Curado Soriano, Antonio, García Domínguez, Antonio, Lai, Antonio, Martinez German, Antonio, Masciandaro, Antonio, Miele, Antonio, Pesce, Antonio, Ramírez Beas, Antonio, Ramos Bonilla, Antonio, Ramos-De la Medina, Antonio, Zerbinati, Antonio, Athanasiou, Antonios, Panagidis, Antonios, Vezakis, Antonios, Pilavas, Antonis, Boynes, Antony, Mishra, Anurag, Singh, Anurag, Appukuttan, Anuraj, Alhamadi, Anwaar, Gusibat, Anwar, Seidu, Anwar Sadat, Fuertes Muñoz, Anyely Nataly, Abbas, Aoss, Shanker, Aparajeya, Balta, Apostolia, Panagopoulos, Apostolis, Roslani, April, Tahir, Aqsa, Hernández, Araceli, Roumieh, Aram, Pinto, Arbey, Khanduri, Archana, Isik, Arda, Dhinakar, Arelly Samuel Paul, Ioannidis, Argyrios, Tsiaka, Ariadni, Balconi, Arianna, Petrungaro, Arianna, Narin, Arif Emir, Plastiras, Aris, Papadopoulos, Aristeidis, Kontokostopoulos, Aristeidis-Panagiotis, Bang, Aristide, Nikitaras, Aristotelis, Akiba, Arit, Jindal, Arjun, Bedzhanyan, Arkady, Fajardo, Arlene, Antinori, Armando, Galvan, Armando, Belarmino, Armin, Mustafa, Arooba, Mathew, Arpit, Pillai, Arpit, Alrababah, Arqam, Shoker, Arran, Hai, Arrham, Anand, Arun, Bhatti, Arun, Nair, Arun, Prasath S V, Arun, Krishna, Arunachalam, Sinha, Arvind, Abdulnabi, Arwa, Aboumedian, Arwa, Faisal, Arwa, Haidar, Arwa, J, Arya, Ahmed, Asaad, Choudhry, Asad, Albager, Asawer, Jha, Ashesh Kumar, Chhabra, Ashish, Choudhrie, Ashish, Gupta, Ashish, Kumar, Ashish, Tirkey, Ashish, Oommen, Ashok Ninan, Al-Bahla, Ashraf, Bakri, Ashraf, Maghrabi, Ashraf, Mahendran, Ashuvini, Kumar, Ashwani, Das, Asish, Eisa, Assem, Comella, Assia, Shanmugalingam, Aswin, Boztaş Demir, Asya Eylem, Zubillaga-Mares, Asya, Altawaiha, Ata'O Allah, Mitsala, Athanasia, Katsiou, Athanasia-Faidra, Bakalis, Athanasios, Marinis, Athanasios, Migdanis, Athanasios, Soumpasis, Athanasios, Syllaios, Athanasios, Tampakis, Athanasios, Çakmak, Atil, Rahman, Atiqur, Suroy, Atul, L'Hostis, Audrey, Parseliunas, Audrius, Ali, Aun, Rakotondrainibe, Aurelia, Goliath, Austin, Arustamyan, Avetik, Sukhdev Jadhav, Avinash, Chaudhary, Awais, Kumar, Awanish, Denz, Axel, Al Kaddah, Aya, Alaqtash, Aya, Ehab, Aya, Essamei, Aya, Kelzia, Aya, Farrag, Ayatallah, Myintmo, Aye Myat, Bibi, Ayesha, Iqbal, Ayesha, Irshad, Ayeza, Sinjab, Ayham, Izgiş, Aylin, Almugaddami, Ayman Adel Yousuf, Albatanony, Ayman, Ayeni, Ayodeji, Williams, Ayooluwa, AbuNemer, Ayoub, Benmansour, Ayoub, Nidali, Ayoub, Vig, Ayushi, Emran, Ayyah, Abbas, Azadar, Ekpeti, Azuka, Janjua, Azwa, Fathi, Azza, Alzahrani, Azzah, Rehmani, Babar, Ayoade, Babatunde A, Mustapha, Babatunde, L, Badareesh, Alsharari, Bader, Balaravi Pillai, Balakavitha, Balagobi, Balasingam, Mohamad, Balqees, Ibrahim, Bana, Ali, Bandar, Alqahtani, Bandar, Paul, Banderembako, Yigit, Banu, Révérien, Banziriyubusa, Dweik, Bara', Yacoub, Bara', Alzoubi, Baraa, Chkir, Baraa, M.J. Alhaj, Baraa, Binda, Barbara, Carvalho, Bárbara, Demurtas, Barbara, Dieck, Bárbara, Freire, Bárbara, Gama, Bárbara, Habrat, Barbara, Tinoco, Bárbara, Hernandez Cervantes, Barbara Yordanis, East, Barbora, Maguire, Barry, Mckay, Bartholomew, Żaczek, Bartłomiej, Dawud, Bashar, Allbakosh, Bashir, Yunusa, Bashir, Aminu, Bashiru, Ibi, Bashkim, D'Souza, Basil, Alazabi, Basma, Algettawi, Basma, Sharaf Eldin, Basma, Hameed, Basmah Hilal, Abboud, Bassam, Al Soudi, Bassam, Fahmy, Bassam, Ranjous, Batoul, Bereket Araya, Batseba, Eyduran, Batuhan, Alsaid, Bayan, Guerra, Bayron, Markowska, Beata, De Zolt Ponte, Beatrice, Robertson-Jones, Beatrice, Sperotto, Beatrice, Cordeiro, Beatriz, Cuneo, Beatriz, De Andrés-Asenjo, Beatriz, Louro, Beatriz, Estraviz, Begoña, Khan, Belawl, Abdennour, Belkadi, Calcaño, Bellanirys, Kigwe, Ben, Boakye, Benedict, Ağca, Bengi, Togay, Bengü, Esposito, Beniamino, Chiman, Benjamin Guarken, Lulham-Robinson, Benjamin, Martin, Benjamin, Peter, Bennett, Özcan, Berkay, Seshie, Bernard Kofi, Maanikuu, Bernard, Lopes Patrício, Bernardo, Khattab, Besher, Johnson, Bethan, Mcdermott, Bethany, Neall, Bethany, Wang, Betty, Roopavathana. S, Beulah, Fosh, Beverley, Sarang, Bhakti, Sv, Bharath, R Budihal, Bhargavi, Devkaran, Bhavesh, Van Zyl, Bianca, Kharga, Bikram, Al-Sarireh, Bilal, Ali, Bilal, Duman, Bilgesu, Baca, Bilgi, Down, Billy, Mengesha, Birhanu, Owusu Ansah, Bismark, Radja, Bitour, Sime, Bizuneh, Capdevila Vilaró, Blanca, Izedomi, Blessing Ohikhuare, Hao, Bo Zhen, Nimako, Boateng, Phakathi, Boitumelo, Sehgal, Boney, Cakpo, Boniface, Alrayes, Bourhan, Mao, Boyuan, Bogdan-Gabriel, Bratu, Bengaly, Bréhima, Williams, Brielle, Cismasiu, Brigitta, Helou, Brigitte, Davies, Brooke, Arya, Brundha, Cirillo, Bruno, Nardo, Bruno, Pinto, Bruno, Scotto, Bruno, Vieira, Bruno, Kadir, Bryar, Albaihani, Bshaer, Calik, Bulent, Citgez, Bulent, Celik, Burak, Azhar, Burhansyah, Alshaikh, Bushra, Kum, Büşra, Killoran, Callie, Nwachukwu, Callistus, Hidalgo Salinas, Camila, Brasset, Camille, Bertoglio, Camillo Leonardo, Vasquez Maya, Camilo, Zapata Syro, Camilo, Akgün, Can, Yurttas, Can, Semeraro, Candy, Lategan, Carina, Boven, Carine, Uwakunda, Carine, Leal Ferrandis, Carla, Margiani, Carla, Piras, Carla, Samojeden, Carla, Vitiello, Carla, Feo, Carlo V., Bôto, Carlos, Roman Ortega, Carlos Fernando, Ferreras García, Carlos, Figueiredo, Carlos, García-Salas, Carlos, González, Carlos, González Baez, Carlos, Gracia-Roche, Carlos, Guijarro Moreno, Carlos, Hernandez Diaz, Carlos, Ferrero, Carlos Ignacio, Perez Rivera, Carlos J, Jezieniecki, Carlos, Pérez - Padrón, Carlos Josué, León-Espinoza, Carlos, Nuño-Guzmán, Carlos M., Macedo Cardoso De Oliveira, Carlos, Shiraishi Zapata, Carlos, Yanowsky-Gonzalez, Carlos, Sorrentino, Carmen, Tung, Carmen, Cardoso, Carolina, Chavarría Noya, Carolina, Coutinho, Carolina, Korzin, Carolina, Maya, Carolina, Moreno-Licea, Carolina, Panis, Carolina, Righetti, Carolina, Silva, Carolina, Soares-Aquino, Carolina, Golliez, Caroline, Chiam, Carolyn, Kamphues, Carsten, Rahantasoa Finaritra, Casimir Fp, Assis, Catarina, Henriques, Catarina, Quintela, Catarina, Rio Ferreira, Catarina, Rolo Santos, Catarina, Rodrigues, Catarina S., Allmer, Caterina, Bradshaw, Catherine Jane, Rukundo, Cédric, Seneza, Celestin, Raphael, Celine, Guldogan, Cem Emir, Bilir, Cemal, Hacıalioğlu, Cemal, Ersavas, Cenk, Özkan, Cenk, Huaroto Landeo, Cesar Fernando, Ginesta, Cesar, Infante, César, Pastás, César, Ciubotaru, Cezar, Narayan, Chanchal, Mahakalkar, Chandrashekhar, Floros, Charalampos, Demiri, Charikleia, Chatzinikolaou, Charito, Dempers, Charl, Ansah Larbi, Charles, Banka, Charles, Cini, Charles, Dally, Charles, Doku, Charles, Ntow-Boahen, Charles Kwaku, Nicholson Jr., Charles, Cornwell, Charlotte, Stennard, Charlotte, Lionel, Charre, Azmat, Chaudhary Ehtsham, Nyampinga, Chelsea, Tandup, Cherring, Agarwal, Chetan, Parmar, Chetan, Pun, Chetna, Un, Chi Wen, Baars, Chiara Anne, Celano, Chiara, Fumagalli, Chiara, Marafante, Chiara, Zandonella, Chiara, Nwanmah, Chibueze, Osuigwe, Chidimma, Nwokoro, Chigbundu, Nwosu, Chikaodili, Nwosu, Chimdiebele Daisy, Lim, Chin Kent, Ónyeka, Chinonso, Uche, Chisom, Jamieson-Grigg, Chloe, Ong, Chon Sum, Alphonse, Chris, Bode, Chris, Varghese, Chris, Carrillo Sarango, Christian, Esteo Verdu, Christian, Krautz, Christian, Mosca, Christian, Nimbona, Christian, Nikolaou, Christina, Wiesner, Christina, Kloppers, Christo, Kourouniotis, Christoforos, Seiler, Christoph, Knee, Christopha, Mpirimbanyi, Christophe, Aboah, Christopher, Amah, Christopher, Cheong, Christopher, Harmston, Christopher, Leung, Christopher, Seet, Christopher, Smart, Christopher, Chouliaras, Christos, Damaskos, Christos, Doudakmanis, Christos, Kaselas, Christos, Limas, Christos, Ntagkas, Christos, Papazacharias, Christos, Stefanou, Christos, Thrasyvoulou, Christos, Tsalikidis, Christos, Karagianni, Chrysanthi, Kolla, Chrysoula-Christina, Ugwunne, Chuka, Ilo, Chukwudi, Nwegbu, Chukwuemeka, Onwuzu, Chukwuka, Weadick, Ciara, De Martino, Ciro, Donohoe, Claire, Gutierrez De La Rosa, Clara Elena, Florián Villa, Clara Marcela, Petcu, Clara Teodora, Cecconi, Claudia, Banal, Claudine, Brandi, Claudio, Hossu, Claudiu, Onuoha, Clement, Osime, Clement, Shelton, Clifford, Fuentes Orozco, Clotilde, Adumah, Collins, Dina, Constantin, Nastos, Constantinos, Aguero, Coral, Markin, Coretta, Hoogerboord, Cornelis, Da Lio, Corrado, Saviello, Cosimo, Bezede, Cosmin, Distefano, Costanza, Elliot-Wilson, Courtney, Bokossa, Covalic, Lupercio Figueroa, Cristian Israel, Riboni, Cristiana, Meola, Cristiano, Costa, Cristina, Gas, Cristina, Larotonda, Cristina, Soddu, Cristina, Vacca, Cristina, Vera Mansilla, Cristina, Li, Crystal, Agbonrofo, Cynthia, Akli-Nartey, Cynthia, Molewa, Cynthia, Nelly Rosine, Cyuzuzo Ngwije, Rega, D., Koike, Daisuke, Wickramasinghe, Dakshitha, Clarke, Damian, Fry, Damian, Hannedige, Damsadie, Powell, Dan-Beck, Kasasbeh, Dana, Samardali, Dana, Sharl Ajami, Dani, Badran, Dania, Adjei, Daniel, Muhie, Daniel Ahmed, Pérez Muñoz, Daniel Alejandro, Alifoe, Daniel, Aparicio-López, Daniel, Baños Méndez, Daniel, Cristian, Daniel, Eaton, Daniel, Gero, Daniel, Makary, Daniel, Montwedi, Daniel, Muñoz, Daniel, Patterson, Daniel, Reim, Daniel, Agbley, Daniel Yao Dodzie, Patiño García, Daniela Cristina, Di Pietrantonio, Daniela, Pais, Daniela, Rosado, Daniela, Tavares, Daniela, Alberti, Daniele, Fusario, Daniele, Massaro, Daniele, Paglione, Daniele, Pironi, Daniele, Kurochka, Daniil, Centonze, Danilo Corrado, Hackner, Danilo, Herrera, Danilo, Amangaliyev, Daniyar, Silva-Cano, Danny Wladimir, Chaudhry, Daoud, Palmisano, Dario, Ribero, Dario, Vukosav, Dario, Misca, Darius, Lowen, Darren, Rattray, Darren, Walia, Darshanjit Singh, Maan, Darvesh, Muyenzi, Daryle, Verdi, Daunia, Bardsley, David, Reyes Rodríguez, David Estuardo, Fra Corral, David, Garcia López De Goicoechea, David, Gavit, David, Gómez, David, Idowu, David, Konkin, David, Labadah, David Kplorla Kekeli, Liu, David, Merlini, David, Mitchell, David, Moro-Valdezate, David, Osifo, David, Proud, David, Ridder, David, Gobatti, Davide, Muschitiello, Davide, Pertile, Davide, Zulian, Davide, Mengiste, Dawit, Mikami, Dean, Mohanty, Debajyoti, Chatterjee, Debarghya, Komolafe, Deborah Olaitan, Scotto Di Carlo, Deborah, Wright, Deborah, Rahme, Deema, Talreja, Deep Parkash, Jain, Deepak, Rajput, Deepak, Singh, Deepak, Anbu, Deepika, Ibrahim, Dena, Phom, Denchu, Hili, Denise, Osei, Dennis Broni, Daary, Dennis, Kyeremeh, Dennis, Shen, Dennis, Uymaz, Derya Salim, Cianflocca, Desiree, Ashitey, Desmond, Evripidou, Despo, Papageorgouli, Despoina, Kaushal, Devesh, Abeysirigunawardana, Dewmi, Dugar, Dharmendra, Mallik, Dhiraj, Ghosh, Dhruva, Houmran, Diaa, Abdulrahman, Diala, Pantoja Pachajoa, Diana Alejandra, Cardona Gomez, Diana Catalina, Fenner, Diana, Gonzalez, Diana Samantha, Siriwardena, Diana, Garcés Palacios, Diana Sofía, Stoian, Diana, Zuikyte, Diana, Sosa Méndez, Dianne Alitzá, Wickramarathna, Dickson, Mutter, Didier, Palma Portillo, Diego Andrés, Chavez Fernandez, Diego, Córdova García, Diego, Enjuto, Diego, Giulitti, Diego, Sasia, Diego, Visconti, Diego, Yiğit, Dilara, George, Dilip, Rabaia, Dima, Georgiev, Dimitar, Hadzhiev, Dimitar, Alexandrou, Dimitrios, Balalis, Dimitrios, Giakoustidis, Dimitrios, Manatakis, Dimitrios K., Korkolis, Dimitrios, Lytras, Dimitrios, Massaras, Dimitrios, Moris, Dimitrios, Politis, Dimitrios, Sampanis, Dimitrios, Schizas, Dimitrios, Tsiardas, Dimitrios, Vardakostas, Dimitrios, Kotsaris, Dimitris, Khattab, Dina Hesham, M. Awad, Dina, Alrokh, Dina Sami, Schippers, Dina, Waleed, Dina, Salinovic, Dinko, Gonçalves Múrias Gomes, Diogo Miguel, Silva, Diogo, Vaz Acosta, Diogo, Morton, Dion, Panagopoulos, Dionisios, Kelgiorgi, Dionysia, Dellaportas, Dionysios, Prevezanos, Dionysios, Joshi, Dipti, Ozal, Direm, Yigit, Direnc, Chimkaomasiri, Divine, Jabbar, Diya, Nepogodiev, Dmitri, Belekar, Dnyanesh, Abdalaziz, Doaa, Abunemer, Doaa, Attia, Doaa, Elkafrawy, Doaa, Dimitrov, Dobromir, Pignatelli, Domenica, Merlicco, Domenico, Soriero, Domenico, Zerbo, Domenico, Atouguia, Domingas, Fairbrass, Dominic, T. Enti, Donald, Venskutonis, Donatas, Rukavina, Dora, Caruso, Dorena, Herappe, Dorihela, Lee, Dorinda Norbetha, Ofosuhene, Doris, Hajela, Apoorva, Badwan, Basem, Kulkarni, Datta, Dhawan, Deep, Dhillon, Jeevanjit, Mehmood, Manzer, Mahmood, Namrah, Nikam, Narendra, Ramchandani, Radhakrishna, Thind, Ravinder Singh, Riazhussain, D Hafiz, Maqsood, Saliha, Alalawi, Yousef, Tyagi, Harshdeep, Kshirsagar, Shivani, Ahmed, Hisham, Juan Carlos, Luna Cydejko, Kone, Dramane, Omar, Duaa, Alves, Duarte Gil, Subasinghe, Duminda, Ommi, Durgesh, Joshiba, Durshney, Chakarov, Dzhevdet, Arkoh, Ebenezer Ameyaw, Frimpong-Manso, Ebenezer, Ada, Ece, Lincango, Eddy P., Lozada Hernandez, Edgard Efren, Hodžić, Edin, Di Marco, Edith, Baccalini, Edoardo Andrea, Baldini, Edoardo, González Marín, Eduardo, Gutierrez, Eduardo, Sepúlveda, Eduardo, Dainius, Edvinas, Zhang, Edward, Yenli, Edwin Mwintiereh Ta-Ang, Antoniou, Efstathios, Kapasakis, Efstathios, Baili, Efstratia, Poulios, Efthymios, Kubiliute, Egle, Osaze, Ehioghae, Afeikhena, Ehis, Elshennawy, Eiad, Athanasopoulou, Eirini, Synekidou, Eirini, Ekaladze, Eka, Tampaki, Ekaterini Christina, Adam, Elaf, Adel Hamdoun Aziz, Elaf, Yousuf, Elamin, Gialamas, Eleftherios, Spartalis, Eleftherios, Bedzhanyan, Elen, Toma, Elena Adelina, Daukšaitė, Elena, Desiato, Elena, Dvivedi, Elena, Hadzhieva, Elena, Martí Cuñat, Elena, Montalbán Martínez, Elena, Montanari, Elena, Signaroli, Elenasofia, Efremidou, Eleni, Gavriil, Eleni, Karakeke, Eleni, Mavrodimitraki, Eleni, Papamattheou, Eleni, Jose, Elenza, Cianci, Eleonora, Ciccioli, Eleonora, Daleva, Eleonora, Locci, Eleonora, Lori, Eleonora, Silanos, Eleonora, Ayala, Elí, Bankart, Eliana, Brolese, Eliane, Efstathiou, Elias, Salloum, Elias, Colak, Elif, Terzi, Elif Didem, Ametefe, Elikem, Cagigal Ortega, Elima Pilar, Donnarumma, Elio, Mina, Elisa, Reitano, Elisa, Wallner, Elisabeth, Moggia, Elisabetta, Betz, Elise, Kontis, Elissaios, Anestiadou, Elissavet, Gimson, Eliza, Lun, Elizabeth, Fraser, Elizabeth, Li, Elizabeth, Torres De Anda, Elizabeth Magaly, Murphy, Elizabeth Mary Ann, O'Connell, Elizabeth, Redondo, Elizabeth, Lun, Elizabeth Weng Yan, Francis, Ella, Haiden, Elmar, Hamed, Elmonzir, Alkhalifa, Elmustafa, Dexter, Eloise, Daketsey, Elorm, Setsoafia, Elorm, Mohamed, Elsagad, Mohammed, Elsamoual, Hegab, Elsayed, Ay, Elvin, Adinolfi, Elvira, Mbanzabugabo, Elvis, Chin, Elynn, Ahmed, Emad Ali, Younes, Eman, Basile, Emanuela, Gessa, Emanuela, Pontecorvi, Emanuele, Romairone, Emanuele, Hatangimana, Eméry, Ndizeye, Emile, Ciofic, Emilia, Dijan, Emilio, López-Negrete Cueto, Emilio, Baker, Emily, Reid, Emily, Schmidt, Emily, Alić, Emir, Bičakčić, Emir, Agbowada, Emma, Colton, Emma, Downing, Emma, Haege, Emma, O'Neill, Emma, Roussos, Emmanouel, Nachelleh, Emmanuel Aadereyir, Adebunmi, Emmanuel, Obiesie, Emmanuel Ahuizechukwu, Akakpo, Emmanuel Bismark, Konlan, Emmanuel Dammigu Francis, Nwangwu, Emmanuel Ifeanyi, Kafui Ayodeji, Emmanuel, Ofori, Emmanuel Owusu, Spanoudakis, Emmanuel, Abate, Emmanuele, Balik, Emre, Bozdağ, Emre, Bozkurt, Emre, Karabulut, Emre Cagri, Ozoran, Emre, Tunçcan, Emre, Tuzuner, Emre, Halilović, Emsad, Alabed, Enaam, Zidan, Enas, Hodžić, Enes, Aybar, Engin, Yildirim, Engin Okan, Wong, Enoch, Yhoshu, Enono, Bisogno, Enrica, Andolfi, Enrico, Ferri, Enrico, Potenza, Enrico, Spalice, Enrico, Volpin, Enrico, González, Enrique, Downes, Eoin, Gallo, Erdachew, Kamer, Erdinc, Naidoo, Eressa, Erginöz, Ergin, Bara, Eric, Irungu, Eric, García-Villegas, Eric Yusif, Mazzotta, Erica, Monati, Erica, Chan, Erick, Gómez Mejía, Erika, Dylja, Eris, Somuncu, Erkan, Yavuz, Erkan, Begunić, Ernes, Margelis, Ernest, Osei, Ernest Owusu, Saitoglou, Ertzan, Agastra, Ervis, Mazumdar, Eshan, Soyer Güldoğan, Esra, Abu Siam, Esra'A, Abdelbaset, Esraa, Abdu, Esraa, Adel Mahmod Sultan, Esraa, Nubi Mohamed, Esraa Gamal, Abuobaida Banaga Hag El Tayeb, Essam Eldien, Ali, Essraa, Page-Taylor, Estelle, Marra, Ester, Garcia Santos, Esther Pilar, Elsheikh, Ethar, Unal, Ethem, Tan, Eugene, De Leo, Eugenio, Borges, Eva, Gáspár, Éva, Ruiz-Daum, Eva, Apostolopoulos, Evaggelos, Samara, Evangelia, Barkolias, Evangelos, Fradelos, Evangelos, Hopping, Eve, Romo Ascencio, Evelia Veronica, Sosa Ferreira, Ever David, Shestakov, Evgenii, Tyurina, Evgenya, Hristova, Evguenia, Efthymiou, Evripidis, Tokidis, Evripidis, Harrison, Ewen, Dontoh, Ewurama Akroma, Mansour, Eyad, Yeshialem, Eyosiyas, Dabbagh, Ezeddin, Amer, Ezzeldin, Manasci, Fabiana, Gomes, Fabio, Medas, Fabio, d'Acapito, Fabrizio, Vassallo, Fabrizio, Haddad, Fadi, Elhabishi, Fadwa, Akhtar, Fahad, Tauheed, Fahad, Al Abbood, Fahd, Gareb, Fahed, Ghazali, Fairuz, Alnazawi, Faisal, Ondago, Faith, Rasoaherinomenjanahary, Fanjandrainy, Wiese, Fanny, González Ponce, Fanny Yesenia, Georgiades, Fanourios, Ali, Farah, Galley, Fareeda, Huda, Farhanul, Amir, Farhat Naaz, Ashraf, Fariha, Alfarsi, Faris, Ayasra, Faris, Ali, Farman, Mahmoud, Faten, Aliskander, Fater, Tahir Lwdie, Fathea, Buyuker, Fatih, Aguilar Del Castillo, Fátima, Mohammed Daoud, Fatima Ahmed, Alowjaly, Fatima, Oni, Fatima, Rauf, Fatima, Elkhafeefi, Fatimah, Hourri, Fatine, Monib, Fatma A., Alshreef, Fatma, Benghalbon, Fatma, Ntirenganya, Faustin, Ashraf, Fauziyah, Chahrour, Fayez, Ahmad, Fazal, Parray, Fazlul Qadir, Philips, Febi, Campus, Federica, Di Marco, Federica, Ferraina, Federica, Frongia, Federica, Maffeis, Federica, Natali, Federica, Pederiva, Federica, Scolari, Federica, Tofani, Federica, Marin, Federico Alberto Niccolò, Biolchini, Federico, Cappellacci, Federico, Corronca, Federico, Mazzola, Federico, Suldrup, Federico, Nyarko, Felicia, Casas J, Felipe, Zapata, Felipe, Aigner, Felix, Alakaloko, Felix, Amoako, Felix, Camacho, Felix, Hammett, Felix, Kuubetersob B. N, Felix, Alahmad, Feras, Alnimri, Feras, Haddad, Feras, Gool, Ferhana, Castro, Fernanda, Diaz, Fernanda, Lucero, Fernanda, Vovola, Fernanda, Mahnic, Fernando, Mercado Sanchez, Fernando, Prieto La Noire, Fernando, Soggiu, Fiammetta, Tsige, Fikreab, Brzeszczyński, Filip, Rudisch, Filip, Valente Costa Pinto, Filipa, Ramalho De Almeida, Filipe, Banchini, Filippo, Palomino Escalante, Fiorella, Fadzlullah, Fitri, Terefe, Fitsum, Sulo, Fjorenta, Ciccarone, Flavia, Tirelli, Flavio, Krämer, Florian, Grama, Florin, Spanos, Foivos, Solimene, Folco, Akinwande, Foluso, Osman, Forzia, Stefou, Foteini, Kyramargios, Fotios, Stavratis, Fotios, Alassani, Fousseni, Ascari, Francesca, Cammelli, Francesca, D'Agostino, Francesca, Tropeano, Francesca Paola, Peters, Francesca, Ré, Francesca, Brucchi, Francesco, Casti, Francesco, Coratti, Francesco, Ferrara, Francesco, Floris, Francesco, Izzo, Francesco, Maffei, Francesco, Palmieri, Francesco, Pata, Francesco, Porcelli, Francesco, Selvaggi, Francesco, Velluti, Francesco, Mulita, Francesk, Bello, Francis, Caiquo, Francis, Dossou, Francis, Eshun, Francis Junior, Opoku Twene, Francis, Tierenye, Francis, Quayson, Francis William, Romo Rosales, Francisco David, Ibañez Ortiz, Francisco, León Frutos, Francisco Javier, Redondo Calvo, Francisco Javier, Silva Rivera, Francisco Javier, Barbosa Camacho, Francisco José, Bujalance Cabrera, Francisco Manuel, Ruescas, Francisco, Irakiza, Franck Fanon, Corvatta, Franco, Pascual, Franco Raúl, Roviello, Franco, Roodt, Francois, Gyamfi, Frank Enoch, Olaniru, Frank, Owusu, Frank, Bader, Franz G., Anzinger, Franz-Xaver, Agbodo, Fred David Anku, Ris, Frederic, Agbemafoh, Frederick Mawuli, Afonso, Frederico, Nazareth, Frederico, Berrevoet, Frederik, Hounde, Fréjus, Demiral, Furkan, Hassooni, Furqan Ridha Hassooni, Kafa, Gabi, Cárdenas Rivera, Gabriel, Ntwari, Gabriel, Szydlo Shein, Gabriel, Ambriz González, Gabriela, Nita, Gabriela Elisa, Bellio, Gabriele, Moitzi, Gabriele, Urdang, Gabriella, Marom, Gad, Gallo, Gaetano, Luglio, Gaetano, Poillucci, Gaetano, Singh, Gagandeep, Saletta, Gaia, Abouelnagah, Galal, Yarovenko, Galina, Kazobinka, Gallina, Ahmed, Gamal Mutwakil Gamal, Rahman, Ganiyu Adebisi, Smith, Garett, Pillai, Gargi, Saxena, Garima, Gbessi, Gaspard, Nkunguzi, Gaston, Jalal, Gaurav, Chillarge, Gauri, Singh, Gautam, Mevognon, Gedeon, Getachew, Gedion, George, Gejoe, De La Peña González, Gema, Martínez Izquierdo, Gema, Grande, Gennaro, Birikorang, Geoffrey, Weber, Georg F., Singer, Georg, Ansong, George, Bashour, George, Brown, George Darko, Hneino, George, Kavalieratos, George, Kenchadze, George, Nagy, George, Pappas Gogos, George, Skroubis, George, Waiyaki, George, Cox, Georgia, Zeringa, Georgia, De Wee, Georgin, Hart, Georgina, Bekakos, Georgios, Fragulidis, Georgios, Kapogiannatos, Georgios, Karakaidos, Georgios, Kokkinos, Georgios, Kostoulas, Georgios, Koukoulis, Georgios, Peros, Georgios, Rados, Georgios, Tsoulfas, Georgios, Verras, Georgios-Ioannis, Berger, Geraint, Adoro, Gerard Ayuka, Chamoso Mialdea, Gerardo, Palmieri, Gerardo, Procaccini, Gerardo, Steenkamp, Gerhard, Viscido, Germán Rodrigo, Dajti, Gerti, Alemayehu, Getachew, Seyfu, Gezachew, Birqeeq, Ghada, Alsheikh, Ghadeer, Alrayyes, Ghaith, El Hunjul, Ghalib Nashaat, Zaza, Ghayath, Matroud, Ghazlah, Alhadwah, Ghena, Maltinti, Gherardo, Awais, Ghina, Shamsi, Ghina, Calini, Giacomo, Carganico, Giacomo, Zanus, Giacomo, Canu, Gian Luigi, Mendiola, Gian, Ibero Casadiego, Giana Pamela, Cocorullo, Gianfranco, Baronio, Gianluca, Pellino, Gianluca, Zanni, Gianluca, Poto, Gianmario Edoardo, Gravante, Gianpiero, Aduroja, Gideon, Almogy, Gidon, Bond-Smith, Giles, Natchagande, Gilles, Bechara, Gio, Brachini, Gioia, Riccioli, Giordana, Ercolani, Giorgio, Farris, Giorgio, Giraudo, Giorgio, Mammolo, Giovanna, Pavone, Giovanna, Sgarzini, Giovanna, Aprea, Giovanni, Fonsi, Giovanni Battista, Boroni, Giovanni, De Angeli, Giovanni, De Palma, Giovanni Domenico, Emiliani, Giovanni, Grava, Giovanni, Guercio, Giovanni, De Carlo, Giulia, Del Corpo, Giulia, Duranti, Giulia, Galatioto, Giulia, Grassi, Giulia, Graziano, Giulia, Marini, Giulia Maria Francesca, Munzi, Giulia, Tarantino, Giulia, Borda-Luque, Giuliano, Pellicano', Giuseppe Antonino, Canonico, Giuseppe, Carollo, Giuseppe, Ietto, Giuseppe, Palomba, Giuseppe, Pascarella, Giuseppe, Salamone, Giuseppe, Sica, Giuseppe, Sorrentino, Giuseppe, Orlando, Giuseppina, Pignata, Giusto, Pisarevi, Givi, Akcakoca, Gizem, Owusu, Godfred, Yohanna Abrak, Godwin, Kurtoglu, Gokalp Kagan, Kurtoglugk, Gokalp Kagan, Alıcı, Gökhan, Kurtoglu, Goktug Mert, Delgado Hernandez, Gonzalo, Augustin, Goran, Bhat, Gowhar Aziz, Sundaram Venkatesan, Gowtham, Chang, Grace, Eke, Grace, Lee, Grace, Massarra, Grace, Travaglini, Grazia, Scialandrone, Grazisa, Stavrou, Gregor A., Di Franco, Gregorio, Charalambous, Gregory, Christodoulidis, Gregory, Kouraklis, Gregory, Goodwin, Gregory Richard, Devidze, Grigol, Fialho, Guilherme, Santos, Guilherme, Cabezudo, Guillermo, García-Santos, Guillermo, Pou, Guillermo, Romero Reyna, Guillermo, Yanowsky-Reyes, Guillermo, Ozyuksel, Gul, Karadeniz Cakmak, Guldeniz, Kucuk, Gultekin Ozan, Bulbuloglu, Guney Cem, Sarp, Guray, Kaur, Gurleen, Nibogora, Guy Darcy, Hamdan, Gymar, Ogundipe, Habeeb, Yunes, Habib, Ayesh, Hadeel, Al Atassi, Hadi, Jalilehvand, Hadis, Masalma, Hafez, Jafarkhan, Hafis, Shahid, Hafiz Huzaifa, Younus, Hafsa, Al-Derume, Hail, Shames, Haitam, Mimouni, Haithem Ahmed, Aldare, Hajar, Odah Bashi, Hajar Omar, Abusnina, Hajer, Altounsi, Hajir, Qayum, Hajra, Baysal, Hakan, Bolukbasi, Hakan, Yigitbas, Hakan, Alkhatib, Hala, Afzal, Haleema, Mftah, Halima, Oyinlola, Halimah, Tümer, Haluk, Dolo, Hamadoun, Braham, Hamdi, Ozsahin, Hamdi, Abu-Arish, Hamdoon, Al-Aamri, Hamed, Fadlalmola, Hammad Ali, Abu Obead, Hamza, Al-Fahel, Hamza, Al-Zoubi, Hamza, Asaad, Hamza, Ejaz, Hamza, Jaber, Hamza, Bhatti, Hamza Waqar, Mohammadi Sardoo, Hamzeh, Farhat, Hana, Idheiraj, Hanadi, Zwaraa, Hanady, Al Sohabi, Hanan, Basharat, Hanan, Said, Hanan, Al-Abdallat, Haneen, Foad, Haneen, Daaboul, Hanen, Al Qadhi, Hani, Elhallaq, Hani, Alhusaini, Hanin, Lidbetter, Hannah, Reilly, Hannah, Moya- Ambriz, Hannia Betzabeth, Lederhuber, Hans, Fehrer, Hans-Jörg, Xiao, Haotian, Iswariah, Harish, Kaur, Harmeena, Cheema, Harnoor Kaur, Foda, Haroun, Chauhan, Harpreet, Kaur, Harpreet, Sagar, Harry, Unwin, Harry, Kaur, Harsharan, Panga, Harshavardhan, Gupta, Harshit, Prabhakar, Harshit Kumar, Anand, Harshitha, Pahwa, Harvinder Singh, Abbadi, Hasan, Amoudi, Hasan, Zaini, Hasan Hadi Zaini, Škiljo, Hasan, Miyasika, Hasangi, Altabbaa, Hashem, Haj Freej, Hasn, Abdelazim, Hassan, Habiba, Hassan, Kamal, Hassan, Sabir, Hassan, Zaigham, Hassan, Pehlivan, Hatice, Telci, Hatice, Abuobaida, Hayat, Tetley, Heather, Taher, Heba, Aguado López, Héctor, Askarpour, Hedyeh, Sherif Farouk Ahmed Hassan, Heidi, Devesa, Helena, Arbogast, Helmut, Nuñez Del Barrio, Henar, Abiyere, Henry, Delacave, Henry, Rice, Henry E., Pleass, Henry, Bradly, Hera, Islam, Heraa, Lule, Herman, Abozied, Hesham, Le Roux, Hettie, Hamdar, Hiba, Yaghmour, Hiba, Bileid Bakeer, Hibah, Al Miskry, Hilal, Ulman, Hilmican, Abdoun, Hind, Essalim, Hind, Yonekura, Hiroshi, Kato, Hiroyuki, Amin-Tai, Hizami, Kynaston, Holly, Pérez Baca, Honorio De Jesús, Irfan Khan, Hoor, Amir, Hosam, Elghadban, Hosam, Elfeki, Hossam, Wain, Howard, Adjei, Hubert, Dąbrowski, Hubert, Novák, Hubert, Alzuhd, Huda, Capote, Hugo, Gomez-Fernandez, Hugo, Stark, Hugo, Willy-Chidire, Hulda, Aouagbe Behanzin, Hulrich, Oneizah, Humam M.A., Dalati, Husam, Ebied, Husam, Mahajna, Husam, Ahmad, Husnain, Altawati, Husni, Adi, Hussam, Albalawi, Hussam, Alfakeer, Hussein, Embarek, Hussein, Ibrahim, Hussein, Malkawi, Hussein, Ekwuazi, Hyginus, Psilopatis, Iason, Wasiu, Ibitowa, Kereet, Ibraheem M., Suleiman, Ibrahem, Fortune, Ibrahim, Aburumman, Ibrahim, Adel, Ibrahim, Adham, Ibrahim, Ali, Ibrahim, Arnaout, Ibrahim, Çakır, Ibrahim, Suleiman, Ibrahim Eneye, Fagiri, Ibrahim, Hajmohammed, Ibrahim, Özata, ıbrahim Halil, Kandil, Ibrahim, Ahmed, Ibrahim Mutwakil Gamal, Tagreda, Ibrahim, Garzali, Ibrahim Umar, Nadi, Ibtihal, Ogundele, Ibukunolu, Pius Ogolekwu, Idoko, Shariff, Idriss, Jakaityte, Ieva, Abdullah, Ifra, Babajimi-Joseph, Igbagbolere, Guirguis, Ihab, Orji, Iheanyi, Okoro, Iheanyichukwu, Ahmed, Ihsan, Obianyo, Ijeoma, Njere, Ike, Ugwueke, Ikechukwu, Nzenwa, Ikemsinachi C, Zerrouq, Ikram, Clementi, Ilaria, Neri, Ilaria, Yavuz, Ilayda Esma, Hoxhaj, Ilda, Fakhradiyev, Ildar, R Fakhradiyev, Ildar, Gomatos, Ilias, Fidoshev, Iliya, Gouazar, Iltimass, Alnimer, Imad, Boudis, Imad Eddine, Boumakhlouf, Imad Eddine, Abdalla, Iman, Herrero, Imanol, Osman, Imoro, Nasser, Inas, Singh, Indra, P S, Induchoodan, Borges Da Costa, Inês, Colaço, Ines, Lourenço, Inês Mariana, Mogárrio, Inês, Königsrainer, Ingmar, Ahmed, Intezar, Hamdun, Intisar Hisham Said, Tanase, Ioan, Bokos, Ioannis, Contis, Ioannis, Demiris, Ioannis, Gerogiannis, Ioannis, Gogoulis, Ioannis, Karatsolis, Ioannis, Katsaros, Ioannis, Kozadinos, Ioannis, Margaris, Ioannis, Maroulis, Ioannis, Papaconstantinou, Ioannis, Siannis, Ioannis, Sougkas, Ioannis, Spyridakis, Ioannis, Tierris, Ioannis, Tsakiridis, Ioannis, Imihteev, Ion, Negoi, Ionut, Chatzis, Iosif, Shahbaz, Iqra, Didier, Irabishohoje, Pipia, Irakli, Parwaiz, Iram, Durán Sánchez, Iran Irani, Norman, Irena, Bakaweri, Irenaeus Nutumie, Santos, Irene, Mylona, Irene Chrysovalanto, De Haro Jorge, Irene, Cervera, Iria, Dajti, Irida, Datji, Irida, Matache, Irina Mihaela, Russo, Iris Shari, Aremu, Is'haq Ishola, Amankwaa, Isaac, Caitens, Isaac, Esparza Estrada, Isaac, Mubezi, Isaac, Gascon Ferrer, Isabel, Serrano, Isabel, Dong, Isabella, Mondi, Isabella, Serfontein, Isabella, Rakshit, Ishani, Kyei, Ishmael, Murshed, Ishraq, Cabrera, Ishtar, Abo Elhagag, Islam, Alsoubie, Ismael, Lawani, Ismail, Bilgin, Ismail Ahmet, Cholah, Ismail, Hamzaoglu, Ismail, Lawani, Ismaïl, Maharem, Israa, Shehadeh, Israa, Hagbevor, Israel, Bahikoro, Issa Wendpouiré, Laopeamthong, Issaree, Mikulic, Iva, Bacic, Ivan, Rakvin, Ivan, Separovic, Ivan, Vidić, Ivan, Conversano, Ivana, Mrazkova, Ivana, Yotsov, Ivelin, Ilieva, Ivelina, Ćoza, Ivo, Ali, Iyad, Aljada, Iyad, Hussein, Iyad, Tesfahun, Iyasu, Sadiq, Izzah, Martinez Martin Del Campo, J Francisco, Mackenzie, Jack, Maida, Jack Vittorio, Kaippally, Jacob, Montero García, Jacobo, Andreuccetti, Jacopo, Martellucci, Jacopo, Secchi, Jacopo, Van Niekerk, Jacques, Saunders, Jada, Duffield, Jaime A., Tavares-Ortega, Jaime Alberto, Orozco-Perez, Jaime, Mihanovic, Jakov, Woleský, Jakub, Bryan, James, Bundred, James, Cui, James, Glasbey, James, Casella Mariolo, James Rossario, Suliman, Jamil, Mohammad Mohammad, Jamiu, Bolanowski, Jan, Goedeke, Jan, Grosek, Jan, Moravik, Jan, Ringers, Jan, Roman, Jan, Chew, Janae, Maritz, Jancke, Martin, Janet, Velkoski, Jaqueline, Wong, Jason, García-Quijada, Javier, Tk, Jayakumar, Siby, Jayas, Mcnab-Hand, Jaymee, Gusa, JB, Gusa, Jean Bosco, Allen, Jean Claude, Mbonicura, Jean Claude, Rugambwa, Jean Paul, Jordaan, Jean- Jacques, Razafindrahita, Jeannie Ba, Do, Jee Eun, Senavirathna, Jeewantha, Kalyanapu, Jeffrey A, Chan, Jeffrey, Ofori, Jeffrey, Otote, Jeffrey, Akiely, Jehad, Cassiano Neves, Jelena, Gillingham, Jemima, Herrera Batres, Jenifer Olga María, Ezeh, Jennifer, Okei, Jennifer, Vu, Jennifer, Guevara, Jenny, Siu, Jenny, Rolinger, Jens, Skaff, Jeolle, Uys, Jernelle, Makama, Jerry Godfrey, Barklimore, Jessica, Dei-Asamoa, Jessica, Jahjah, Jessica, Jones, Jessica, Ng, Jessica, Ricardo, Jéssica, Schembri Higgans, Jessica, You, Jessica, Annan, Jessie, Aguilar, Jesus Antonio, Pizarro Lozano, Jesús, Lim, Jia Hui, Zhu, Jiang, Wang, Jianxue, Abbasy, Jibran, Ugwu, Jideofor, Rathod, Jignesh, Albalushi, Jihan, Najajra, Jinan, Fu, Jing Hui, Tefay, Joan Sia Tan, Domingues, Joana Cristina, Simoes, Joana FF, Figueiredo, Joana, Fontaínhas, Joana, Frazão, Joana, Marques Antunes, Joana, Simoes, Joana, Marx, Joanna Naemi, Dias-Ferreira, João, Fernandes, João, Mendes, João, Pinho, João, Ribeiro, João, Vaz, João, Dominguez, Joaquina, Abutu John, Job, Chen, Joe Jun Qiao, Enaholo, Joel, Alaji, Joelle, Miller, Johanna, Binder, Johannes, Daleku, John, Katogiritis, John, Khoury, John, Anyorigiya, John Noah, Reilly, John, Abebrese, John Tabiri, Ahale, Johnny Lordson, Tabora-Zepeda, Johnny, Barrutia Leonardo, Jon, Demma, Jonathan Abraham, Hong, Jonathan, Chejfec-Ciociano, Jonathan Matias, Oppong, Jonathan, Quansah, Jonathan, Sutcliffe, Jonathan, Taiwo, Jones, Nyamekye - Baidoo, Joojo, Prat-Ortells, Jordi, Dongmo, Jordy, Kleeff, Jorg, Jimenez Flores, Jorge Alberto, Pellecer Cano, Jorge Bernardo, Chóliz, Jorge, Giubi Bobeda, Jorge Eduardo, Escartin, Jorge, Febré, Jorge, Gass, Jörn-Markus, Calvache, Jose A, Guzman Barba, Jose Aldo, Gutiérrez Gómez, José Alonso, Calvache, Jose Andres, Acevedo Parrales, José Danilo, Orozco Navarro, José Esteban, Viñas, José Federico, Gomez, José, Goncalves-Nobre, Jose Guilherme, Valenzuela, José Ignacio, Garcia Galocha, Jose Luis, Rodicio Miravalles, Jose Luis, Faylona, Jose Macario, Alvarez Hernandez, Jose Manuel, De Francisco Rios, Jose Mario, Martin Fernandez, Jose, Michel, José, Carlos, José Miguel, Mondino, Jose, Vieira De Sousa, José Pedro, Asturias Luna, José Rodrigo, Hernández, Jose Rodrigo, García, José Sebastian, Galea, Joseph, Hwang, Joseph, Leong, Joseph, Yorke, Joseph, Psaila, Josephine, Walshaw, Josephine, Ampadu, Joshua, Linker, Joshua, Ng-Kamstra, Joshua, Olorunfunmi, Joshua, Mavrek, Josip, Miskovic, Josip, Petric, Josipa, Avakoudjo, Josue, Al Karmi, Joud, Fahed, Joud, Suleiman Hadidi, Joudd, Alkharish, Joul, Juloski, Jovan, Vaitekūnas, Jovydas, Wang, Joyce, Flores Prado, Juan Armando, Beltrán De Heredia, Juan, Garcia Vera, Juan Carlos, Molina Marin, Juan David, Gonzalez Aboytes, Juan Eduardo, Ulloa Robles, Juan Jose, Blas Laina, Juan Luis, Carranza Rosales, Juan Manuel, Morales, Juan, Naranjo Fernández, Juan Ramón, Al Daradkah, Jude, Aseme, Jude, Ede, Jude, Kahn, Judith, Lindert, Judith, Deeb, Judy, Mühlhäusser, Julia, Sidorovskaia, Julia, Carrizo, Julian, Napoli, Juliana, Pereira-Macedo, Juliana, Ribeiro, Juliana, De Deken, Julie, Nnoli, Juliet, Paredes, Julieta, Zevallos-Quiroz, Julio Cesar, Gonzalez Garcia, Julio, Adjei, Julius, Olaogun, Julius, Kutkevičius, Juozas, Metzger, Jürg, Košir, Jurij Aleš, Kosir, Jurij, Seyi-Olajide, Justina, Zajac, Justyna Karolina, Dhima, Jyoti, Dhiman, Jyoti, Shreyas, K, Türker, Kadir Yağız, Lee, Kai, Khutsishvili, Kakhi, Yu, Kam Keung Auston, Das, Kamala, Özdoğan, Kamil, Reddy, Kamireddy Madana Raghava, Kabulov, Kamran, Nahar, Kamrun, Rajaratnam, Kanapathippillai, Wijesinghe, Kanchana, Sevnaran, Kapil, Khalil, Karam, Singh, Karanbir, Fayed, Kareem, Booyse, Karien, Geiger-Timm, Karin, Maharaj, Karl, Bhutia, Karma, Richter, Karolina, Komorowska, Katarzyna, Urbańska, Katarzyna, Waddell, Kate, Kambouri, Katerina, Tata, Katerina, Richetti, Katharina, Griffin, Katherine, McKenzie, Katherine, Tambudze, Katherine, Hall, Katheryn, Chu, Kathryn, Theodoropoulou, Katina, Kröning, Katrin, Bozada-Gutiérrez, Katya, Raghuwanshi, Kaustubh, J B, Kavitha, Ahmed Ibrahim, Kefah, Bwala, Kefas John, Iles, Kelly, Jasso García, Kelvin, Oğur, Kemal, Fretwell, Kenneth, Oluchukwu, Kenneth, Onyekachi, Kenneth, Voon, Kenneth, Oderoha, Kevin Ewomazino, Nieto Yrigoin, Kevin, Quispe De La Roca, Kewin, Anaam, Khadega, Bensmain, Khadija, Shwail, Khadija, Akter, Khadiza, Sawaftah, Khaled Ahmad, Shamiyah, Khalid Adnan, Bhatti, Khalid, Mohammed, Khalid Miftah Ghuraybeel, Ayyoub, Khalil, Cholah, Khalil, Rahman, Khandakar Rezwanur, Abdulrahman, Khawla, Al-Shami, Khayry, Hayat, Khizar, Al Hinai, Khulood, Taghavi, Kiarash, Shodunke, Kikelomo, Abo Zaal, Kinaz, Ewool, Kingsley, Gaikwad, Kiran, Shemyatovsky, Kirill, Dey, Kirsty Elaine, Mishra, Kirti Kumar, Rathod, Kirtikumar J, Senanayake, Kithsiri Janakantha, Noguchi, Kiyonari, Kordeni, Kleoniki C., Dembele, Klétigui Samuel, Spassov, Kolyo, Khalid, Komal, Petrenko, Konstantin, Bekiaridou, Konstantina, Rekouna, Konstantina, Athanassiou, Konstantinos, Avgerinos, Konstantinos, Bouchagier, Konstantinos, Bouliaris, Konstantinos, Bramis, Konstantinos, Iliakopoulos, Konstantinos, Kontzoglou, Konstantinos, Ntatsis, Konstantinos, Pavlopoulos, Konstantinos, Perivoliotis, Konstantinos, Polychronopoulos, Konstantinos, Giannakopoulos, Konstantinos S., Zakkas, Konstantinos, Zapsalis, Konstantinos, Koumarelas, Konstantinos-Eleftherios, Mori, Krinal, Ooi, Krisada, Ascencio Diaz, Kriscia Vanessa, Jasaitis, Kristijonas, Nieuwenhuys, Kristin, Atherton, Kristy, Smith, Kristy, Sharma, Kruti, Jaffry, Kumail, Lehmann, Kuno, Ayad, Kusay, Luthra, Kush Kumar, Nanayakkara, Kushan, Agbedinu, Kwabena, Oduro-Boateng, Kwaku Boakye, Boakye-Acheampong, Kwame, Sim, Kwang Kiat, Yalley, Kwekuma, Collins, Kyeremeh, Muscat, Kyle, Hofmann, Kyra, Lambri, Kyriaki, Bananis, Kyriakos, Nassim, Kyrillos, Allan, Lachlan, Codina Corrons, Laia, Hijazein, Laith, Moolla, Laith, Sweidan, Laith, Rai, Lajpat, Devi, Lakshmi, Fountoulis, Lampros, Andreski, Lara, Bonello, Lara, Rodrigues Madeira, Lara, Tafesh, Lara, Yasin, Lara, Martinez, Laura, Fortuna, Laura, Peña Balboa, Laura Gabriela, García-Zambrano, Laura, Bolaños, Laura Isabela, Jiménez, Laura, Lely, Laura, Ortega Lechuga, Laura, Rossi, Laura, Rubin, Laura, Ruiz-Villa, Laura, Sequi, Laura, Sahan, Laura-Ann, Johnstone, Lauren, Monteiro, Lauren, Abdullahi, Lawal Barau, Jovcheski, Lazo, Siragusa, Leandro, Kang, Leannedra, Elgebaly, Leenah, Mansour, Lefteris, Robine-Durnell, Lélia, Bray, Lemuel Davies, Mohammed, Lena, Licari, Leo, Onyebulu, Leonard, Chieng, Leonard Ron, Solaini, Leonardo, Chardalias, Leonidas, Fountarlis, Leonidas Ilias, Van Den Hil, Leontine, Tapia Moral, Leopoldo, Petashvili, Leri, Heeren, Letícia, Laface, Letizia, Niyidukunda, Lewis, Barnard, Liam, Torres Bavestrello, Lidice Veronica, Hasan, Lilav, Dyab, Lima, Venclauskas, Linas, Beukes, Linda, Gabellini, Linda, Liepa, Linda, Zeng, Lingjuan, Dubs, Linus, Rampersad, Lisa, Catozzi, Livio, Castro, Lizeth, Milic, Ljiljana, Shawesh, Lobna, Anyanwu, Lofty-John, Khalifa, Lojina, Cheng, Lok Pong, Manoj Joshua, Lokavarapu, Shammas, Lora, Fuentes Rivera Lau, Lorena, Rodríguez Gómez, Lorena, Capello, Lorenzo, Epis, Lorenzo, Fatucchi, Lorenzo Maria, Rende, Lorenzo, Ripamonti, Lorenzo, Ackam, Louis, Moniz, Lourenço, Bains, Lovenish, Alriyami, Lubna, Alokshi, Lubnah, Martinek, Lubomir, Tulinsky, Lubomir, Samison, Luc, Lo Piccolo, Luca Benedetto, Cardinali, Luca, Nespoli, Luca Carlo, Casingena, Luca, Degrate, Luca, Bonomo, Luca Domenico, Morelli, Luca, Ottaviani, Luca, Resca, Luca, Scaravilli, Luca, Schiavone, Luca, Theuil, Luca, Casalduero, Lucas, Lee, Lucas D., Granero, Lucas, Caram, Lucas Jose, Barni, Lucia, Cidade Costa, Luciana, Paredes, Luciana, Poggi, Luciano, Marquez, Lucila, Garciandia, Lucio, Taglietti, Lucio, Pramod, Ludiya, Stella, Ludovica, Carbone, Ludovico, Bracciano, Luigi, Cobellis, Luigi, Conti, Luigi, Fedele, Luigi, Ragazzini, Luigi, Simonelli, Luigi, Verre, Luigi, Flores Chávez, Luis Adrián, Rea Bocanegra, Luis Alberto, Pelayo Orozco, Luis Ángel, Asensio Gomez, Luis, Bravo, Luis, Flores Chávez, Luis Manuel, Poggi, Luis, Cabezudo, Luis Ramón, Sante Serna, Luis, Tallon-Aguilar, Luis, Talé-Rosales, Luis-Fernando, Chantada, Luisa, Moreira, Luísa, Hasan, Lujain, M Mheidat, Lujain, Eisner, Lukas, Gantner, Lukas, Havranek, Lukas, Majerčák, Lukáš, Pánči, Lukáš, Nawacki, Łukasz, Adagrah Aniakwo, Luke, Bromley, Luke, Green, Luke, Paterson, Luke, Peters, Luke, Abdur-Rahman, Lukman, Omomeji, Lukman, Amosu, Lukmon, Kolongi, Lungushinga Christopher, Bin Aizan, Luqman Naim, Imchen, Lurong, Chang, Lydia, Mukamazera, Lydie, Katsiaras, Lykoyrgos, Al-Boukhari, Lynn, Chong, Lynn, Karydakis, Lysandros, Peris, M. Roosindu, Cancelas, Mª Dolores, Kariem, Maahir, Amoako-Boateng, Mabel, Alshamikh, Mabroukah, Ishak, Mabruok, Narayanan, Machingal, Matyja, Maciej, Walędziak, Maciej, Zounon, Mack-Arthur, Trindade, Madalena, Shahid, Madeeha, Kelly, Madeleine, Bajwa, Madiha, Bowles, Madison, Roussos, Madison, Sampaio-Alves, Mafalda, Manfredini, Magda, Kołomańska, Magdalena, Redynk, Magdalena, Farooq, Maham, Ali, Mahamudu Ayamba, Rodha, Mahaveer Singh, Alsalawi, Mahdi, Lodha, Mahendra, Sethi, Mahesh Kumar, Khalil, Mahfoud, Singh, Mahima, Abdualqader, Mahmmoud yehia, Abdelhafez, Mahmood, Sersarah, Mahmood, Abdelreheem, Mahmoud, Abu Al Amrain, Mahmoud, Barbarawi, Mahmoud, Diab, Mahmoud, Eissa, Mahmoud, ElFiky, Mahmoud, Elmesalmi, Mahmoud, Elmousili, Mahmoud, Fahmy, Mahmoud, Faisal, Mahmoud, Jabal, Mahmoud, Saad, Mahmoud M., Mahafdah, Mahmoud, Marei, Mahmoud Marei Abdelaziz, Mostafa, Mahmoud, Reda, Mahmoud, Zahran, Mahmoud, Suleman, Mahmowd, Genç, Mahmut Salih, Haghighat Ghahfarokhi, Mahta, Abubakar, Maimuna, Haimona, Mairarangi, Camuera, Maite, H. Oweidat, Majd, Mansour, Majd, Kalabić, Majda, MohammedAli, Majdeddin, Abu Daoud, Majdi, Almahjoub, Majdolin, Bilfaqirah, Majed, Yigah, Makafui, Akkawe, Malak, Dery, Malcolm, West, Malcolm, Rius, Malena, Nandasena, Malith, Aljarawn, Mallak, Masaaod, Mallak, Manangi, Mallikarjuna, Windsouri, Mamadou, Battili, Mamata, Rakotonaivo, Mamisoa Judicaël, Benghazi, Manaji, Al-Dhaheri, Manal, Almaqrahi, Manal, Katif, Manal, Alshami, Manar, Ibrahim, Manar, Ramazanov, Manas, Kaur, Mandeep, Agrawal, Manish Kumar, Pathak, Manish, Aggarwal, Manisha, Chandrasegaram, Manju, Anandan, Manoj, K S D, Manoj Kishan Lal, Kumar, Manoj, Sarda, Manoj, K B, Manojkumar, Jokubauskas, Mantas, Moreno Gonzales, Manuel Arturo, Cruz, Manuel, Diez Alonso, Manuel, Garcia, Manuel, Perez, Manuel, Mosquera Paz, Manuel Santiago, Cammelli, Manuela, Mercurio, Manuela, Singh, Manvinder, Taamreh, Manwa, Canals Sin, Mªpilar, Carbonell Pradas, Mar, Nunes, Mara, Sawaftah, Marah Ahmad, Khalil, Maram, Schneider, Marcel André, Steffani, Marcella, Pisano, Marcello, Doniquian, Marcelo Alejandro, Martínez Bareiro, Marcelo Nicolás, Pagani, Marcelo, Scortechini, Marcelo, Carvalho, Márcia, Sánchez Audelo, Marco Antonio, Brizzolari, Marco, Ceresoli, Marco, De Prizio, Marco, Amisano, Marco Francesco, Gramellini, Marco, Marcianò, Marco, Mariani, Marco, Milone, Marco, Montagna, Marco, Piccino, Marco, Santos, Marco, Dyer, Marcus, Kang, Marcus, Mahadi, Mardhiana, Zawadzki, Marek, Yinusa, Margaret, Bernardo, Margarida, Nunes Luís, Margarida, Gambelli, Margherita, Flint, Margot, Aggelidou, Maria, Bequis, Maria Agustina, Sotiriou, Maria Aikaterini, Ñañez, Maria Alejandra, Tahir, Maria Ambreen, Gascón Domínguez, María Ángeles, Asimakidou, Maria, Mourato, Maria Beatriz, Blanco, Maria, Christou, Maria, Coronas Soucheiron, Maria, Pignanelli, Maria Costanza, Kalaydjian, María Cristina, Martí-Ejarque, Maria del Mar, Olmedo Reinoso, María Del Mar, Cebollero, María Del Pilar, Derattani, Maria, Gama Caldeira, Maria Do Carmo, Drogouti, Maria, Gonzalez-Gonzalez, Maria Elena, Muñoz Fernández, María Elena, Muriel, María Emilia, Duran, María Eugenia, Zarate Casas, María Fernanda, Florou, Maria, Piacentini, Maria Gaia, Seixo, Maria Inês, Bellini, Maria Irene, Peña Soria, Maria Jesús, Martínez, María José, Medina, Maria José, Rueda Medécigo, María José, Karakeke, Maria, Kausar, Maria, Kyriazi, Maria, Marqueta De Salas, Maria, Modolo, Maria Marta, Mateu, Maria, Mavri, Maria, El Ghoul Miliotou, Maria Melina, Moreno Gijon, Maria, Papadoliopoulou, Maria, Proclamà, Maria Pia, Picciochi, Maria, Reis, Maria, Rennis, Maria, D'Anna, Maria Rosa, Ruffoli, Maria, Ruiz Soriano, María, Sánchez Ramirez, Maria, Sánchez-Rubio, María, Schüler, Maria, Sotiropoulou, Maria, Barrio Renteria, Maria Teresa, Tsopozidi, Maria, Vasconcelos, Maria, Facchino, Maria Vittoria, Wikar, Maria, Aguilera-Arevalo, Maria-Lorena, Abdu, Mariam, Asarbakhsh, Mariam, Elmiesiry, Mariam, Ashong, Marian Esi, Gomes, Mariana, Capuano, Marianna, Lill, Marianne, Nieto Galvan, Mariano, Osso, Mariasara, Olivos, Maricarmen, Sacdalan, Marie Dione, Weber, Marie-Christin, Gonzalez, Marijose De Cristo, Ferreira, Marília, Infantes Ormad, Marina, Kouliou, Marina Nektaria, Ransome, Marina, Vicario Bravo, Marina, Cuesta Argos, Mario, Faletar, Mario, Giuffrida, Mario, Lainez Escribano, Mario, Pacilli, Mario, Pannullo, Mario, Rodriguez-Lopez, Mario, Trejo-Avila, Mario, Merrakos, Marios, Tello Jimenez, Marisol, Kalisvaart, Marit, Quaunine, Marium, Perera, Mariyan, Harris, Mark, Youssef, Mark Melad Thabet, Peter, Mark, Philipp, Mark, Portelli, Mark, Jesudason, Mark Ranjan, Sammut, Mark, Tomlinson, Mark, Zammit Vincenti, Mark, Despotidis, Markos, Albertsmeier, Markus, Quante, Markus, Löffler, Markus W., Gurung, Markush, Gumsheimer, Marlena, Benamrouche, Maroua, Chaccour, Maroun, Ahmed, Marriam, Farooqui, Marryam Riaz, Angelini, Marta, Ortega Escudero, Marta, Martin Gimenez, Marta Pilar, Reia, Marta, Scricciolo, Marta, Caramantin Obando, Martha Maria, Gosselink, Martijn, Bertrand, Martin, Dum, Martin, Kajic, Martin, Karamanliev, Martin, Kyereh, Martin, Lucchini, Martin, Schön, Martin, Morna, Martin Tangnaa, Binda, Martina, Ceolin, Martina, Martorana, Martina, Zambon, Martina, Shams, Marvi, Alansary, Marwa, Alnuwayli, Marwa, Khalifa, Marwa, Bahnacy, Marwan, Iqreewi, Marway, Nnabagulanyi, Mary, Saleem, Marya, Alhimyar, Maryam, Kamal, Maryam, Masood, Maryam, Razaq, Maryam, Siddique, Maryam, Lazo Ramírez, Maryzela, Edeeb, Masaoud, Solkar, Maseera, Adetoyi, Mashood, Adeniyi, Caccetta, Massimiliano, Casati, Massimiliano, Veroux, Massimiliano, Dugo, Massimo, Bevanda, Mateo, Santillan, Mateo, Mietła, Mateusz, Pryt, Mateusz, Muir, Mathew, Bei, Matilda, McGuinness, Matt, Aulicino, Matteo, Castrovillari, Matteo, Filardo, Matteo, Palmeri, Matteo, Pisano, Matteo, Rottoli, Matteo, Gjoka, Mattheus, Binks, Matthew, Corcos, Matthew, Kwon, Matthew, Maybury, Matthew, Sammut, Matthew, Tutton, Matthew, Watson, Matthew, Biebl, Matthias, Janda, Matthias, Maak, Matthias, Wichmann, Matthias, Berselli, Mattia, Gritti, Mattia, Molteni, Mattia, Pacilli, Maurizio, Favoriti, Mauro, Garino, Mauro, Podda, Mauro, Santarelli, Mauro, Alfaid, Mawada, Albert, Mawadri Jimmy Isaac, Oyortey, Mawuenyo Attawa, Enßlin, Max, Berlet, Maximilian, Brunner, Maximilian, Kießler, Maximilian, Scheiterle, Maximilian, Sohn, Maximilian, Busch, Maximiliane, Perkins, Maya, Sabboh, Maya, Badkur, Mayank, Okudero, Mayowa, Mohamedshafee, Maysoon, Al-Juaifari, Maytham Aqeel, Elesseily, Mazen, Mohammad, Mazen, Nikberg, Maziar, Jean Claude, Mbonicura, Şermet, Medeni, Chisthi, Meer, Luthra, Meera, Sulciner, Megan, Kaple, Meghali, Bhat, Meghana, Koç, Mehmet Ali, Avci, Mehmet Alperen, Kizilkaya, Mehmet Celal, Kara, Mehmet Emin, Ozcelik, Mehmet Faik, Ozsoy, Mehmet Sait, Zaigham, Mehreen, Mesfin, Mekdelawit, Kalender, Mekselina, Mellado Tellez, Mel Paul, González De Miguel, Melania, Farrugia, Melanie, Theodoridou, Melanie, Barcelona, Melden Darrell, Aktas, Melik Kagan, Fernández Zurita, Melissa Andrea, Bautista, Melissa, Park, Melissa, Rodríguez-Ordoñez, Melissa-Zohemia, Yashar, Meltem, Worku, Mengistu, Al-Fraijat, Meran, Estaire Gómez, Mercedes, Shoshkova, Meri Danailova, Kruščica, Merima, Tanal, Mert, Çuhadar, Merve, Tokocin, Merve, Agyapong, Meshach Manu, Erkaya, Metincan, Okechukwu, Mgbako, Adinku, Michael, Bickford, Michael, Ediale, Michael, Issa, Michael, Konstantinidis, Michael K., Lie, Michael, M. Nathan, Michael, Maclean, Michael, Nortey, Michael, Pellen, Michael, Pham, Michael, Pitiakoudis, Michael, Singh, Michael Prodip, Spartalis, Michael, Van Der Colf, Michael, Wilson, Michael, Billis, Michail, Karanikas, Michail, Papamichail, Michail, Vailas, Michail, Kisielewski, Michał, Kusiński, Michał, Nycz, Michał, Święch, Michał, Fagbayimu, Micheal, Adamina, Michel, Fiogbe, Michel, Prudhomme, Michel, Angelucci, Michela, Campanelli, Michela, Cricrì, Michele, Grande, Michele, Manigrasso, Michele, Scopelliti, Michele, George, Michelle, Mozel, Michelle, Galasyuk, Mick, Chevallay, Mickael, Giuliano, Micol, Dobón Rascón, Miguel Ángel, Fernandez Romero, Miguel Angel, García Ureña, Miguel Ángel, Zaragoza Mendieta, Miguel Ángel, Bejarano Serrano, Miguel, Brito, Miguel, Calderon, Miguel, Jurado Román, Miguel, Palas, Miguel, Li Valencia, Miguel Roberto, Sebastián-Mendoza, Miguel-Julián, Muresan, Mihai-Stefan, Slavchev, Mihail, Agapov, Mikhail, Milentijević, Milica, Catterall, Millie, Stjepanovic, Milos, Doss, Mina, Natey, Mina, Aikins, Minas, Mattis, Minca, Ekanayake, Minoli Tharushika, Tora, Mir Mehrab Sharmin, Alsharayri, Mira, Shalaby, Mira, Boras, Miran, Riba Martínez, Mireia, Mogiatti, Mirella, Salibašić, Mirhan, Biancu, Miriam, Cappiello, Miriam, Koschke, Miriam Luise, Sadek, Mirna, Szura, Miroslaw, Horga, Miruna, Dason, Mishael, Tayyab, Mishal, Imirski, Mitko, Pejović, Mladen, Tabaza, Mo'Ath, Alneasan, Moaaz, Shalkamy, Moamen, Issa, Moammad Issa, Erfan, Moatasem, Ewedah, Moataz, Srour, Moayad, Beletachew, Moges, Abbas, Mohamad, Farho, Mohamad Ali, Marawy, Mohamad Kher, Klib, Mohamad, Morjan, Mohamad, Sawas, Mohamad Nabhan, Elghriani, Mohamed Abdelbaset Masoud, Abdelmaboud, Mohamed, Abdelmaksoud, Mohamed, Abdullahi, Mohamed, Abo Abdo, Mohamed, Ahmed, Mohamed, Ahmoud, Mohamed, Al Sayed, Mohamed, Suliman, Mohamed Almouafaq, Alsori, Mohamed, Altajouri, Mohamed, Assalhi, Mohamed, Berrakkouch, Mohamed, Elnour, Mohamed, Abdelsalam, Mohamed Elsayed Elaraby Abdelrahim, Elsayed Metwally, Mohamed, Hajalamin, Mohamed, Kamal Matter, Mohamed, Khaled, Mohamed, Kouta, Mohamed, Masoud, Mohamed, Almihashhish, Mohamed Miftah, Mokhtar, Mohamed, Mostafa, Mohamed, Yassin, Mohamed Musa, Bouhafs, Mohamed Nedjmeddine, Herdan, Mohamed Omar, Omer, Mohamed, Osman, Mohamed, Zaazou, Mohamed, Zahed Abdalla, Mohamed, Melouane, Mohamed-Sami, Abed, Mohammad, Sawaftah, Mohammad Ahmad Mohammad, Al-Masri, Mohammad, Al-Qannas, Mohammad, Ali-Hassanzadeh, Mohammad, Yunus, Mohammad Alif, Aloulou, Mohammad, Alrantisi, Mohammad, Araydah, Mohammad, Bani Hani, Mohammad, Barakat, Mohammad, Durrani, Mohammad, Khan, Mohammad Faisal, Dwikat, Mohammad Fuad, Hasan, Mohammad, Nabhan, Mohammad Hassan, Hijazi, Mohammad, Abu Albahrain, Mohammad Karam, Barakat, Mohammad Mounzer, Mubarak, Mohammad, Omar, Mohammad, Pourfridoni, Mohammad, Mslmani, Mohammad Rabee, Salah, Mohammad, Tanashat, Mohammad, Yahmad, Mohammad, Elmujtaba, Mohammed, Abd Al-Fattah, Mohammed, Abdelkabir, Mohammed, Abosedra, Mohammed, Sarker, Mohammed Abu Kawsar, Abudabbous, Mohammed, Abuwarda, Mohammed, Elgak, Mohammed Ahmed, Al Hinai, Mohammed, Al Zebda, Mohammed, Al-Shehari, Mohammed, Alharthi, Mohammed, Ali, Mohammed, Ismael Alamin, Mohammed Ali, Alqadasi, Mohammed, Alshanwani, Mohammed, Alshehri, Mohammed, Asaad, Mohammed, Bashir, Mohammed, Bohlala, Mohammed, Meghaizerou, Mohammed El Amine, Albanna, Mohammed Emad Hashem, Ghunaim, Mohammed, Goga, Mohammed, Hajhamad, Mohammed, Hamada Takrouney, Mohammed, Hammoda, Mohammed, Hamoud Almahly, Mohammed, Muragi, Mohammed, Mohammed, Mohammed Mustafa Hassan, Obaid, Mohammed, Omar, Mohammed, Said, Mohammed, Salah, Mohammed, Saleh Khatab, Mohammed, Aliyu, Mohammed Salele, Shakhshir, Mohammed, Sheriff, Mohammed, Tageldin, Mohammed, Abdelfattah, Mohanad, Daher, Mohanad, Lotfy, Mohanad, Alqedrh, Mohannad, Nasani, Mohannad, Mohd Shah, Mohd Shahrulsalam, Madany, Mohie El-Din Mostafa, Mobolaji-Ojibara, Mojisola, Nkogatse, Moleseng, Alazabi, Mona, Gupta, Money, Bogdan, Monica, Guerrero, Monica, Noguez Castillo, Monica, Gureh, Monika, Kacem, Montasser Jamaleddine, Tarar, Moosa Feroze, Seto, Morel, Steinruecke, Moritz, Edena, Morrison, Abdulsalam, Moruf, Abdelhadi Suliman Adam, Mosab, Saleh, Mosab, Anati, Mosaikah, Dokurugu, Moses Abdulai, Agunloye, Moses, Ibadin, Moses, Momoh, Moses, Abdelkarim, Mostafa, Kamar, Mostafa, Kotb, Mostafa, Mahran, Mostafa, Mohamad Amin, Mostafa, Shalaby, Mostafa, Waseem, Mostafa, Almaletti, Motasem, Saifi, Motaz, Tsuruta, Motohisa, Agbadebo, Mouhamed, Arnaout, Moumen, Ojo, Moyosoluwa, Sharma, Mrthyunjayani, Azzuz, Muad Mohamed Ramadan, Haj Hussein, Mudar, Ameen, Muftiat Omolola, Nkoronko, Mugisha, Fitri, Muhamad, Abdullah, Muhammad, Bashir, Muhammad Ahmad, Sadiq, Muhammad Ahmad, Ahmed, Muhammad, Ali, Muhammad, Al-Yusuf, Muhammad Ali, Haider, Muhammad Aliyan, Alshaar, Muhammad, Mirza, Muhammad Bilal, Che Yaacob, Muhammad, Daniyan, Muhammad, Elzayat, Muhammad, Butt, Muhammad Faizan, Sadiq, Muhammad Hamza, Chishti, Muhammad Haris, Ismail, Muhammad Izzat Shufphi, Kashif, Muhammad, Khalid, Muhammad, Mansoor Iqbal, Muhammad, Bin Khalid, Muhammad Moaz, Rafique, Muhammad Nouman, Raheem, Muhammad, Khalid, Muhammad Saud, Usama, Muhammad, Usman Malik, Muhammad, Saqib, Muhammad Waleed, Elhadi, Muhammed, Ateş, Muhammed Ikbal, Demirpolat, Muhammed Taha, Ergenç, Muhammer, Bello, Muideen, Kulimbet, Mukhtar, Nyirenda, Mulinda, Taeme, Mulugeta, Denini, Muna, Aziz, Munazzah, Yahaya, Mundashiru, Eugene, Muneza, Amadu, Munira, Chauhan, Munish, Acar, Murat, Teressa, Murti, Dauphin, Muryango, Arafat, Musa, Althomali, Musab, Rayzah, Musaed, Husain, Musharraf, Tolani, Musliu Adetola, Abu Jayyab, Mustafa, Al-Attraqchi, Mustafa, Kara, Mustafa Alper, Seker, Mustafa Ege, Gün, Mustafa, Hamed, Mustafa, Mehanny, Mustafa, Oncel, Mustafa, Sabri Massadi, Mustafa, Uyanik, Mustafa Safa, Uzunoglu, Mustafa Yener, Abdullahi, Mustapha, Saidani, Mustapha, Nofal, Mutaz, San, Myat, Ishak, Myrna, Keramida, Myrto D., Nik Burhanuddin, N.M. Syahrin, Talat, Nabila, Shehata, Nada, Alasbahi, Nadeen, Marcos, Nádia, Al Amri, Nadiah, Absy, Nadine, Parker, Naeelah, Lindi, Naeimah, Omer, Nafisa, Papadogianni, Nafsika, Rawal, Nagendra, Ismaiel, Nahar, Ben Hasan, Najat, Albahloul, Najla, Gokhare Viswanath, Nakul, Srinivas, Namitha, Christian, Nana Ama, Obuobi, Nana Kwame Asare, Beharry, Naomi, Yousefzadeh Kandevani, Naser, Alnamari, Nashwan, Oyelowo, Nasir, Oloko, Nasirudeen, Alzerwi, Nasser, Mosbah, Nasser, Shulman, Nastassia, Andrade, Natacha, Boumas, Natacha, Cobeño Tamayo, Natalia, Barrera Lopez, Natalia Guadalupe, Palamara, Natalia, Blencowe, Natalie, Marzouqa, Natalie, Blencowe, Natalie S, Salgadoe, Natalie, Techapongsatorn, Nathakorn, Paez, Nathaly, Ekwo, Nathan, Saini, Navdeep, Malik, Naveed Akhtar, Sharma, Naveen, Kumar, Navin, Chaudhry, Navneet Kumar, Karimbocus, Nawaaz, Rasool, Nazeerah, Lodhi, Nazia, Kavak, Nazli, Ildephonse, Ndayiragije, Diomede, Nduwimana, Bayleyegn, Nebiyou S., S.Bayleyegn, Nebiyou, Jović, Nediljko, Mosleh, Neebal, Aruldas, Neerav, Kapur, Neeti, Paul Sigamony, Negine Paul, Karthikeyan, Neha, Tabatabaian, Nelia, Affram, Nelson, Agboadoh, Nelson, Tran, Nelson, Lalovic, Nenad, Agugua-Obianyo, Nene, Kullab, Nermen, Lahmer, Nesrin, Raiq, Neven, Soldo, Neven, Spiteri, Neville, Chen, Nevin, Al Rabadi, Nezar, Christian, Ngarambe, Cabrel, Ngongang Ngansop, Leonelle Lore, Nguefack Noudem, Furbetta, Niccolò, Ensor, Nicholas, Tsantikos, Nick, Seeger, Nico, Cillara, Nicola, Eardley, Nicola, Petrarota, Nicola, Tartaglia, Nicola, Feijoo, Nicolas, Finocchiaro, Nicole, Koter, Nicole, De Santis, Nicolò, Fabbri, Nicolò, Schiavon, Nicolò, Tamini, Nicolò, Sharma, Nidhi, Sánchez Fuentes, Nieves, Solomon, Nigus, Bugdayci, Nihat, Lekiashvili, Nika, Gupta, Nikhil, Narain, Nikhil, Uttam, Nikita, Kłos, Nikola, Ververidis, Nikolaos Adrianos, Arkadopoulos, Nikolaos, Dimitrokallis, Nikolaos, Garmpis, Nikolaos, Gouvas, Nikolaos, Kalampokis, Nikolaos, Kopanakis, Nikolaos, Kydonakis, Nikolaos, Machairas, Nikolaos, Memos, Nikolaos, Michalopoulos, Nikolaos, Mathioudakis, Nikolaos Nestor, Roukounakis, Nikolaos, Stamos, Nikolaos, Tasis, Nikolaos, Tsakiridis, Nikolaos, Vlachakos, Nikolaos, Zampitis, Nikolaos, Kouzakos, Nikolas, Börner, Nikolaus, Dimitriou, Nikoletta, Dafnios, Nikos, Banerjee, Niladri, Klammer, Nils, Maharjan, Nima, Rabai, Nimah, Oscar, Nimpaye, Harrison, Nina, Kheyrbek, Nina, Kansakar, Nirajan, Bhat, Nisar, Krishnappa, Nischal, Pahuja, Nisha, Paul Ambrose, Nitin, Renovat, Niyongabo, Musawa, Nizar, Nwanne, Njideka, Steve, Nkurunziza, Chidumije, Nnaemeka, Nwafulume, Nnaemeka, Celestine, Nnamani, Duru, Nnamdi, López Bernal, Noelia Esthela, Laquatra, Noemi, Pasqua, Noemi, Awwad, Noor Al-Deen, Ali, Nora, Hielscher, Nora, Trabulsi, Nora, Hüser, Norbert, Muñoz Montes, Norberto, Eshak, Norma-Sol, Rajab, Nosaiba, Lahnaoui, Nouhaila, Ouachou, Nouhaila, Ali, Nour, Dadoush, Nour, Fazili, Noureen, Theophile, Ntahompagaze, Ntanzi, Ntuthuko, Bibila, Nubia Samuel, Alwaer, Nuhay, Naabo, Nuhu, Jiagge, Nuna, Freitas Oliveira, Nuno Miguel, Pratas, Nuno, Morricone, Nunzia, Franco, Nunzio Francesco, Binti Yusri, Nur Aima, Ramli, Nur Natasya, Abd Ghani, Nur Suriyana, Umar, Nura, Aly, Nuran Khaled, Lakhanov, Nurgali, Al-Hroub, Nurhan, Kiziltoprak, Nurhilal, Chavarrias, Nuria, Maulenov, Nurlan, Akinbami, Nurudeen, Abdulraheem, Nurudeen Toyin, Karunaratne, Nuwanthika, Jeannette, Nyiransabiyera, Altobaishat, Obieda, Egwuonwu, Ochonma Amobi, Enciu, Octavian, Cohen-Arazi, Oded, Pheiffer, Odette, Okoye, Odili Aloysius, Omoike, Ofure, čančar, Ognjen, Ekwunife, Okechukwu Hyginus, Emuze, Okundayo, Eljizoly, Ola Abdallah, Al Hamdani, Ola, Emadeldeen, Ola, Morgan, Ola, Olajumoke, Oladapo, Popoola, Olakunle, Ajiboye, Olalekan, Olasehinde, Olalekan, Jolayemi, Olamide, Babatunde, Olanrewaju, Balogun, Olanrewaju, Olajide, Olawumi, Lisin, Oleg, Bellou, Olga, Jurić, Oliver, Ladlow, Oliver, Whitehurst, Oliver, Camilleri, Olivia, Montaño Angeles, Olivia, Pryer, Olivia, Ray, Olivia, Gabom, Olivier, Ndizeye, Olivier, Ojewuyi, Olufemi, Oluyemi, Olukayode, Elebute, Olumide, Ogunsua, Oluseyi, Fasiku, Olushola Kayode, Fasoro, Olusola, Fatudimu, Oluwafemi, Osunlusi, Oluwafemi, Owolanke, Oluwagbenga, Oso, Oluwarotimi, Alaba, Oluwaseun, Ojo, Oluwaseun, Oluseye, Oluwaseun, Oyinloye, Oluwaseun, Al Alyani, Omaima, Okrah, Omane, Agha, Omar, Al-Fahel, Omar, Almomani, Omar, Alruwaili, Omar, Ibarra, Omar, Ibrahim, Omar, Khalil, Omar, Kouli, Omar, Lima Azurdia, Omar, Mansour, Omar, Mohamed Mokbel, Omar, Omar, Omar, Bedak, Omer, Ozkan, Omer Faruk, Yalkın, Omer, Mohamed, Omnia, Ayandipo, Omobolaji, Faboya, Omolara, Williams, Omolara Modupe, Irowa, Omorodion, Attawodi, Onuche, Salako, Opeyemi, Ioannidis, Orestis, Agcaoglu, Orhan, Martin Sole, Oriol, Webster, Orla, Abouhiekal, Osama, Al Shaqran, Osama, Bahsas-Zaky, Osama, Nubi, Osama Gamal, Hany, Osama, Matar, Osama, Mahafdah, Osama R., Sarhan, Osama, Osagie, Osasumwen, Soublett Rivas, Óscar Alexander, Gülcicek, Osman Bilgin, Cuenca Torres, Osmar Manuel, Carpineto Samorani, Osvaldo, Arsalan, Othman, Coyoy-Gaitán, Otto, Nouhail, Oumaima, Boujidi, Oumama, Dicko, Ousmane A A, Ahmad, Owais, Christianah, Oyegbola, Küpçüoğlu, Özge, Zanbak Mutlu, Özgecan Pırıl, Chadha, P, Prabhu, P Santosh, Carmignani, Pablo, Arteaga Asensio, Pablo Cesar, Del Val Ruiz, Pablo, Royo Dachary, Pablo, Sancho Pardo, Pablo, Vásquez, Pablo, Sukhvibul, Pakkapol, Assouto, Pamphile, Evangelou, Panagiota, Dorovinis, Panagiotis, Kapsampelis, Panagiotis, Kokoropoulos, Panagiotis, Kostoglou, Panagiotis, Manikis, Panagiotis, Sakarellos, Panagiotis, Lykoudis, Panagis, Kumar, Pankaj, Patel, Panna, Paraskeva, Panoraia, Vassiliu, Panteleimon, Antonakis, Pantelis, De Nardi, Paola, Marongiu, Paola, Kamenova, Paolina, Venturelli, Paolina, Belotti, Paolo, Ubiali, Paolo, Grivas, Paraskevas, Stamopoulos, Paraskevas, Chatzikomnitsa, Paraskevi, Trakosari, Paraskevi, Tekam Wadje, Parfait Stéphane, Manjunath, Parikshith, Gupta, Pariza, Dhamija, Parth, Haque, Parvez, Haque, Parvez David, Haque, Parwez Waseemul, Nze Obiang, Pascal Christian, Probst, Pascal, Chiacchio, Pasquale, Cianci, Pasquale, Favoriti, Pasqualino, Koggoh, Patience, Bernardo, Patrícia, Omwansa, Patricia, Serrano Méndez, Patricia, Owens, Patrick, Tang, Patrick, Walker, Patrick, Chimezie Andrew, Paul, Trinity, Paul, Wilson, Paul, George, Paul Yohan, Artigot, Paula, Devlin, Paula, Vladova, Paulina, Cabrera Rivera, Paulo Andrés, Arunachalam, Pavai, Glushkov, Pavel, Levíček, Pavel, Lal, Pawanindra, Panahi, Pedram, David Santos, Pedro, Laranjo, Pedro, Palazon Bellver, Pedro, Rego Ponte, Pedro, Salas Núñez, Pedro, Sornoza, Pedro, Chloropoulou, Pelagia, Correia, Penélope, Limani, Perparim, Agbonrofo, Peter, Boateng, Peter Agyekum, Elemile, Peter, Francúz, Peter, Riedl, Peter, Tschann, Peter, Yuide, Peter, Hudáč, Petr, Ostruszka, Petr, Zimmermann, Petra, Nambala, Petrus, Shimbulu, Petrus, Thomas, Phebey A, Kumassah, Philemon, Alexander, Philip, Mensah, Philip, Taah-Amoako, Philip, Horvath, Philipp, Garcia-Dubus, Philippe, Holt, Phillip, Lapolla, Pierfrancesco, Cicerchia, Pierfranco Maria, Palumbo, Piergaspare, Anoldo, Pietro, Calò, Pietro Giorgio, Grondona, Pietro, Masseria, Pietro, Riva, Pietro, Milewski, Piotr Jan, Kowalewski, Piotr, Kasetsermwiriya, Pohpdham, Patel, Poojan, Leungon, Poramet, Kaur, Prabhjot, Arya, Prafull Kumar, Shivashankar, Pranav, Kothari, Prashant, Dummala, Prashanth, Shukla, Prateek, John, Pravin, Adebayo, Precious, Andrejevic, Predrag, Thambi, Prem, Anandan, Premkumar, Idjerhe, Prince, Boateng, Prince Kwame, Ntem, Prince, Waghchoure, Prince, Yeboah Owusu, Prince, Moodley, Priyanka, Suresh, Priyanka, Kanavidis, Prodromos, Odigie, Vincent, Christodoulou, Prokopis, Nashidengo, Pueya Rashid, Patel, Puja, Dolatzay, Qayom Khan, Mashlah, Qusai, Sabbah, Qutaiba, Sethi, R, Robitsek, R. Jonathan, Jubran, Ra'Ed, Raheem Attallah Al-obaidy, Raad, Michael, Rabha, Abela, Rachel, Colbran, Rachel, Geow, Rachel, Titcombe, Rachel, Soglonou, Rachelle, Ait Ben Addi, Rachid, Jayakrishnan, Radhakrishnan, Acharya, Radhika, Salim, Radhwan, Guzmán Lambert, Radisnay, Donchev, Radoslav, Drasovean, Radu, Andreou, Rafael, Perez-Soto, Rafael Humberto, Santana Ortiz, Rafael, Villalobos Mori, Rafael, Sokratous, Rafailia, Smolinski Kurek, Rafal Ludwik, Solecki, Rafal, Basile, Raffaele, Abd Elkareem, Raghad, Yousef Yassin, Raghad, Faisal, Raghdah, Abd Alkareem, Rahaf, Hegy, Rahma, Jaba'Teh, Rahmah, Sharma, Rahul Deo, Gupta, Rahul, Saxena, Rahul, Sinha, Rahul, Varshney, Rahul, Ripoll I Palmés, Raimon, Lunevicius, Raimundas, Raghunath, Rajat, Redkar, Rajeev, Sharma, Rajeev, Philip Sridhar, Rajeevan, Krishna Raj, Rajesh, Nathani, Rajesh, Kottayasamy Seenivasagam, Rajkumar, Ahmed, Rakesh, Handa, Rakesh, Vakil, Rakesh, Armah, Ralph, Attaf, Ram, Elazary, Ram, Alkhatib, Rama, Alzu'Bi, Rama, Raddad, Rama, Kaur, Ramanjot, Kaur, Ramanpreet, Nataraja, Ramesh, Hussam Yacoub Hattar, Ramez, Ben Hmida, Rami, Chaudhary, Ramkaran, Ramirez Calas, Ramon Andres, Soliva Domínguez, Ramón, Ghaleb, Ramzi, Batir, Rana, Haddad, Rana, Sugair, Rana, Suleiman, Rand, Perera, Ranga, Altayargh, Rania, Joumaa, Ranim, Ellawala, Ranjith, Elaifia, Rany, Eloka, Raphael, Hernandez Rodriguez, Raquel Angelica, Diaz, Raquel, Lalanda, Raquel, Rodríguez-Uria, Raquel, Olatunji, Rasheed, Wani, Rauf, Díaz Pedrero, Raúl, Ubiñas, Raul, Lertnamvongwan, Raunika, Hiary, Rawan, Almahadin, Rawan Khalid Za'al, Radwan, Rawan, Issa, Rawand, Dar, Rayees Ahmad, Nyirenda, Raymond, Eghonghon, Raymond Atah, Oppong, Raymond, Govindaraju, Rayshini, Kalouk, Razan, Abad, Rebeca, Akankoatuesi Apatewen, Rebecca, Bradley, Rebecca, Enejo, Rebecca Eboshogwe, Hauwa Sani, Rebecca, Jurdon, Rebecca, Sönmez, Recep Erçin, Belouz, Reda, Abhinaya, Reddy, Abu Salah, Reem, Alatawi, Reem, Alqahtani, Reem, Sayad, Reem, Adel Diab, Rehab, Függer, Reinhold, Madi, Reman, Pajtak, Renata, Barradas, Renato, Díaz-Ruiz, Renato, Patrone, Renato, Palacios Huatuco, René M., Casma Bustamante, Renzo, Ranadive, Reuben Rajappa, Askari, Reza, Sulce, Rezart, Liang, Rhea, Tummon, Rhea, Roberts, Rhianna, Mcclen, Rhys, Duvenage, Riaan, Kattini, Ribal, Alvarado Hurtado, Ricardo, Tenfen Carneiro, Ricardo Augusto, Castro Lara, Ricardo Jesús, Silva Borges, Ricardo, Souto, Ricardo, Vaz Pereira, Ricardo, Barone, Riccardo, Fratarcangeli, Riccardo, Guercio, Riccardo, Magarini, Riccardo, Malatesti, Riccardo, Tripathi, Richa, Crawford, Richard, Kpangkpari, Richard, Marlin, Richard, McGee, Richard, Nesco, Richard, Spence, Richard, Akpaka, Richfield, Alinde, Rigobert, Khalid, Rija, Sato, Rikiya, Kitamura, Riley, Baldan, Rino, Agyei Boakye, Rita, Branquinho, Rita, Hleyhel, Rita, Miranda Pera, Rita, Pinheiro Duque, Rita, Ribeiro Dias, Rita, Bhatia, Riya, Rabah, Rnad, Damseh, Ro'Ya, Alzughayyar, Roa, Daradkeh, Roa'A, Bassam, Roaa, Refaie, Roaa, Bethune, Rob, Elshennawy, Roba, Cachia, Robert, Franz, Robert, Grützmann, Robert, Kibuuka, Robert, Laskowski, Robert, Mazurkiewicz, Robert, Munyaneza, Robert, Parker, Robert, Sagoe, Robert, Sucher, Robert, Granata, Roberta, Ruccella, Roberta, Tutino, Roberta, Badra, Roberto, Mares País, Roberto, Sampietro, Roberto, Scola, Roberto, Mackay, Robyn, Tumolo, Rocco, Figueroa, Rodrigo, Doamba, Rodrigue, Habib, Rohan, Gujjuri, Rohan R, Anjum T Siddeek, Rohik, Mittal, Rohin, Kumar, Rohit, Goudou, Roland, Rüdrich, Roland, Senin, Roman, Moukarzel, Romika, Ferlini, Romina Lorena, Ribeiro, Rómulo, Schmidt-Branden, Romy, Zerna Encalada, Ronald, Ferreira Acosta, Rosa, Lopatriello, Rosanna, Perez, Rosario, Hall, Rosie, Alloni, Rossana, Arena, Rossella, Gioco, Rossella, Polo, Roxy, Shen, Ru, Doherty, Ruairi, Rivas, Ruben, Oppong-Amoah, Ruby, Ooi, Rucira, Radojković, Rudolf, Herrera, Rudy, Bernardino, Rui, Ediru, Rukevwe, Al Shehhi, Ruqaiya, Masri, Ruqaya, Hodgson, Russell, Azimov, Rustam, Martínez Díaz, Rut, Santos Pereira, Rute, Naidoo, Ruvashni, Noor, Ruzaimie, Campbell, Ryan, Khalil, Ryta, Chigblo, S. Pascal, Abuzahra, Saad, Halabi, Saad, Maqbool, Saad, Alsmadi, Saba, Chaudhary, Sabah, Chowdhury, Sabbir Ahmed, Jayatilleke, Sachitha, Hayat, Saddaqat, Megdiche, Sadok, Abed, Saed, Abdeewi, Saedah, Toprak, Safa, Salim, Safauldeen, Yussif, Safia, P, Sagar, Trejo Ramos, Sagrario Leticia, Shittu, Saheed, Mahdi, Saher, Alijla, said, Al-Doghme, Saja, Bataineh, Saja, Mathew, Sajjan, Alshagrawi, Salah, Ibrahim Tour Harakan, Salah, Ibrahim, Salaheldin, Al Momani, Salam, Workineh, Saleamlak Tigabie, Said, Saleeha, Turkmani, Saleem, Ba-Shammakh, Saleh Ali Mohammed, Alshab, Saleh, Hammad, Saleh, Salama, Salem, Alneihuom, Salih, Karahan, Salih Nafiz, Dawo, Sallu, Ng, Sally, Nofal, Sally, Ahmed, Salma, Amahmid, Salma, Elnoamany, Salma, Fakhouri, Salma, Selim, Salma, Abrayik, Salmi, Di Saverio, Salomone, Kassad, Saloua, Carrabetta, Salvatore, Costa, Salvatore, Gargiulo, Salvatore, Schirone, Salvatore, Sorrenti, Salvatore, Beavis, Sam, Lawday, Sam, Alananzeh, Samah, Arafa, Samah, Bani Amer, Samah, Mamduh, Samah, Omar, Samah, Altaf, Saman, Dos Santos Rocha Ferreira, Samantha, Quoy, Samantha, Emile, Sameh, Abu Salem, Samer, Al Athath, Samer, Yigman, Samet, Eldirdiri, Sami, Imam, Sami, Jomaa, Sami, Errami, Samia, Kessab, Samia, Muhammad, Saminu, Delibegovic, Samir, Kanaan, Samir, Aliozor, Sampson, Olori, Samson, Sani, Samuel Ali, Anim, Samuel, Bennett, Samuel, Debrah, Samuel, Ghattas, Samuel, Brenu, Samuel Gyasi, Robinson, Samuel James Alexander, Arthur, Samuel Joseph, Mcclintock, Samuel, Mensah, Samuel, Ogunlade, Samuel, Tingle, Samuel, Jabeen, Sana, Borrego Canovaca, Sandra, De La Cruz Ahufinger, Sandra, Tsoti, Sandra Maria, Paterna -Lopez, Sandra, Sanz, Sandra, Tsatsu, Sandra, Hügli, Sandro, Yunusa, Sani Abdullahi, Aji, Sani Ali, Katragadda, Sanjay, Edem, Sanketh, Irrinki, Santhosh, Shivashankar Chikkanayakanahalli, Santhosh, Bertone, Santiago, Karmarkar, Santosh, Abbas, Sara, Alashhab, Sara, Alsaeiti, Sara, Andrade, Sara, Egreara, Sara, Elfallah, Sara, Galati, Sara, García López, Sara, Giovampietro, Sara, Ismail, Sara, Kamari, Sara, Lauricella, Sara, Marzorati, Sara, Mohammed, Sara, Moschella, Sara, Mostafa Yassin, Sara, Patrocínio, Sara, Massa, Sara Tiziana, Vertaldi, Sara, Abdelmohsen, Sarah, Al Sharie, Sarah, Barbosa Castelo Branco, Sarah, Bowman, Sarah, Condron, Sarah, Elfurdag, Sarah, Ellouzy, Sarah, Fennelly, Sarah, Mansour, Sarah, Molfino, Sarah, Qwyder, Sarah, Rennie, Sarah, Robinson, Sarah, Segnitome, Sarah, Staight, Sarah, Yassin, Sarah, Alsibai, Sareyah, Khan, Sarfaraz, Khurana, Sarita, Rafiq, Sarmad, Malhi, Sarvpreet Singh, Dognia, Satchmo, D A, Sathiafrey, Babu, Satia, Subbiah Nagaraj, Satish, Meena, Satya Prakash, Vasquez, Saul, Bradulskis, Saulius, Mikalauskas, Saulius, Laura, Saura García, Verhage, Savannah Skye, Simeonidis, Savvas, Sarwary, Sayed Haschmatullah, Naidu, Sayuri, Schimpke, Scott, Davis, Sean, Stevens, Sean, Sierra, Sebastian, Dos Santos, Sebastiano, Strachan, Sebastien, Bektas, Sebnem, Atupra, Sedinam Adjoa Asiedua, Kreid, Sedra, Bugren, Seeraj, Saudí-Moro, Sef, Ashini, Sehar, Aboseif, Seif, Abdul Rahman, Seif-Aldin, Karim, Seiver, Öztürk, Selen, Akuffo, Selma, Awad, Selmy, Srishankar, Selvaratnam, Tobome, Sèmèvo Romaric, Malek, Sepand, Quartarone, Serafino, Grimaldi, Serena, Guarriello, Serena, Kalenga, Serge, Katorkin, Sergei, Trujillo Ponce, Sergio Adrian, Villeda, Sergio Alejandro, Intini, Sergio Giuseppe, Vázquez-Sánchez, Sergio Jiram, Salido, Sergio, Valeri, Sergio, Yilmaz, Serhan, Meriç, Serhat, Bensalem, Serien, Sucu, Serkan, Yılmaz, Serkan, Uludağ, Server Sezgin, Torres Rodríguez, Servio Tulio, Ooi, Sett, Luciano, Severino, Houndji, Sèwou Francklin Albert, Agordjor, Seyram, Ward, Sezar, Samardali, Shaden, Altoume, Shadi, Mahfoud, Shafik, Razaq, Shahad, Khan, Shahbano, Husanov, Shahboz, Ahmed, Shaheer, Islam, Shahnoor, Waqar, Shahzad Hussain, Kumaran, Shairashree, Magrhi, Shamsa, Zhang, Shane, Kashyap, Shankarsai, Karandikar, Sharad, Sundaramurthy, Sharada, Chowdhury, Sharfuddin, Jayasekara, Sharitha, Laura, Sharon, Shanker, Shashwat, Ababneh, Shatha, Gilbert, Shaun, Kenworthy, Shaunna, Ng, Shawn Hong Ming, Mackenzie, Shawn, Salindera, Shehnarz, Khattak, Shehrbano, Loke, Sheih Nee, Manzoor, Sheikh Viqar, Alwardi, Sheikha, Allam, Shereen, Tawfik, Sherifa, Francis, Shikha, Cai, Shirley, Dindyal, Shiva, Pandya, Shivangi, Chopra, Shreya, Ingley, Shreya, Kulkarni, Shrirang, Kosna, Shuba, Nayak, Shubhalaxmi, Ahuja, Shubham, Hariharan, Shubhang, Karuppusamy Krishnasamy, Shyam, Khare, Siddhant, Handa, Siddhartha, Amin Omar Alsiddig, Siddig, Alqurashi, Siddiga, Al-Tahayneh, Sief-Addeen, Sibiya, Silindokuhle, Perretta, Silvana, Ibarra Camargo, Silvia Alejandra, Montisci, Silvia, Mungo, Silvia, Puddu, Silvia, Severi, Silvia, Agudelo Mendoza, Silvia Valentina, Makkai-Popa, Silviu Tiberiu, Boyes, Simon, Monkhouse, Simon, Stock, simon, Alberti, Simona, Meneghini, Simona, Giudici, Simone, Guadagni, Simone, Birolo, Simone Lorenzo, Novello, Simone, Oliveira, Simone, Gumede, Simphiwe, Dhole, Simran, Budhwani, Simran Saleem, Ramjit, Sinead, Yumurtacilar, Sinem, Mahendra, Sirigi Naga, Abeykoon, Sithira, Moh Pauzi, Siti Farhan, Rajendra, Sittampalam, Sundararajan, Siva, Gananadha, Sivakumar, Kamarajah, Sivesh K, Marawu, Siyasanga, Basu, Sk, Hassan, Sleman, Reddy, Snigdha Mettu, Anaya Sanchez, Sofia, Gaspar Reis, Sofia, Gomez, Sofía, Gamba, Sofia Lucia, Pimentel Morais, Sofia, Ashry, Soha, Abdullateef, Sohaila, Bandyopadhyay, Soham, Samadi, Soheil, Pathan, Sohilkhan R., Lakew, Solomon, Basu, Somprakas, Ohri, Sonali, Alonso Marcos, Sonia, Amoza Pais, Sonia, Fortuna Martins, Sónia, Gill, Sonia, Matthiess, Sonia, Sabbatini, Sonia, Soto Schütte, Sonia, Engel, Sophie, Eam, Sothseyhakmonique, Botaitis, Sotirios, Lawani, Souliath, Jamil, Soumaya, Kondpan, Sourav, Oum, Sovannarith, Govender, Sovishnee, Christodoulou, Spyridon, Davakis, Spyridon, Vernadakis, Spyridon, Gkogkos, Spyros, Gobishangar, Sreekanthan, Suresh, Sreelakshmi, Vembar, Sridhar, M, Srikanth, Abdelrasoul Elnour Ismail, Srraa, Zourntou, Stamatina-Emmanouela, Nwabuoku, Stanley Emeka, Ideh, Stanley, Charitonos, Stavria, Liapis, Stavros Chrysovalantis, Faber, Stefan, Piccioni, Stefania Angela, Romano, Stefania, Silvestre, Stefania, Jarmusch, Stefanie, Soelling, Stefanie, Cardelli, Stefano, Chaifouroosh Mamagany, Stefano, Corso, Stefano, Basso, Stefano Maria Massimiliano, Megna, Stefano, Bitsianis, Stefanos, Tsatsos, Stefanos, Morales, Steffanía, Gerdes, Stephan, Göller, Stephanie, Hanna, Stephanie, Tabiri, Stephen, Agana, Stephen, Theivendran, Stephen Arthur, Kache, Stephen, Knight, Stephen R, Smith, Stephen, Stonelake, Stephen, Wrenn, Stephen, Gopaul, Steven, Vederaki, Styliani, Kapiris, Stylianos, Kykalos, Stylianos, Hlaing, Su Su, Chia, Su Yin Denise, Abu Khousa, Suad, M. Udwan, Suad, Raul, Subrat, Chase, Suchita, Nair, Sudharrshan, Joseph, Sudhir, Singh, Sudhir Kumar, Singh, Sudhir, Timmalah, Suhaylah, Alsuwiyah, Suhir, Thalgaspitiya, Sujeewa Priyantha Bandara, Sellahewa, Sujeewa, Neogi, Sujoy, Burger, Sule, Polat, Süleyman, Alkadi, Sulman, Asiri, Sultan, Otho, Sumaira, Mewa Kinoo, Suman, Ebrahim, Sumayyah, Tontus, Sumeyya, Midya, Sumit, Thuraisamy Sarma, Sundaramoorthy Iyer, Payyanur Thotan, Sundeep, Kumar Venkatappa, Sunil, Techapongsatorn, Suphakarn, Kaur, Supreet, Jp, Supritha, Tan, Suqi, Djote, Surafel Mulatu, Surendran, Suraj, Singh, Surendra, Chilaka, Suresh, Lee, Susan, Henriques, Susana, Giridaran, Suseendirarajah, Achugatla, Sushma, Kumar, Suvam, Brincat, Svetlana, Deshpande, Swati, Batista, Sylvia, Akharaekpanya, Tachporn, Moges, Tadesse Girma, Türkmen, Taha Berkay, Alhaj Hasan, Taima, Alshawabkeh, Taima', Majed, Taima', Lawal, Taiwo Akeem, Ibiyeye, Taiye Taibat, Rashid, Tajamul, Košir Božič, Tajda, Mohammed, Tajudeen, Khewater, Talal, Abelman, Talia, Al Barhi, Tamadher, Mogne, Tamiris, Salazar-Lorenzana, Tania Abril, Akter, Tania, Gómez Sanz, Tania, Motiwala, Tanmay, Valizadeh Elizeh, Tanya, Almahdi, Tanzeel, Albushary, Tanzel Alrahman, Abdulrahman, Taofeeq, Finlay, Tara, Chouari, Tarak, Awad, Tarek, Sabra, Tarek, M. Abubasheer, Tareq, Alhusban, Tariq, Yılmaz, Tarık Emre, Aloqaili, Tasneem, Aldirawi, Tayef, Karahasanoğlu, Tayfun, Gülşen, Taygun, Jemal, Tebarek, Nadeem, Tehmina, Singh, Tejinder Paul, Alinger, Temsula, Longkumer, Temsutoshi, Lo, Terence, Gimenez Maurel, Teresa, Uprak, Tevfik Kıvılcım, Petropoulou, Thalia, Rawther, Thampi, Techapongsatorn, Thawin, Manickam, Thendral, Padioti, Theodora, Kozonis, Theodoros, Sidiropoulos, Theodoros, Tsirlis, Theodoros, Theodosopoulos, Theodosios, Hessou, Thierry Kinnongni, Uiyapat, Thitapon, Agyen, Thomas, Harris, Thomas, Hugh, Thomas J, Jorgensen, Thomas W., Theivendrampillai, Thrshegan, Pham, Thuy Vy, Branco, Tiago, Nagwamutse, Tijjani Nasiru, Tony V, Tina, Devabalan Koil, Titus, Pilia, Tiziana, Abdulmola, Tmador Mahmed Ali, Oyeyemi, Tobiloba, Kebede, Tolera, Ibarra-Hurtado, Tomás Ramón, Reichelt, Tomas, Gach, Tomasz, Stefura, Tomasz, Wojewoda, Tomasz, Soric, Tomislav, Risteski, Toni, Tridip, Tridip Dutta Baruah, Yotsov, Tsanko, Doma Bhutia, Tshering, Girma, Tsion, Kwan, Tsun Yu, Ivanov, Tsvetomir, Iahmo, TT, Ashkar, Tuleen, Mabogoane, Tumi, Olobatoke, Tunde, Sholadoye, Tunde T., Mishra, Tushar Subhadarshan, Parker, Tyla, Ezomike, Uchechukwu, Dilibe, Uchenna, Kumbhar, Uday, Una, Uduak-Abasi, Grossi, Ugo, Ezidiegwu, Ugochukwu, Edith, Ugwuoke, Daspal, Ujjwal, Kalu, Ukoha Agwu, Dietz, Ulrich, Ronellenfitsch, Ulrich, Wirth, Ulrich, Abdullah, Umar, Rivolta, Umberto, Jayarajah, Umesh, Kanyan Kassim, Umu-Hera, Govindan, Unnikrishnan, Fernandes, Urânia, Akram, Usman, Mohammed Bello, Usman, Omara, Usra, Naidoo, Uvarasen, Mahendravarman, Vaishnaivy, Negoita, Valentina Madalina, Mariottini, Valentina, Murzi, Valentina, Zucchini, Valentina, Agbakwuru, Valentine, Armenta Tapia, Valeria Estefania, Gentilino, Valerio, Borgogni, Vanessa, Ng, Vanessa, Wolfschluckner, Vanessa, Silvestri, Vania, Žufić, Vanja, Gunasaegaram, Varman, Kamalathevan, Vasan, Pillay, Vasanthan, Neykov, Vasil, Kalles, Vasileios, Mousafeiris, Vasileios, Papadopoulos, Vasileios, Tsaousis, Vasileios, Tselepidis, Vasileios, Vougas, Vasileios, Georgilaki, Vasiliki, Nikolaou, Vasiliki, Themelidi, Vasiliki, Manchev, Vassil, Ioannou, Veatriki, Jha, Vedant Shekhar, Dragisic, Vedran, Sutharshan, Vengadasalam, Alonso, Veronica, Brocco, Veronica, Ongil Rodríguez, Verónica, Schirinzi, Veronica, Budyakova, Veronika, Naunova, Vesna, Panduro-Correa, Vicky, Ruiz López, Víctor Andrés, Bill, Victor, Dassah, Victor, Gonzabay, Víctor Eduardo, Etwire, Victor, Modekwe, Victor, Serna-Alarcon, Victor, De Donato, Victor Ugo, Duque Mallén, Victoria, Liu, Victoria, Sharma, Vidushi, Kumar, Vijaya, Muralidharan, Vijayaragavan, Kakotkin, Viktor, Enemuo, Vincent, Kudoh, Vincent, Osoka, Vincent, Siepaal, Vincent, Granata, Vincenza, Dinuzzi, Vincenza Paola, Lizzi, Vincenzo, Ricchiuti, Vincenzo, Mosca, Vinicio, Kanna D, Vinoth, Nair, Vipin Venugopal, Ledda, Virginia, Michael, Vishal, Singh, Vishavdeep, Govindasamy, Vishendran, Kollengode, Viswanathan V, Giordano, Vittoria, Morinelli, Vittoria, Lin, Vivian, Cuk, Vladica, Cijan, Vladimir, Çalik, Volkan, Bakshi, Vrushank, Ten, Vyacheslav, Ratheesh, Vysakh, Alsado, Wael, Mayo, Wafik, Yang, Wah, Rehman, Wajeeh Ur, Abbas, Walaa, Al-Khyatt, Waleed, Mabood, Waleed, Santucci, Walter, Yew, Wan Ting, Tahir, Warda, De Silva, Warusha Dhammika Dulantha, Wijenayake, Wasantha, Almadhoun, Waseem J.N., Alhroub, Wasef, Ebrahim, Wesam, Jabłoński, Wiktor, Krawczyk, Wiktor, Bhatti, William, Lai, William Kwan Ho, Petrushnko, Wilson, Afedo, Wisdom, Kasetsermwiriya, Wisit, Serednicki, Wojciech, Wysocki, Wojciech, Zerefa, Wondwossen Amtataw, Vagena, Xanthoula, Tarrado, Xavier, Papazarkadas, Xenofon, Po, Xiang Yuen, Ouadi, Yacine, Myla, Yacob, Haido, Yacoub, Hasan, Yafea, Karataş, Yağmur, Carpio Colmenares, Yahaira, Galvañ Félix, Yaiza, Balogun, Yakub Lekan, Maktabi, Yaman, Nerabani, Yaman, Fulgence, Yamuremye, De Silva, Yannick, Asar, Yara, Samer Morsy, Yara, Ghaleb, Yasameen Saif Saeed Mohammed, Vashishth, Yash, M S, Yashas, Manickchund, Yashoda, Sakaray, Yashwant, Kara, Yasin, Tosun, Yasin, Zwain, Yasir, Farag, Yasmeen, Jedidi, Yasmine, Seada, Yasmine, Aldebasi, Yasser, Ashour, Yasser, Badr, Yassin, Sarpong, Yaw, Alawneh, Yazan, Aung, Yee Lay, Orabi, Yehia, Lam, Yick Ho, Şen, Yigit Kaan, Koyluoglu, Yilmaz Onat, Huang, Yining, Mintz, Yoav, Perez, Yocarli, Chamara, Yohan, Melkamu, Yohannes, Maestre González, Yolanda, Dean, Yomna, Metaferia, Yonas Yilma, Malki, Yosra, Mohamed, Younis, A. Omar, Yousef, Alhammoud, Yousef, Allaoua, Yousef, Tanas, Yousef, El Okazy, Youssef, Kerolous, Youssef, Mohamed, Youssef, Al-Junaidi, Youssuf, Lakdawala, Yousuf, Lu, Yuann, Asano, Yukio, Altinel, Yuksel, Aktimur, Yunus Emre, Fishman, Yuri, Kudryavcev, Yurii, Tandoğan, Yusuf Iskender, Razafimandimby, Yves Michaël, Adofo-Asamoah, Yvonne, Şenol, Zafer, Odeh, Zahra, Benamrouche, Zahra Rayane, Alkhaier, Zahraa, Al-Sheikh Ali, Zaid, Zaher, Zain Aldin, Alnajjar, Zaina, Al-Balushi, Zainab, Alkhuzaie, Zainab, Khraim, Zakaria, Toutounji, Zakaria, Djama, Zakarya, Farraj, Zamil, Shah, Zamir Ahmad, Khan, Zara, Khan, Zarnigar, Abo Alarous, Zayn Alabden, Asaad, Zaynab, Demetrashvili, Zaza, Lorenc, Zbigniew, Brekalo, Zdrinko, Hannouneh, Zein Alabdin, Robertson, Zelda, Bady, Zeyad, Durna, Zeynep, Wong, Zhen Yu, Fozo, Zien Alabdin, Klib, Zienab, Chin, Ziling, Tamou, Zime Farid, Johnson, Zina, Shabello, Ziyad, Orzeszko, Zofia, Aljalabi, Zohal, Al-Azher El-Hamel, Zohour, Karampotaki, Zoi Rafaila, Valera Sanchez, Zoraida, Matkovic, Zoran, Azhar, Zubair, Qureshi, Zubaria, Correa López, Zulema Margarita, Balciscueta, Zutoia, Musilová, Zuzana, Katusic, Zvonimir, Osama, Zyad, and Dauksa, Zygimantas
Published: 2024
Full Text: View/download PDF

15. Rational Verification for Probabilistic Systems

Author: Gutierrez, Julian, Hammond, Lewis, Lin, Anthony W., Najib, Muhammad, and Wooldridge, Michael
Subjects: Computer Science - Multiagent Systems, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science
Abstract: Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing strategies that collectively form a game-theoretic equilibrium. Previous work in this area has largely focussed on deterministic systems. In this paper, we develop the theory and algorithms for rational verification in probabilistic systems. We focus on concurrent stochastic games (CSGs), which can be used to model uncertainty and randomness in complex multi-agent environments. We study the rational verification problem for both non-cooperative games and cooperative games in the qualitative probabilistic setting. In the former case, we consider LTL properties satisfied by the Nash equilibria of the game and in the latter case LTL properties satisfied by the core. In both cases, we show that the problem is 2EXPTIME-complete, thus not harder than the much simpler verification problem of model checking LTL properties of systems modelled as Markov decision processes (MDPs)., Comment: 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
Published: 2021

16. Risk Factors for Readmission in Excisional Hemorrhoidectomy at a Tertiary Teaching Center

Author: Siggins, Lauren A., Fagan, Paul V.B., Kim, Hyun Min, and Lin, Anthony Y.
Published: 2024
Full Text: View/download PDF

17. Learning Union of Integer Hypercubes with Queries (Technical Report)

Author: Markgraf, Oliver, Stan, Daniel, and Lin, Anthony W.
Subjects: Computer Science - Machine Learning, Computer Science - Logic in Computer Science
Abstract: We study the problem of learning a finite union of integer (axis-aligned) hypercubes over the d-dimensional integer lattice, i.e., whose edges are parallel to the coordinate axes. This is a natural generalization of the classic problem in the computational learning theory of learning rectangles. We provide a learning algorithm with access to a minimally adequate teacher (i.e. membership and equivalence oracles) that solves this problem in polynomial-time, for any fixed dimension d. Over a non-fixed dimension, the problem subsumes the problem of learning DNF boolean formulas, a central open problem in the field. We have also provided extensions to handle infinite hypercubes in the union, as well as showing how subset queries could improve the performance of the learning algorithm in practice. Our problem has a natural application to the problem of monadic decomposition of quantifier-free integer linear arithmetic formulas, which has been actively studied in recent years. In particular, a finite union of integer hypercubes correspond to a finite disjunction of monadic predicates over integer linear arithmetic (without modulo constraints). Our experiments suggest that our learning algorithms substantially outperform the existing algorithms., Comment: Extended version (technical report) of a paper published in CAV 2021
Published: 2021

18. Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)

Author: Stan, Daniel and Lin, Anthony Widjaja
Subjects: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems
Abstract: We present a general framework for modelling and verifying epistemic properties over parameterized multi-agent systems that communicate by truthful public announcements. In our framework, the number of agents or the amount of certain resources are parameterized (i.e. not known a priori), and the corresponding verification problem asks whether a given epistemic property is true regardless of the instantiation of the parameters. For example, in a muddy children puzzle, one could ask whether each child will eventually find out whether (s)he is muddy, regardless of the number of children. Our framework is regular model checking (RMC)-based, wherein synchronous finite-state automata (equivalently, monadic second-order logic over words) are used to specify the systems. We propose an extension of public announcement logic as specification language. Of special interests is the addition of the so-called iterated public announcement operators, which are crucial for reasoning about knowledge in parameterized systems. Although the operators make the model checking problem undecidable, we show that this becomes decidable when an appropriate "disappearance relation" is given. Further, we show how Angluin's L*-algorithm for learning finite automata can be applied to find a disappearance relation, which is guaranteed to terminate if it is regular. We have implemented the algorithm and apply this to such examples as the Muddy Children Puzzle, the Russian Card Problem, and Large Number Challenge., Comment: Extended version, version of record accepted at the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-21)
Published: 2021

19. Decision Procedures for Sequence Theories

Author: Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Enea, Constantin, editor, and Lal, Akash, editor
Published: 2023
Full Text: View/download PDF

20. Cholecystectomy following acute presentation to a major New Zealand metropolitan hospital: change to the timing of surgery is needed

Author: Lin, Anthony
Published: 2006

21. Probabilistic Bisimulation for Parameterized Systems (Technical Report)

Author: Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak, and Rümmer, Philipp
Subjects: Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract: Probabilistic bisimulation is a fundamental notion of process equivalence for probabilistic systems. Among others, it has important applications including formalizing the anonymity property of several communication protocols. There is a lot of work on verifying probabilistic bisimulation for finite systems. This is however not the case for parameterized systems, where the problem is in general undecidable. In this paper we provide a generic framework for reasoning about probabilistic bisimulation for parameterized systems. Our approach is in the spirit of software verification, wherein we encode proof rules for probabilistic bisimulation and use a decidable first-order theory to specify systems and candidate bisimulation relations, which can then be checked automatically against the proof rules. As a case study, we show that our framework is sufficiently expressive for proving the anonymity property of the parameterized dining cryptographers protocol and the parameterized grades protocol, when supplied with a candidate regular bisimulation relation. Both of these protocols hitherto could not be verified by existing automatic methods. Moreover, with the help of standard automata learning algorithms, we show that the candidate relations can be synthesized fully automatically, making the verification fully automated.
Published: 2020

22. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)

Author: Holik, Lukas, Janku, Petr, Lin, Anthony W., Rümmer, Philipp, and Vojnar, Tomas
Subjects: Computer Science - Logic in Computer Science
Abstract: String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection of cross-site scripting (XSS). A popular string analysis technique includes symbolic executions, which at their core use string (constraint) solvers. Such solvers typically reason about constraints expressed in theories over strings with the concatenation operator as an atomic constraint. In recent years, researchers started to recognise the importance of incorporating the replace-all operator and finite transductions in the theories of strings with concatenation. Such string operations are typically crucial for reasoning about XSS vulnerabilities in web applications, especially for modelling sanitisation functions and implicit browser transductions (e.g. innerHTML). In this paper, we provide the first string solver that can reason about constraints involving both concatenation and finite transductions. Moreover, it has a completeness and termination guarantee for several important fragments (e.g. straight-line fragment). The main challenge addressed in the paper is the prohibitive worst-case complexity of the theory. To this end, we propose a method that exploits succinct alternating finite automata as concise symbolic representations of string constraints. Alternation offers not only exponential savings in space when representing Boolean combinations of transducers, but also a possibility of succinct representation of otherwise costly combinations of transducers and concatenation. Reasoning about the emptiness of the AFA language requires a state-space exploration in an exponential-sized graph, for which we use model checking algorithms (e.g. IC3). We have implemented our algorithm and demonstrated its efficacy on benchmarks that are derived from XSS and other examples in the literature., Comment: Full version of POPL'18 published paper with all proofs
Published: 2020

23. Complexity Analysis of Tree Share Structure

Author: Le, Xuan-Bach, Hobor, Aquinas, and Lin, Anthony W.
Subjects: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract: The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are hard to implement due to a lack of a systematic theoretical study. We show that the first-order theory of the full Boolean algebra of tree shares (that is, with all tree-share constants) is decidable and has the same complexity as of the first-order theory of Countable Atomless Boolean Algebras. We prove that combining this additive structure with a constant-restricted unary multiplicative "relativization" operator has a non-elementary lower bound. We examine the consequences of this lower bound and prove that it comes from the combination of both theories by proving an upper bound on a generalization of the restricted multiplicative theory in isolation., Comment: 20 pages including appendix. Published at the 16th Asian Symposium on Programming Languages and Systems (APLAS 2018) in December 2018
Published: 2020

24. Parameterized Synthesis with Safety Properties

Author: Markgraf, Oliver, Hong, Chih-Duo, Lin, Anthony W., Najib, Muhammad, and Neider, Daniel
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract: Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed protocols where the amount of processes is often unknown at design time and the protocol must work regardless of the number of processes). In this paper, we present a novel learning based approach to the synthesis of reactive controllers for parameterized systems from safety specifications. We use the framework of regular model checking to model the synthesis problem as an infinite-duration two-player game and show how one can utilize Angluin's well-known L* algorithm to learn correct-by-design controllers. This approach results in a synthesis procedure that is conceptually simpler than existing synthesis methods with a completeness guarantee, whenever a winning strategy can be expressed by a regular set. We have implemented our algorithm in a tool called L*-PSynth and have demonstrated its performance on a range of benchmarks, including robotic motion planning and distributed protocols. Despite the simplicity of L*-PSynth it competes well against (and in many cases even outperforms) the state-of-the-art tools for synthesizing parameterized systems., Comment: 18 pages
Published: 2020

25. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Author: Lin, Anthony W. and Majumdar, Rupak
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract: Word equations are a crucial element in the theoretical foundation of constraint solving over strings. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. We focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the existential theory of Presburger Arithmetic with divisibility (PAD). Since PAD is decidable (NP-hard and is in NEXP), we obtain a decision procedure for quadratic words equations with length constraints for which the associated counter system is flat (i.e., all nodes belong to at most one cycle). In particular, we show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, when augmented with length constraints. We extend this decidability result (in fact, with a complexity upper bound of PSPACE with a PAD oracle) in the presence of regular constraints., Comment: arXiv admin note: substantial text overlap with arXiv:1805.06701
Published: 2020
Full Text: View/download PDF

26. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

Author: Chen, Taolue, Hague, Matthew, He, Jinlong, Hu, Denghang, Lin, Anthony Widjaja, Rummer, Philipp, and Wu, Zhilin
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract: Strings are widely used in programs, especially in web applications. Integer data type occurs naturally in string-manipulating programs, and is frequently used to refer to lengths of, or positions in, strings. Analysis and testing of string-manipulating programs can be formulated as the path feasibility problem: given a symbolic execution path, does there exist an assignment to the inputs that yields a concrete execution that realizes this path? Such a problem can naturally be reformulated as a string constraint solving problem. Although state-of-the-art string constraint solvers usually provide support for both string and integer data types, they mainly resort to heuristics without completeness guarantees. In this paper, we propose a decision procedure for a class of string-manipulating programs which includes not only a wide range of string operations such as concatenation, replaceAll, reverse, and finite transducers, but also those involving the integer data-type such as length, indexof, and substring. To the best of our knowledge, this represents one of the most expressive string constraint languages that is currently known to be decidable. Our decision procedure is based on a variant of cost register automata. We implement the decision procedure, giving rise to a new solver OSTRICH+. We evaluate the performance of OSTRICH+ on a wide range of existing and new benchmarks. The experimental results show that OSTRICH+ is the first string decision procedure capable of tackling finite transducers and integer constraints, whilst its overall performance is comparable with the state-of-the-art string constraint solvers.
Published: 2020

27. Regular Model Checking Revisited (Technical Report)

Author: Lin, Anthony W. and Rümmer, Philipp
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.3.1
Abstract: In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent systems with an arbitrary number of processes). We provide a reformulation of regular model checking with length-preserving transducers in terms of existential second-order theory over automatic structures. We argue that this is a natural formulation that enables us tap into powerful synthesis techniques that have been extensively studied in the software verification community. More precisely, in this formulation the first-order part represents the verification conditions for the desired correctness property (for which we have complete solvers), whereas the existentially quantified second-order variables represent the relations to be synthesized. We show that many interesting correctness properties can be formulated in this way, examples being safety, liveness, bisimilarity, and games. More importantly, we show that this new formulation allows new interesting benchmarks (and old regular model checking benchmarks that were previously believed to be difficult), especially in the domain of parameterized system verification, to be solved.
Published: 2020

28. Monadic Decomposition in Integer Linear Arithmetic (Technical Report)

Author: Hague, Matthew, Lin, Anthony Widjaja, Rümmer, Philipp, and Wu, Zhilin
Subjects: Computer Science - Logic in Computer Science, F.4.1
Abstract: Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, Veanes et al. showed the usefulness of monadic decomposability in the context of SMT (i.e. the input formula is quantifier-free), and found various interesting applications including string analysis. However, checking monadic decomposability is undecidable in general. Decidability for certain theories is known (e.g. Presburger Arithmetic, Tarski's Real-Closed Field), but there are very few results regarding their computational complexity. In this paper, we study monadic decomposability of integer linear arithmetic in the setting of SMT. We show that this decision problem is coNP-complete and, when monadically decomposable, a formula admits a decomposition of exponential size in the worst case. We provide a new application of our results to string constraint solving with length constraints. We then extend our results to variadic decomposability, where predicates could admit multiple free variables (in contrast to monadic decomposability). Finally, we give an application to quantifier elimination in integer linear arithmetic where the variables in a block of quantifiers, if independent, could be eliminated with an exponential (instead of the standard doubly exponential) blow-up.
Published: 2020

29. A multicenter, longitudinal survey of headaches and concussions among youth athletes in the United States from 2009 to 2019

Author: Ali, Muhammad, Asghar, Nek, Hannah, Theodore, Schupper, Alexander J, Li, Adam, Dreher, Nickolas, Murtaza-Ali, Muhammad, Vasan, Vikram, Nakadar, Zaid, Alasadi, Husni, Lin, Anthony, Hrabarchuk, Eugene, Quinones, Addison, McCarthy, Lily, Asfaw, Zerubabbel, Dullea, Jonathan, Gometz, Alex, Lovell, Mark, and Choudhri, Tanvir
Published: 2023
Full Text: View/download PDF

30. Predictors of incident SARS-CoV-2 infections in an international prospective cohort study.

Author: Lin, Anthony, Vittinghoff, Eric, Olgin, Jeffrey, Peyser, Noah, Aung, Sidney, Joyce, Sean, Yang, Vivian, Hwang, Janet, Avram, Robert, Nah, Gregory, Tison, Geoffrey H, Beatty, Alexis, Runge, Ryan, Wen, David, Butcher, Xochitl, Horner, Cathy, Eitel, Helena, Pletcher, Mark, and Marcus, Gregory M
Subjects: Humans, Treatment Outcome, Prospective Studies, Adult, Middle Aged, COVID-19, SARS-CoV-2, health informatics, public health, Clinical Trials and Supportive Activities, Clinical Research, Biodefense, Infectious Diseases, Lung, Vaccine Related, Prevention, Emerging Infectious Diseases, Infection, Clinical Sciences, Public Health and Health Services, Other Medical and Health Sciences
Abstract: ObjectiveUntil effective treatments and vaccines are made readily and widely available, preventative behavioural health measures will be central to the SARS-CoV-2 public health response. While current recommendations are grounded in general infectious disease prevention practices, it is still not entirely understood which particular behaviours or exposures meaningfully affect one's own risk of incident SARS-CoV-2 infection. Our objective is to identify individual-level factors associated with one's personal risk of contracting SARS-CoV-2.DesignProspective cohort study of adult participants from 26 March 2020 to 8 October 2020.SettingThe COVID-19 Citizen Science Study, an international, community and mobile-based study collecting daily, weekly and monthly surveys in a prospective and time-updated manner.ParticipantsAll adult participants over the age of 18 years were eligible for enrolment.Primary outcome measureThe primary outcome was incident SARS-CoV-2 infection confirmed via PCR or antigen testing.Results28 575 unique participants contributed 2 479 149 participant-days of data across 99 different countries. Of these participants without a history of SARS-CoV-2 infection at the time of enrolment, 112 developed an incident infection. Pooled logistic regression models showed that increased age was associated with lower risk (OR 0.98 per year, 95% CI 0.97 to 1.00, p=0.019), whereas increased number of non-household contacts (OR 1.10 per 10 contacts, 95% CI 1.01 to 1.20, p=0.024), attending events of at least 10 people (OR 1.26 per 10 events, 95% CI 1.07 to 1.50, p=0.007) and restaurant visits (OR 1.95 per 10 visits, 95% CI 1.42 to 2.68, p
Published: 2021

31. Binary search algorithm

Author: Lin, Anthony
Published: 2019

32. Emergency activations for chest pain and ventricular arrhythmias related to regional COVID-19 across the US

Author: Aung, Sidney, Vittinghoff, Eric, Nah, Gregory, Lin, Anthony, Joyce, Sean, Mann, N Clay, and Marcus, Gregory M
Subjects: Biomedical and Clinical Sciences, Clinical Sciences, Cardiovascular, Prevention, Heart Disease - Coronary Heart Disease, Clinical Research, Pain Research, Heart Disease, Good Health and Well Being, Arrhythmias, Cardiac, COVID-19, Chest Pain, Humans, Models, Theoretical, Non-ST Elevated Myocardial Infarction, United States
Abstract: Evidence that patients may avoid healthcare facilities for fear of COVID-19 infection has heightened the concern that true rates of myocardial infarctions have been under-ascertained and left untreated. We analyzed data from the National Emergency Medical Services Information System (NEMSIS) and incident COVID-19 infections across the United States (US) between January 1, 2020 and April 30, 2020. Grouping events by US Census Division, multivariable adjusted negative binomial regression models were utilized to estimate the relationship between COVID-19 and EMS cardiovascular activations. After multivariable adjustment, increasing COVID-19 rates were associated with less activations for chest pain and non-ST-elevation myocardial infarctions. Simultaneously, increasing COVID-19 rates were associated with more activations for cardiac arrests, ventricular fibrillation, and ventricular tachycardia. Although direct effects of COVID-19 infections may explain these discordant observations, these findings may also arise from patients delaying or avoiding care for myocardial infarction, leading to potentially lethal consequences.
Published: 2021

33. Delayed Gastric Emptying and Gastric Remnant Function After Pancreaticoduodenectomy: A Systematic Review of Objective Assessment Modalities

Author: Wang, Tim H.-H., Lin, Anthony Y., Mentor, Keno, O’Grady, Gregory, and Pandanaboyana, Sanjay
Published: 2023
Full Text: View/download PDF

34. Variation in the practice of cholecystectomy for benign biliary disease in Aotearoa New Zealand: a population-based cohort study

Author: Study Management Group, Varghese, Chris, McGuinness, Matthew, Wells, Cameron I., Elliott, Brodie M., Gunawardene, Ashok, Edwards, Melissa, Expert Advisory Group, Vohra, Ravinder, Griffiths, Ewen A., Connor, Saxon, Poole, Garth H., Windsor, John A., Wright, Deborah, Harmston, Christopher, Collaborating Authors, Wang, Jim Hsu-Shun, Windsor, John, Chen, Elizabeth, Ghate, Kaustubha, Lal, Shayal, Lekamalage, Binura, Ratnayake, Milidu, Bansal, Arpita, von Keisenberg, Seagh, Hemachandran, Arthana, Singhal, Megan, Joseph, Nejo, Bhat, Sameer, Rossaak, Jeremy, Carson, Daniel, Dubey, Nandini, Pan, Marcus, Ferguson, Liam, Watt, Imogen, Choi, Jenny, Mclauchlan, Jared, Nicholas, Ella, Al-Busaidi, Ibrahim, Wood, Douglas, Haran, Cheyaanthan, Lin, Anthony, Fagan, Paul, Bathgate, Andrea, Patel, Saloni, Mak, Josephine, Espiner, Emma, Poole, Garth, Hassan, Summer, Javed, Zunaira, Randall, Madi, Clough, Sydney, Cook, William, Clark, Sita, Finlayson, Carys, Bahl, Praharsh, Singh, Surya, Lin, Cindy, Wang, Clair, Kittaka, Reina, Morreau, Mathew, Ing, Andrew, Logan, Sarah, Guest, Sam, Sutherland, Kirsty, Lewis, Alex, Roberts, Jessica, Watson, Bridget, Tietjens, James, Teague, Rebecca, Su'a, Bruce, Modi, Anupam, Modi, Varun, Williams, Yahaira, Morreau, Jonty, Khoo, Choo, Desmond, Brendan, Young, Michael, Christmas, Renee, Holm, Teresa, Long, Kieran, Garton, Briar, Niki kau, Barber, Lucy, Amer, Mostafa, Haddow, James, Fearnley-Fitzgerald, Chekodi, Suresh, Karen, Zeng, Edwin, Young-Gough, Anastasia, Skeet, Jordan, El-Haddawi, Falah, Alvarez, Matias, Nguyen, Son, King, Jasmin, Crichton, James, Welsh, Fraser, Tan, Jeffrey, Luo, Jonathon, Banker, Karankumar, Field, Xavier, Allan, Philip, Rennie, Sarah, Ratnayake, Chathura B., Srinivasa, Sanket, Gloria Kim, Jee H., Bradley, Sarah, Singh, Nivedita, Kang, Grace, Xu, William, Cook, Holly, Mistry, Vyoma, Dabla, Kaavya, de Oca, Abraham M., Yoganandarajah, Vithushiya, Lill, Marianne, Lu, Jacky, Bonnet, Louis A., and Uiyapat, Thitapon
Published: 2023
Full Text: View/download PDF

35. Monadic Decomposability of Regular Relations

Author: Barcelo, Pablo, Hong, Chih-Duo, Le, Xuan-Bach, Lin, Anthony W., and Niskanen, Reino
Subjects: Computer Science - Formal Languages and Automata Theory
Abstract: Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical theory. In this paper, we revisit a classical decision problem in automata theory: given a regular (a.k.a. synchronized rational) relation, determine whether it is recognizable, i.e., it has a monadic decomposition (that is, a representation as a boolean combination of cartesian products of regular languages). Regular relations are expressive formalisms which, using an appropriate string encoding, can capture relations definable in Presburger Arithmetic. In fact, their expressive power coincide with relations definable in a universal automatic structure; equivalently, those definable by finite set interpretations in WS1S (Weak Second Order Theory of One Successor). Determining whether a regular relation admits a recognizable relation was known to be decidable (and in exponential time for binary relations), but its precise complexity still hitherto remains open. Our main contribution is to fully settle the complexity of this decision problem by developing new techniques employing infinite Ramsey theory. The complexity for DFA (resp. NFA) representations of regular relations is shown to be NLOGSPACE-complete (resp. \PSPACE-complete)., Comment: Full version of the paper accepted to ICALP 2019
Published: 2019

36. Decision Procedures for Sequence Theories

Author: Jeż, Artur, primary, Lin, Anthony W., additional, Markgraf, Oliver, additional, and Rümmer, Philipp, additional
Published: 2023
Full Text: View/download PDF

37. CSS Minification via Constraint Solving (Technical Report)

Author: Hague, Matthew, Lin, Anthony W., and Hong, Chih-Duo
Subjects: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.1
Abstract: Minification is a widely-accepted technique which aims at reducing the size of the code transmitted over the web. We study the problem of minifying Cascading Style Sheets (CSS) --- the de facto language for styling web documents. Traditionally, CSS minifiers focus on simple syntactic transformations (e.g. shortening colour names). In this paper, we propose a new minification method based on merging similar rules in a CSS file. We consider safe transformations of CSS files, which preserve the semantics of the CSS file. The semantics of CSS files are sensitive to the ordering of rules in the file. To automatically identify a rule merging opportunity that best minimises file size, we reduce the rule-merging problem to a problem on CSS-graphs, i.e., node-weighted bipartite graphs with a dependency ordering on the edges, where weights capture the number of characters (e.g. in a selector or in a property declaration). Roughly speaking, the corresponding CSS-graph problem concerns minimising the total weight of a sequence of bicliques (complete bipartite subgraphs) that covers the CSS-graph and respects the edge order. We provide the first full formalisation of CSS3 selectors and reduce dependency detection to satisfiability of quantifier-free integer linear arithmetic, for which highly-optimised SMT-solvers are available. To solve the above NP-hard graph optimisation problem, we show how Max-SAT solvers can be effectively employed. We have implemented our algorithms using Max-SAT and SMT-solvers as backends, and tested against approximately 70 real-world examples (including the top 20 most popular websites). In our benchmarks, our tool yields larger savings than six well-known minifiers (which do not perform rule-merging, but support many other optimisations). Our experiments also suggest that better savings can be achieved in combination with one of these six minifiers.
Published: 2018

38. Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations

Author: Chen, Taolue, Hague, Matthew, Lin, Anthony W., Rümmer, Philipp, and Wu, Zhilin
Subjects: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract: The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, whose applications include symbolic execution and automated detection of cross-site scripting (XSS) vulnerabilities. A (symbolic) path is a finite sequence of assignments and assertions (i.e. without loops), and checking its feasibility amounts to determining the existence of inputs that yield a successful execution. We give two general semantic conditions which together ensure the decidability of path feasibility: (1) each assertion admits regular monadic decomposition, and (2) each assignment uses a (possibly nondeterministic) function whose inverse relation preserves regularity. We show these conditions are expressive since they are satisfied by a multitude of string operations. They also strictly subsume existing decidable string theories, and most existing benchmarks (e.g. most of Kaluza's, and all of SLOG's, Stranger's, and SLOTH's). We give a simple decision procedure and an extensible architecture of a string solver in that a user may easily incorporate his/her own string functions. We show the general fragment has a tight, but high complexity. To address this, we propose to allow only partial string functions (i.e., prohibit nondeterminism) in condition (2). When nondeterministic functions are needed, we also provide a syntactic fragment that provides a support of nondeterministic functions but can be reduced to an existing solver SLOTH. We provide an efficient implementation of our decision procedure for deterministic partial string functions in a new string solver OSTRICH. It provides built-in support for concatenation, reverse, functional transducers, and replaceall and provides a framework for extensibility to support further string functions. We demonstrate the efficacy of our new solver against other competitive solvers.
Published: 2018

39. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Author: Lin, Anthony W. and Majumdar, Rupak
Subjects: Computer Science - Logic in Computer Science
Abstract: Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. In this paper, we focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the theory of existential Presburger Arithmetic with divisibility (PAD). Since PAD is decidable, we get a decision procedure for quadratic words equations with length constraints for which the associated counter system is \emph{flat} (i.e., all nodes belong to at most one cycle). We show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, together with length constraints. Decidability holds when the constraints are additionally extended with regular constraints with a 1-weak control structure., Comment: 18 pages
Published: 2018

40. What Is Decidable about String Constraints with the ReplaceAll Function

Author: Chen, Taolue, Chen, Yan, Hague, Matthew, Lin, Anthony W., and Wu, Zhilin
Subjects: Computer Science - Logic in Computer Science, F.4.1, F.1.1
Abstract: Recently, it was shown that any theory of strings containing the string-replace function (even the most restricted version where pattern/replacement strings are both constant strings) becomes undecidable if we do not impose some kind of straight-line (aka acyclicity) restriction on the formulas. Despite this, the straight-line restriction is still practically sensible since this condition is typically met by string constraints that are generated by symbolic execution. In this paper, we provide the first systematic study of straight-line string constraints with the string-replace function and the regular constraints as the basic operations. We show that a large class of such constraints (i.e. when only a constant string or a regular expression is permitted in the pattern) is decidable. We note that the string-replace function, even under this restriction, is sufficiently powerful for expressing the concatenation operator and much more (e.g. extensions of regular expressions with string variables). This gives us the most expressive decidable logic containing concatenation, replace, and regular constraints under the same umbrella. Our decision procedure for the straight-line fragment follows an automata-theoretic approach, and is modular in the sense that the string-replace terms are removed one by one to generate more and more regular constraints, which can then be discharged by the state-of-the-art string constraint solvers. We also show that this fragment is, in a way, a maximal decidable subclass of the straight-line fragment with string-replace and regular constraints. To this end, we show undecidability results for the following two extensions: (1) variables are permitted in the pattern parameter of the replace function, (2) length constraints are permitted.
Published: 2017

41. Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)

Author: Lengal, Ondrej, Lin, Anthony W., Majumdar, Rupak, and Ruemmer, Philipp
Subjects: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Formal Languages and Automata Theory
Abstract: We consider the problem of automatically verifying that a parameterized family of probabilistic concurrent systems terminates with probability one for all instances against adversarial schedulers. A parameterized family defines an infinite-state system: for each number n, the family consists of an instance with n finite-state processes. In contrast to safety, the parameterized verification of liveness is currently still considered extremely challenging especially in the presence of probabilities in the model. One major challenge is to provide a sufficiently powerful symbolic framework. One well-known symbolic framework for the parameterized verification of non-probabilistic concurrent systems is regular model checking. Although the framework was recently extended to probabilistic systems, incorporating fairness in the framework - often crucial for verifying termination - has been especially difficult due to the presence of an infinite number of fairness constraints (one for each process). Our main contribution is a systematic, regularity-preserving, encoding of finitary fairness (a realistic notion of fairness proposed by Alur & Henzinger) in the framework of regular model checking for probabilistic parameterized systems. Our encoding reduces termination with finitary fairness to verifying parameterized termination without fairness over probabilistic systems in regular model checking (for which a verification framework already exists). We show that our algorithm could verify termination for many interesting examples from distributed algorithms (Herman's protocol) and evolutionary biology (Moran process, cell cycle switch), which do not hold under the standard notion of fairness. To the best of our knowledge, our algorithm is the first fully-automatic method that can prove termination for these examples., Comment: A technical report of a TACAS'17 paper
Published: 2017

42. Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)

Author: Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W., and Ruemmer, Philipp
Subjects: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages
Abstract: We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means. An example of such an infinite family is a dining philosopher protocol with any number n of processes (n being the parameter that defines the infinite family). Regular model checking is a well-known generic framework for modelling parameterised concurrent systems, where an infinite set of configurations (resp. transitions) is represented by a regular set (resp. regular transducer). Although verifying safety properties in the regular model checking framework is undecidable in general, many sophisticated semi-algorithms have been developed in the past fifteen years that can successfully prove safety in many practical instances. In this paper, we propose a simple solution to synthesise regular inductive invariants that makes use of Angluin's classic L* algorithm (and its variants). We provide a termination guarantee when the set of configurations reachable from a given set of initial configurations is regular. We have tested L* algorithm on standard (as well as new) examples in regular model checking including the dining philosopher protocol, the dining cryptographer protocol, and several mutual exclusion protocols (e.g. Bakery, Burns, Szymanski, and German). Our experiments show that, despite the simplicity of our solution, it can perform at least as well as existing semi-algorithms., Comment: Full version of FMCAD'17 paper
Published: 2017

43. Early and effective intracerebral hemorrhage evacuation is associated with a lower 1-year residual cavity volume and better functional outcomes.

Author: Ali, Muhammad, Ascanio, Luis C., Smith, Colton, Odland, Ian, Murtaza-Ali, Muhammad, Vasan, Vikram, Downes, Margaret, Schuldt, Braxton Riley, Lin, Anthony, Dullea, Jonathan, Schupper, Alexander J., Hardigan, Trevor, Asghar, Nek, Mocco, J., and Kellner, Christopher Paul
Subjects: MEDICAL protocols, PREOPERATIVE period, NEUROSURGERY, RECEIVER operating characteristic curves, COMPUTED tomography, SCIENTIFIC observation, MINIMALLY invasive procedures, FUNCTIONAL status, TREATMENT effectiveness, PREOPERATIVE care, DESCRIPTIVE statistics, DATA analysis software, CEREBRAL hemorrhage
Abstract: Background We explored the clinical significance of the residual hematoma cavity 1 year after minimally invasive intracerebral hemorrhage (ICH) evacuation. Methods Patients presenting with spontaneous supratentorial ICH were evaluated for minimally invasive surgical evacuation. Inclusion criteria included age ≥18 years, preoperative hematoma volume (Hv) ≥15 mL, presenting National Institutes of Health Stroke Scale score ≥6, and premorbid modified Rankin Scale (mRS) score ≤3. Patients with longitudinal CT scans at least 3 months after evacuation were included in the study. Remnant cavity volumes (Cv) after evacuation were computed using semi-automatic volumetric segmentation software. Relative cavity volume (rCv) was defined as the ratio of the preoperative Hv to the remnant Cv. Results 108 patients with a total of 484 head CT scans were included in the study. The median postoperative Cv was 2.4 (IQR 0.0-11) mL, or just 6% (0-33%) of the preoperative Hv. The median residual Cv on the final head CT scan a median of 13 months (range 11-27 months) after surgery had increased to 9.4 (IQR 3.1-18) mL, or 25% (10-60%) of the preoperative Hv. rCv on the final head CT scan was negatively associated with measures of operative success including evacuation percentage, postoperative Hv ≤ 15 mL, and decreased time from ictus to evacuation. rCv on the final head CT scan was also associated with a worse 6-month functional outcome (β per mRS point 17.6%, P<0.0001; area under the receiver operating characteristic curve 0.91). Conclusion After minimally invasive ICH evacuation the hematoma lesion decompresses significantly, with a residual Cv just 6% of the original lesion, but then gradually increases in size over time. Early and high percentage ICH evacuation may reduce the remnant Cv over time which, in turn, is associated with improved functional outcomes. [ABSTRACT FROM AUTHOR]
Published: 2024
Full Text: View/download PDF

44. Generation of Murine Cancer Cell Lines.

Author: Zhang, Cheryl, Lin, Anthony, Chen, Xiang, and Du, Yi‐Chieh Nancy
Published: 2024
Full Text: View/download PDF

45. Regular Model Checking Revisited

Author: Lin, Anthony W., Rümmer, Philipp, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Olderog, Ernst-Rüdiger, editor, and Yi, Wang, editor
Published: 2021
Full Text: View/download PDF

46. Learning Union of Integer Hypercubes with Queries : (with Applications to Monadic Decomposition)

Author: Markgraf, Oliver, Stan, Daniel, Lin, Anthony W., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Silva, Alexandra, editor, and Leino, K. Rustan M., editor
Published: 2021
Full Text: View/download PDF

47. Choosing to Diet: The Impact and Cost-effectiveness of China’s Vehicle Ownership Restrictions

Author: lin, Anthony, primary, Dua, Rubal, additional, Hu, Wei-Min, additional, and Ku, Arthur Lin, additional
Published: 2023
Full Text: View/download PDF

48. SAT-463 Association between air pollution and heat stress exposome and liver enzymes in NYC runners

Author: DeFelice, Nicholas, primary, Patel, Aman, additional, Lin, Anthony, additional, Baloch, Nayab, additional, and Moon, Andrew, additional
Published: 2024
Full Text: View/download PDF

49. Monadic Decomposition in Integer Linear Arithmetic

Author: Hague, Matthew, Lin, Anthony W., Rümmer, Philipp, Wu, Zhilin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Peltier, Nicolas, editor, and Sofronie-Stokkermans, Viorica, editor
Published: 2020
Full Text: View/download PDF

50. Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)

Author: Lin, Anthony W. and Ruemmer, Philipp
Subjects: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract: We consider the problem of verifying liveness for systems with a finite, but unbounded, number of processes, commonly known as parameterised systems. Typical examples of such systems include distributed protocols (e.g. for the dining philosopher problem). Unlike the case of verifying safety, proving liveness is still considered extremely challenging, especially in the presence of randomness in the system. In this paper we consider liveness under arbitrary (including unfair) schedulers, which is often considered a desirable property in the literature of self-stabilising systems. We introduce an automatic method of proving liveness for randomised parameterised systems under arbitrary schedulers. Viewing liveness as a two-player reachability game (between Scheduler and Process), our method is a CEGAR approach that synthesises a progress relation for Process that can be symbolically represented as a finite-state automaton. The method is incremental and exploits both Angluin-style L*-learning and SAT-solvers. Our experiments show that our algorithm is able to prove liveness automatically for well-known randomised distributed protocols, including Lehmann-Rabin Randomised Dining Philosopher Protocol and randomised self-stabilising protocols (such as the Israeli-Jalfon Protocol). To the best of our knowledge, this is the first fully-automatic method that can prove liveness for randomised protocols., Comment: Full version of CAV'16 paper
Published: 2016

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Region

Database

Publisher

958 results on '"LIN, ANTHONY"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources