Mark Wetzlinger
Active 2020–2025
- 14
- Papers
- 85
- Citations
- 6
- h-index
- 4
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (2 citations) is not shown (dated before this author's first paper)
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 Science63.2%
- Engineering21.1%
- Physics and Astronomy10.5%
- Decision Sciences2.6%
- Medicine2.6%
Topics
- Formal Methods in Verification27%
- Advanced Control Systems Optimization8.1%
- Model Reduction and Neural Networks8.1%
- Robotic Path Planning Algorithms6.8%
- Software Testing and Debugging Techniques5.4%
- Control Systems and Identification5.4%
- Other39.2%
Frequent coauthors
- Matthias Althoff13
- Christian Schilling 00017
- Marcelo Forets7
- Niklas Kochdumper4
- Julien Alexandre Dit Sandretto3
- Luca Geretti3
- Luis Benet3
- Pieter Collins3
- Sayan Mitra 00013
- Stanley Bak3
- Yangge Li3
- Adrian Kulmburg2
- Daniel Freire2
- Daniel Zhuang2
- Edward Kim2
- Goran Frehse2
- Parasara Sridhar Duggirala2
- Stefan Mitsch2
- Stefan Schupp2
- Alexandre Chapoutot1
- David P. Sanders1
- Elena Ivanova1
- Erika Ábrahám1
- Rajarshi Ray 00011
All papers
Loading papers…
