Anders Mariegaard
2015–2023 年に発表
- 12
- 論文数
- 51
- 被引用数
- 5
- h 指数
- 1
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science78.1%
- Decision Sciences9.4%
- Biochemistry, Genetics and Molecular Biology6.3%
- Engineering6.3%
トピック
- Formal Methods in Verification29.6%
- Logic, programming, and type systems8.5%
- Model-Driven Software Engineering Techniques8.5%
- Software-Defined Networks and 5G7%
- Software Testing and Debugging Techniques7%
- Embedded Systems Design Techniques7%
- その他32.4%
よく組む共著者
- Kim Guldstrand Larsen6
- Jirí Srba4
- Kim G. Larsen4
- Søren Enevoldsen3
- Mathias Claus Jensen2
- Stefan Schmid 00012
- Arne Skou1
- Benoît Delahaye1
- Giovanni Bacci 00011
- Julian Trier Ringsmose1
- Louise Foshammer1
- Mads Kronborg Agesen1
- Marco Muñiz1
- Mikkel Hansen1
- Peter Christoffersen1
- Petur Olsen1
- Radu Mardare1
- Thibaut Le Guilly1
- Thomas Dyhre Nielsen1
全論文
論文を読み込んでいます…
