Researcher · University of Wrocław · Poland
Witold Charatonik
Witold Charatonik publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #3,376,496 of 7,710,434 ranked researchers
- Rank in Poland
- #22,776 of 100,960
- Works
- 70
- Citations
- 708
- Citations per work
- 10.1
Discussion
Ask a question or share a note about Witold Charatonik. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.