Thierry Nicola

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

3 Thierry Nicola, Ulrich Ultes-Nitsche: Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48

2 Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS 2008: 49-58

2005

1 Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8

	2008
3		Thierry Nicola, Ulrich Ultes-Nitsche: Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48
2		Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS 2008: 49-58
	2005
1		Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche: Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8

Coauthor Index

1	Frank Nießner	[1] [2]
2	Ulrich Ultes-Nitsche (Ulrich Nitsche)	[1] [2] [3]