#### Filter Results:

- Full text PDF available (29)

#### Publication Year

1997

2017

- This year (2)
- Last 5 years (7)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Corina Cîrstea, Alexia Ptito, M. F. Levin
- Stroke
- 2006

BACKGROUND AND PURPOSE
A debated subject in stroke rehabilitation relates to the best type of training approach for motor recovery. First, we analyzed the effects of repetitive movement practice in 2… (More)

- Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
- BCS Int. Acad. Conf.
- 2008

Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.… (More)

- Corina Cîrstea, Clemens Kupke, Dirk Pattinson
- CSL
- 2009

The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal… (More)

- Corina Cîrstea
- FoSSaCS
- 2014

We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such… (More)

- Corina Cîrstea, Dirk Pattinson
- Theor. Comput. Sci.
- 2007

We present a modular approach to defining logics for a wide variety of state-based systems. The systems are modelled as coalgebras, and we use modal logics to specify their observable properties. We… (More)

- Corina Cîrstea
- Inf. Comput.
- 2006

We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notions of simulation for… (More)

- Corina Cîrstea, Dirk Pattinson
- CONCUR
- 2004

We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of… (More)

- Corina Cîrstea
- Theor. Comput. Sci.
- 2002

A coalgebraic, equational approach to the speci(cation of observational structures allowing for a choice in the result type of observations is presented. Observers whose result type is structured as… (More)

- Corina Cîrstea
- Theor. Comput. Sci.
- 2011

This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the… (More)

- Corina Cîrstea
- Theor. Comput. Sci.
- 2001

Hidden algebra is a behavioural algebraic speci cation formalism for objects. It captures their constructional aspect (concerned with the initialisation and evolution of their states), their… (More)