Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(5)
Aniello Murano
12
Alessandro Bianco
9
Marco Faella
7
Moshe Vardi
2
Piero Andrea Bonatti
1
Conferences
(8)
LICS
1
LPAR(RCLP)
1
MFCS
1
CSL
1
DLT
1
Journals
(3)
TCS
1
CORR
1
Electronic Proceedings in Theoretical Computer Science
1
Keywords
(37)
Embed
Subscribe
Academic
Authors
Fabio Mogavero
Edit
Fabio Mogavero
Università degli Studi di Napoli Federico II
Publications: 13
|
Citations: 13
|
G-Index: 3
|
H-Index: 2
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Artificial Intelligence
,
Networks & Communications
View FAQ about top research area and research interests
Collaborated with
5 co-authors
from 2008 to 2010
; Cited by
24 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(13)
BibTeX
|
RIS
|
RefWorks
Download
Reasoning About Strategies
(
Citations: 1
)
Fabio Mogavero
,
Aniello Murano
,
Moshe Y. Vardi
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 133-144, 2010
Quantitative Fairness Games
(
Citations: 1
)
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Journal:
Computing Research Repository - CORR
, vol. abs/1006.5, 2010
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero
,
Aniello Murano
,
Moshe Y. Vardi
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming - LPAR(RCLP)
, pp. 371-386, 2010
Exploring the Boundary of Half Positionality
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Conference:
Computational Logic in Multi-Agent Systems - CLIMA
, pp. 171-185, 2010
Quantitative Fairness Games
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 28, pp. 48-63, 2010
Order by:
Citations
(13 times by 13 publications)
A Rule-Based Trust Negotiation System
(
Citations: 3
)
Piero A. Bonatti
,
Juri Luca De Coi
,
Daniel Olmedilla
,
Luigi Sauro
Journal:
IEEE Transactions on Knowledge and Data Engineering - TKDE
, vol. 22, no. 11, pp. 1507-1520, 2010
A Self-Policing Policy Language
(
Citations: 1
)
Sebastian Speiser
,
Rudi Studer
Conference:
International Semantic Web Conference - ISWC
, pp. 730-746, 2010
Quantitative Fairness Games
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 28, pp. 48-63, 2010
On the Count of Trees
Everardo Barcenas
,
Pierre Geneves
,
Nabil Layaida
,
Alan Schmitt
Published in 2010.
Graded Computation Tree Logic with Binary Coding
Alessandro Bianco
,
Fabio Mogavero
,
Aniello Murano
Conference:
Computer Science Logic - CSL
, pp. 125-139, 2010
Comments