BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Germany
1 × Greece
1 × Portugal
1 × USA
2 × Italy
2 × The Netherlands
Collaborated with:
R.D.Rosebrugh R.Rosebrugh C.N.G.Dampney J.Gibbons B.Fong F.Renaud
Talks about:
lens (10) base (5) symmetr (3) system (3) inform (3) delta (3) span (3) interoper (2) revers (2) legaci (2)

Person: Michael Johnson

DBLP DBLP: Johnson:Michael

Facilitated 1 volumes:

BX 2017Ed

Contributed to:

BX 20152015
EDBT/ICDT Workshops 20142014
BX 20132013
BX 20122012
ICSM 20032003
FME 20012001
ICEIS v2 20012001
ICSM 20012001
BX 20162016
BX 20172017
BX 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.