Ghassan Oreiby

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby
Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wirel. Commun. Netw. 2010 (2010)
François Laroussinie, Nicolas Markey, Ghassan Oreiby
On the Expressiveness and Complexity of ATL CoRR (2008)
François Laroussinie, Nicolas Markey, Ghassan Oreiby
On the Expressiveness and Complexity of ATL. Log. Methods Comput. Sci. 4 (2) (2008)
Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby
Timed Concurrent Game Structures. CONCUR (2007)
François Laroussinie, Nicolas Markey, Ghassan Oreiby
On the Expressiveness and Complexity of ATL. FoSSaCS (2007)
François Laroussinie, Nicolas Markey, Ghassan Oreiby
Model-Checking Timed. FORMATS (2006)