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:
2014
20092002
2016Wrote 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.