Open menu
View all research projects
Research project

Modular approach to model based verification

Staff

Lead researcher

Doctor Corina Cirstea

Associate Professor

Connect with Corina

Research outputs

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
Simon Richards,
Mehrnoosh Sadrzadeh,
Carlos Areces,
& Stephane Demri
, 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
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Mehrnoosh Sadrzadeh,
Corina Cirstea,
Wiebe van der Hoek,
Michael Wooldridge,
& Giacomo Bonanno
, 2006
Type: conference
Back to top