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.
- 2 Similar Profiles
Data structures
Engineering & Materials Science
Lenses
Engineering & Materials Science
Information systems
Engineering & Materials Science
Update
Mathematics
Algebra
Engineering & Materials Science
Data Model
Mathematics
Specifications
Engineering & Materials Science
Software engineering
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2007 2016
Optus Macquarie University Cyber Security Hub
Doche, C., Alazab, M., Hitchens, M., Johnson, M., Leung, P., McIver, A., Schreer, B., Selvadurai, R., Sheng, Q., Shevchenko, P., Tran, H., Trueck, S., Wiggins, M., Worner, J. & Yang, J.
2/12/16 → …
Project: Research
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 1981 2018
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 › Research › peer-review
Software engineering
Restoration
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 › Research › peer-review
Lenses
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 › Research › 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 › Research › peer-review
Open Access
File
Lenses
Equivalence classes
Synchronization
Universal updates for symmetric lenses
Johnson, M. & Rosebrugh, R., 2017, BX 2017: Bidirectional Transformations: Proceedings of the 6th International Workshop on Bidirectional Transformations. Eramo, R. & Johnson, M. (eds.). Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen, p. 39-53 15 p. (CEUR workshop proceedings; vol. 1827). (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › Research › peer-review
Open Access
File
Lenses
Equivalence classes