Thierry Nicola

According to our database, Thierry Nicola authored at least 3 papers between 2005 and 2008.

Collaborative distances:

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

2008

Weakly Continuation Closed Homomorphisms on Automata.

Thierry Nicola, Ulrich Ultes-Nitsche

Proceedings of the Modelling, 2008

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche

Proceedings of the Modelling, 2008

2005

Model-checking Inherently Fair Linear-time Properties.

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche

Proceedings of the Modelling, 2005