C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Oldooz Dianat
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Epistemic Logic
Cloud Computing
Mathematical Theory
Model Checking
Top Venues
ANT/SEIT
ALTA
CollaborateCom
</>
Publications
</>
Oldooz Dianat
,
Mehmet A. Orgun
Representing and Reasoning about Utilization of Cloud Computing as Bayesian Games with Epistemic Logic.
ANT/SEIT
(2013)
Oldooz Dianat
,
Cécile Paris
,
Stephen Wan
A Study: From Electronic Laboratory Notebooks to Generated Queries for Literature Recommendation.
ALTA
(2013)
Oldooz Dianat
,
Mehmet A. Orgun
Modelling Bayesian attacker detection game in wireless networks with epistemic logic.
CollaborateCom
(2012)