Person: Michael Johnson

DBLP: Johnson:Michael

Facilitated 1 volumes:

Ed

Contributed to:

2015

2014

2013

2012

2003

2001

2001

2001

2016

2017

2019

Wrote 15 papers:

BX-2015-JohnsonR #lens

Spans of Delta Lenses (MJ, RR), pp. 1–15.

BX-2015-JohnsonRa #monad

Distributing Commas, and the Monad of Anchored Spans (MJ, RR), pp. 31–42.

BX-2014-JohnsonR #lens

Spans of lenses (MJ, RDR), pp. 112–118.

BX-2013-JohnsonR #lens

Delta Lenses and Opfibrations (MJ, RDR), pp. 129–146.

BX-2012-GibbonsJ #algebra #lens

Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.

BX-2012-JohnsonR #lens

Lens put-put laws: monotonic and mixed (MJ, RDR), pp. 55–67.

ICSM-2003-JohnsonD #experience #information management #legacy #reverse engineering #using

Experience in developing interoperations among legacy information systems using partial reverse engineering (MJ, CNGD), pp. 369–372.

FME-2001-JohnsonR #modelling #specification

View Updatability Based on the Models of a Formal Specification (MJ, RDR), pp. 534–549.

ICEIS-v2-2001-JohnsonD #category theory #enterprise #information management #modelling #specification #using

Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory (MJ, CNGD), pp. 619–626.

ICSM-2001-JohnsonR #information management #internet #legacy #reverse engineering

Reverse Engineering Legacy Information Systems for Internet Based Interoperation (MJ, RDR), p. 32–?.

BX-2016-JohnsonR #lens

Unifying Set-Based, Delta-Based and Edit-Based Lenses (MJ, RDR), pp. 1–13.

BX-2017-JohnsonR #lens #symmetry

Universal Updates for Symmetric Lenses (MJ, RR), pp. 39–53.

BX-2019-FongJ #lens

Lenses and Learners (BF, MJ), pp. 16–29.

BX-2019-JohnsonRe #symmetry

Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive (MJ, FR), pp. 66–70.

BX-2019-JohnsonRo #lens #multi

Multicategories of Multiary Lenses (MJ, RDR), pp. 30–44.