Christine Baier

According to our database, Christine Baier authored at least 4 papers between 1994 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Consistent abstractions for the purpose of supervisory control.

Thomas Moor, Christine Baier, Thomas Wittmann

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

On the computation of supremal sublanguages relevant to supervisory control.

Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A hierarchical control architecture for sequential behaviours.

Christine Baier, Thomas Moor

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

1994

Transitionssystem- und Baum-Semantiken für CCS.

Christine Baier

PhD thesis, 1994