The following pages link to Corina Cîrstea (Q639644):
Displaying 36 items.
- (Q197922) (redirect page) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Lattice-theoretic progress measures and coalgebraic model checking (Q2828316) (← links)
- Institutionalising Many-Sorted Coalgebraic Modal Logic (Q2842552) (← links)
- (Q2843724) (← links)
- (Q2847807) (← links)
- (Q2863891) (← links)
- Modular Games for Coalgebraic Fixed Point Logics (Q2873663) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach (Q3090866) (← links)
- EXPTIME Tableaux for the Coalgebraic mu-Calculus (Q3224669) (← links)
- Coalgebraic Epistemic Update Without Change of Model (Q3612490) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- (Q3839054) (← links)
- (Q4256316) (← links)
- (Q4499311) (← links)
- Parity Automata for Quantitative Linear Time Logics (Q4580202) (← links)
- From Branching to Linear Time, Coalgebraically (Q4589615) (← links)
- (Q4738219) (← links)
- (Q4896250) (← links)
- (Q4941926) (← links)
- (Q4992895) (← links)
- (Q5020522) (← links)
- Canonical coalgebraic linear time logics (Q5275344) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311478) (← links)
- A Coalgebraic Approach to Linear-Time Logics (Q5410688) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Measure-theoretic semantics for quantitative parity automata (Q6610615) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
