Robert Jakob

According to our database, Robert Jakob authored at least 5 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Preliminary Validation of a Rule-Based System for Mortality Coding Using ICD-11.

Mihai Horia Popescu, Can Celik, Vincenzo Della Mea, Robert Jakob

Proceedings of the Challenges of Trustable AI and Added-Value on Health, 2022

2021

ICD-11: an international classification of diseases for the twenty-first century.

James E. Harrison, Stefanie Weber, Robert Jakob, Christopher G. Chute

BMC Medical Informatics Decis. Mak., 2021

2020

Toward a Harmonized WHO Family of International Classifications Content Model.

Samson W. Tu, Csongor I. Nyulas, Tania Tudorache, Mark A. Musen, Andrea Martinuzzi, Coen H. van Gool, Vincenzo Della Mea, Christopher G. Chute, Lucilla Frattura, Nick Hardiker, Huib ten Napel, Richard Madden, Ann-Helene Almborg, Jeewani Anupama Ginige, Catherine Sykes, Can Celik, Robert Jakob

Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

2015

A Falsification View of Success Typing.

Robert Jakob, Peter Thiemann

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

Towards Tree Automata-based Success Types.

Robert Jakob, Peter Thiemann

CoRR, 2013