Travelled to:1 × Austria
1 × Croatia
1 × Cyprus
1 × Estonia
1 × Germany
1 × Norway
1 × Russia
1 × USA
Collaborated with:S.Milius J.Adámek L.Sousa Y.Gurevich J.Endrullis D.Schwencke M.W.Mislove F.J.Oles D.Sprunger W.Tune A.Lomuscio E.Ovchinnikova R.Rosati C.Grabmayer D.Hendriks J.W.Klop
Talks about:sequenc (2) semant (2) point (2) well (2) set (2) transduct (1) eigenvalu (1) coalgebra (1) structur (1) morphic (1)
Person: Lawrence S. Moss
DBLP: Moss:Lawrence_S=
Contributed to:
2014
2014
2012
2012
2011201019891989Wrote 8 papers:
- DLT-2014-SprungerTEM #sequence
- Eigenvalues and Transduction of Morphic Sequences (DS, WT, JE, LSM), pp. 239–251.
- KR-2014-LomuscioMOR
- Tutorials (AL, LSM, EO, RR).
- FoSSaCS-2012-AdamekMMS #algebra
- Well-Pointed Coalgebras (JA, SM, LSM, LS), pp. 89–103.
- LICS-2012-GrabmayerEHKM #automation #sequence
- Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
- CSL-2011-AdamekMMS
- Power-Set Functors and Saturated Trees (JA, SM, LSM, LS), pp. 5–19.
- FoSSaCS-2010-MiliusMS #recursion #semantics
- CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
- CSL-1989-GurevichM #algebra #semantics
- Algebraic Operational Semantics and Occam (YG, LSM), pp. 176–192.
- LICS-1989-MisloveMO #fixpoint #set
- Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.