Ghassan Oreiby

According to our database1, Ghassan Oreiby authored at least 4 papers between 2006 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2006
2007
2008
2009
2010
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Using Model Checking for Analyzing Distributed Power Control Problems.
EURASIP J. Wirel. Commun. Netw., 2010

2008
On the Expressiveness and Complexity of ATL.
Log. Methods Comput. Sci., 2008

2007
Timed Concurrent Game Structures.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Model-Checking Timed.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006


  Loading...