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 × Portugal
2 × France
Collaborated with:
C.Kupke D.Pattinson I.Hasuo Shunsuke Shimizu
Talks about:
coalgebra (4) logic (2) tableaux (1) structur (1) reconcil (1) reachabl (1) progress (1) calculus (1) approach (1) theoret (1)

Person: Corina Cîrstea

DBLP DBLP: C=icirc=rstea:Corina

Contributed to:

FoSSaCS 20142014
CSL 20092009
FoSSaCS 20022002
POPL 20162016

Wrote 4 papers:

FoSSaCS-2014-Cirstea #algebra #approach #linear #logic
A Coalgebraic Approach to Linear-Time Logics (CC), pp. 426–440.
CSL-2009-CirsteaKP #algebra #calculus #μ-calculus
EXPTIME Tableaux for the Coalgebraic μ-Calculus (CC, CK, DP), pp. 179–193.
FoSSaCS-2002-Cirstea #algebra #logic #on the #reachability #specification
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability (CC), pp. 82–97.
POPL-2016-HasuoSC #algebra #metric #model checking
Lattice-theoretic progress measures and coalgebraic model checking (IH, SS, CC), pp. 718–732.

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.