Christian Wirth

12 papers and 153 indexed citations i.

Christian Wirth has authored 12 papers that have received a total of 153 indexed citations. This includes 9 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Reinforcement Learning in Robotics (4 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Christian Wirth is often cited by papers focused on Reinforcement Learning in Robotics (4 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Germany, Austria and United Kingdom. Christian Wirth's co-authors include Johannes Fürnkranz, Herbert Prähofer, Hanspeter Mössenböck, Gerhard Neumann and Judith Eckle‐Kohler and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, Journal of Machine Learning Research and ACM SIGPLAN Notices.