Mate Soos
Active 2009–2025
- Affiliations
- Institut national de recherche en sciences et technologies du numériqueSorbonne UniversitéThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-7355-881X
- 28
- Papers
- 928
- Citations
- 10
- h-index
- 13
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science93.1%
- Engineering2.7%
- Mathematics1.2%
- Biochemistry, Genetics and Molecular Biology1%
- Environmental Science0.5%
- Agricultural and Biological Sciences0.3%
- Other1.2%
Topics
- Formal Methods in Verification20%
- Cryptographic Implementations and Security13.9%
- Logic, programming, and type systems8.9%
- Coding theory and cryptography8%
- Bayesian Modeling and Causal Inference6.4%
- Software Testing and Debugging Techniques6.3%
- Other36.5%
Frequent coauthors
- Kuldeep S. Meel18
- Sourav Chakraborty 00015
- Jiong Yang 00023
- Priyanka Golia3
- Divesh Aggarwal2
- Maciej Obremski2
- Magnus O. Myreen2
- Stephan Gocht2
- Teodora Baluta2
- Yong Kiam Tan2
- 88 Mahe1
- A Arusoaie1
- A Baker1
- A Charguraud1
- A Gordon1
- A Gramfort1
- A Janusz1
- A Maroneze1
- A Mayer1
- A Michael1
- A Passos1
- A Richardson1
- A Ruiz-Corts1
- A Sanjit1
All papers
Loading papers…
