Perspectives of System Informatics Perspectives of System Informatics
2019
Distributed Computing and Internet Technology Distributed Computing and Internet Technology
2016
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011