`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: C=icirc=rstea:Corina

### Contributed to:

### 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.