Projects per year
Fingerprint
- 1 Similar Profiles
-
Centre of Australian Category Theory (CoACT)
Lack, S., Verity, D., Street, R., Chikhladze, D., Cohen, J., Corbett, J., Davydov, A., Flax, L., Kennett, C., Paoli, S., Palm, T., Pastro, C., Weber, M., Valckenborgh, F., Batanin, M. & Johnson, M.
1/01/09 → …
Project: Research
-
Applicable categorical structures
Street, R., Johnson, M., Lack, S., Verity, D. & Lan, R.
1/01/10 → 30/06/14
Project: Research
-
Cohomology enhanced: an application of enriched and higher categories
Street, R., Johnson, M., Lack, S. & Verity, D.
1/01/07 → 31/12/10
Project: Research
Research Outputs
-
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 AccessFile2 Citations (Scopus)12 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
5 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
6 Citations (Scopus) -
Bidirectional transformations: proceedings of the 6th International Workshop on Bidirectional Transformations
Johnson, M. (ed.) & Eramo, R. (ed.), 2017, CEUR Workshop Proceedings. 90 p.Research output: Book/Report › Edited Book/Anthology › peer-review
Open Access -
Symmetric delta lenses and spans of asymmetric delta lenses
Johnson, M. & Rosebrugh, R., 2017, In: Journal of Object Technology. 16, 1, p. 1-32 32 p., 2.Research output: Contribution to journal › Article › peer-review
Open AccessFile12 Citations (Scopus)32 Downloads (Pure)