Bartek Klin
2001–2026 年に発表
- 所属
- University of CambridgeUniversity of WarsawUniversity of EdinburghAarhus UniversityUniversity of SussexUniversity of Warmia and Mazury in OlsztynNational Research Foundationこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-5793-7425
- 63
- 論文数
- 972
- 被引用数
- 18
- h 指数
- 29
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 2 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science93.4%
- Mathematics3.4%
- Engineering1.1%
- Biochemistry, Genetics and Molecular Biology0.4%
- Physics and Astronomy0.4%
- Arts and Humanities0.2%
- その他1.3%
トピック
- Logic, programming, and type systems27%
- Formal Methods in Verification22.1%
- Logic, Reasoning, and Knowledge17.8%
- semigroups and automata theory8.9%
- Advanced Algebra and Logic5%
- Machine Learning and Algorithms3%
- その他16.2%
よく組む共著者
- Mikolaj Bojanczyk12
- Slawomir Lasota 00019
- Szymon Torunczyk6
- Till Mossakowski5
- Andrzej Tarlecki4
- Joanna Ochremiak4
- Lutz Schröder4
- Piotr Hoffman4
- Beata Nachyla3
- Pawel Sobocinski 00013
- Vladimiro Sassone3
- Clovis Eberhart2
- Joshua Moerman2
- Julian Salamanca2
- Mateusz Lelyk2
- Matthew Hennessy2
- Michal Szynwelski2
- Nathanaël Fijalkow2
- Prakash Panangaden2
- Achim Blumensath1
- Aidan Healy1
- Alexander Kurz 00011
- Alexandra Silva 00011
- Anca Muscholl1
全論文
論文を読み込んでいます…
