Aistis Simaitis
About
Aistis Simaitis has authored 5 papers that have received a total of 58 indexed citations.
This includes 2 papers in Sociology and Political Science, 2 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (1 paper) and Distributed Multi-Agent Coordination and Control (1 paper). Aistis Simaitis is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (1 paper) and Distributed Multi-Agent Coordination and Control (1 paper) and collaborates with scholars based in United Kingdom, Czechia and United Arab Emirates. Aistis Simaitis's co-authors include Taolue Chen, David Parker, Vojtěch Forejt, Marta Kwiatkowska and Fabrice Saffre and has published in prestigious journals such as Journal of Economic Dynamics and Control, Formal Methods in System Design and ACM Transactions on Autonomous and Adaptive Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Harriet Bartlett Top journals papers by F. Vazeille are published in Top journals papers by Claudine Laurent-Levinson are published in Top journals papers by Matt Stephens are published in Top countries impacted by papers by Ivan Van Sertima Top journals papers by P. Louarn are published in Top journals papers by Madeline Potter are published in Top countries impacted by papers by R. F. Rodrigues