Anna Lukina
2016–2026 年に発表
- 所属
- Delft University of TechnologyTU WienCybernet Systems Corporation (Canada)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-9525-0333
- 31
- 論文数
- 461
- 被引用数
- 12
- h 指数
- 12
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分（被引用 1 件）は表示していません（最初の論文より前の日付）
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science70.3%
- Engineering14.1%
- Environmental Science5.2%
- Decision Sciences2.4%
- Biochemistry, Genetics and Molecular Biology2.1%
- Medicine1.7%
- その他4.1%
トピック
- Formal Methods in Verification19.2%
- Adversarial Robustness in Machine Learning12.2%
- Software Reliability and Analysis Research9.8%
- Software Testing and Debugging Techniques8%
- Explainable Artificial Intelligence (XAI)6.6%
- Machine Learning and Data Classification6.6%
- その他37.7%
よく組む共著者
- Radu Grosu10
- Scott A. Smolka8
- Ashish Tiwari 00016
- Christian Schilling 00016
- Emir Demirovic4
- Junxing Yang4
- Thomas A. Henzinger4
- Guy Avni3
- Lukas Esterle3
- Robert Dales3
- Sabit Cakmak3
- Axel Legay2
- Christopher Leckie2
- Christopher P. van Buskirk2
- Emmanuel Hebrard2
- Ezio Bartocci2
- Florent Delgrange2
- Guillermo A. Pérez2
- James Bailey 00012
- Janos Sztipanovits2
- Jeffrey Chan2
- Jnaneshwar Das2
- Kotagiri Ramamohanarao2
- Matt Schmittle2
全論文
論文を読み込んでいます…