View all research projects
Research project

Modular approach to model based verification

Staff

Lead researchers

Dr Corina Cirstea

Associate Professor
Connect with Corina

Email: [email protected]

Research outputs

Maximal traces and path-based coalgebraic temporal logics
Corina Cirstea, 2011, Theoretical Computer Science, 412(38), 5025-5042
DOI: 10.1016/j.tcs.2011.04.025
Type: article
Modular Games for Coalgebraic Fixed Point Logics
Corina Cirstea, Mehrnoosh Sadrzadeh, Jiri Adámek & Clemens Kupke, 2008
Type: conference
Aximo: automated axiomatic reasoning for information update
2007
Type: conference
Coalgebraic Epistemic Update without Change of Model
Corina Cirstea, Mehrnoosh Sadrzadeh & T. Mossakowski, 2007
Type: conference
Modularity in Coalgebra
Corina Cirstea, J. Adámek & S. Milius, 2006
Type: conference