Fingerprint Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Multiple conclusion linear logic: cut elimination and more

    Eades, H. & De Paiva, V., Jan 23 2020, In : Journal of Logic and Computation. 30, 1, p. 157-174 18 p.

    Research output: Contribution to journalArticle

  • Reachable set estimation and decentralized control synthesis for a class of large-scale switched systems

    Wang, T., Wang, X. & Xiang, W., Aug 2020, In : ISA Transactions. 103, p. 75-85 11 p.

    Research output: Contribution to journalArticle