Marek A. Bednarczyk

6 papers and 86 indexed citations i.

Marek A. Bednarczyk has authored 6 papers that have received a total of 86 indexed citations. This includes 4 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Advanced Algebra and Logic (1 paper) and Formal Methods in Verification (1 paper). Marek A. Bednarczyk is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Advanced Algebra and Logic (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in Poland, France and Germany. Marek A. Bednarczyk's co-authors include Andrzej M. Borzyszkowski, Philippe Darondeau, Éric Badouel, Wojciech Jamroga and Wiesław Pawłowski and has published in prestigious journals such as Discrete Event Dynamic Systems, Polish Journal of Environmental Studies and Fundamenta Informaticae.