Arthur da Silva Zelindro Cardoso
Arthur da Silva Zelindro Cardoso
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Arthur da Silva Zelindro Cardoso has a total of 4 co-authors. Here are the top co-authors by number of shared publications:
- Diana Francisca Adamatti
FURG
2 shared publications - Eder Mateus Nunes Gonçalves
Federal University of Rio Grande – FURG
2 shared publications - Giovani Farias
FURG
2 shared publications - Ricardo Arend Machado
Faculty of Medicine, Federal University of Rio Grande, Rio Grande 96200-190, Brazil
2 shared publications
Latest Publications
- 12 February 2025
- Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
- Vol. 39 (1) , 1-30
A formal testing method for multi-agent systems using colored Petri nets
- 12 February 2025
- Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
- Vol. 39 (1) , 1-30
A formal testing method for multi-agent systems using colored Petri nets
- 31 July 2024
- Published by Springer Nature
- p. 24-37
MAMTCPN: $\mathcal {M}$oise$^+$ Automated Mapping to Colored Petri Net- 31 July 2024
- Published by Springer Nature
- p. 24-37
MAMTCPN: $\mathcal {M}$oise$^+$ Automated Mapping to Colored Petri Net