Artur Mikitiuk

9 papers and 124 indexed citations i.

Artur Mikitiuk has authored 9 papers that have received a total of 124 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 2 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (3 papers), Logic, Reasoning, and Knowledge (2 papers) and Formal Methods in Verification (2 papers). Artur Mikitiuk is often cited by papers focused on Logic, programming, and type systems (3 papers), Logic, Reasoning, and Knowledge (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Poland and United States. Artur Mikitiuk's co-authors include Mirosław Truszczyński, Krzysztof Trojanowski, Leonard D. Brown, Sumit Ghosh and Stanisław Drozdowski and has published in prestigious journals such as Artificial Intelligence, Ad Hoc Networks and AI Communications