BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Japan
1 × Latvia
Collaborated with:
D.Gorín L.Schröder A.Facchini Y.Venema F.Zanasi
Talks about:
logic (2) weak (2) coalgebra (1) bisimilar (1) fragment (1) automata (1) express (1) bisimul (1) announc (1) modulo (1)

Person: Facundo Carreiro

DBLP DBLP: Carreiro:Facundo

Contributed to:

LICS 20152015
CSL-LICS 20142014
ICALP (2) 20132013

Wrote 3 papers:

LICS-2015-Carreiro #bisimulation #invariant #logic
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.
LICS-CSL-2014-CarreiroFVZ #automaton #similarity
Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.
ICALP-v2-2013-CarreiroGS #algebra #logic
Coalgebraic Announcement Logics (FC, DG, LS), pp. 101–112.

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.