Projects per year
Fingerprint
Dive into the research topics where Michael Johnson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Centre of Australian Category Theory (CoACT)
Lack, S. (Primary Chief Investigator), Verity, D. (Chief Investigator), Street, R. (Chief Investigator), Chikhladze, D. (Chief Investigator), Cohen, J. (Chief Investigator), Corbett, J. (Chief Investigator), Davydov, A. (Chief Investigator), Flax, L. (Chief Investigator), Kennett, C. (Chief Investigator), Paoli, S. (Chief Investigator), Palm, T. (Chief Investigator), Pastro, C. (Chief Investigator), Weber, M. (Chief Investigator), Valckenborgh, F. (Chief Investigator), Batanin, M. (Chief Investigator) & Johnson, M. (Chief Investigator)
1/01/09 → …
Project: Research
-
Applicable categorical structures
Street, R. (Primary Chief Investigator), Johnson, M. (Chief Investigator), Lack, S. (Chief Investigator), Verity, D. (Chief Investigator) & Lan, R. (Other)
1/01/10 → 30/06/14
Project: Research
-
Cohomology enhanced: an application of enriched and higher categories
Street, R. (Primary Chief Investigator), Johnson, M. (Chief Investigator), Lack, S. (Chief Investigator) & Verity, D. (Chief Investigator)
1/01/07 → 31/12/10
Project: Research
-
Limits and colimits in a category of lenses
Chollet, E., Clarke, B., Johnson, M., Songa, M., Wang, V. & Zardini, G., 3 Nov 2022, Proceedings of the Fourth International Conference on Applied Category Theory. Kishida, K. (ed.). Cambridge, UK: Open Publishing Association, p. 164-177 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 372).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)39 Downloads (Pure) -
The more legs the merrier: a new composition for symmetric (multi-)lenses
Johnson, M. & Rosebrugh, R., 8 Feb 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 333, p. 92-107 16 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)45 Downloads (Pure) -
Multicategories of multiary lenses
Johnson, M. & Rosebrugh, R., 2019, Proceedings of the 8th International Workshop on Bidirectional Transformations. Cheney, J. & Ko, H.-S. (eds.). CEUR Workshop Proceedings, p. 30-44 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)47 Downloads (Pure) -
Confidentiality in the process of (model-driven) software development
Johnson, M. & Stevens, P., 9 Apr 2018, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming: Programming 2018. New York, NY: Association for Computing Machinery, Vol. Part F137691. p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
7 Link opens in a new tab Citations (Scopus) -
Cospans and symmetric lenses
Johnson, M. & Rosebrugh, R., 9 Apr 2018, Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). New York, NY: Association for Computing Machinery, p. 21-29 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
8 Link opens in a new tab Citations (Scopus)