|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitatively fair scheduling.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Reachability games for linear hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Towards Efficient Exact Synthesis for Linear Hybrid Systems |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Defeasible Inclusions in Low-Complexity DLs. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the boundary of half-positionality. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
On the Complexity of EL with Defeasible Inclusions. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Revisiting synthesis of switching controllers for Linear Hybrid systems. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Adding Default Attributes to EL++. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
Towards a Mechanism for Incentivating Privacy. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Margherita Napoli, Mimmo Parente |
Graded Alternating-Time Temporal Logic. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitative Fairness Games |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the Boundary of Half Positionality. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Margherita Napoli, Mimmo Parente |
Graded Alternating-Time Temporal Logic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
EL\mathcal{EL} with Default Attributes and Overriding. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching System Metrics. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Axel Legay, Marco Faella |
Some Models and Tools for Open Systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Balanced Paths in Colored Graphs. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella |
Admissible Strategies in Infinite Games over Graphs. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Axel Legay, Mariëlle Stoelinga |
Model Checking Quantitative Linear Time Logic. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella |
Best-Effort Strategies for Losing States |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman |
Assigning trust to Wikipedia content. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Marco Faella |
On Interoperable Trust Negotiation Strategies. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella |
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Luca de Alfaro, Marco Faella |
An Introduction to the Tool Ticc. |
Trustworthy Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |
Ticc: A Tool for Interface Compatibility and Composition. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Compositional Quantitative Reasoning. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model checking discounted temporal properties. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
| 1 | B. Thomas Adler, Luca de Alfaro, Marco Faella |
Average Reward Timed Games. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea |
Sociable Interfaces. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model Checking Discounted Temporal Properties. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching Metrics for Quantitative Transition Systems. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
The Element of Surprise in Timed Games. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella |
Information Flow in Concurrent Games. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Salvatore La Torre, Aniello Murano |
Dense Real-Time Games. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Salvatore La Torre, Aniello Murano |
Automata-Theoretic Decision of Timed Games. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")