Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2011 | |
| Articolo in rivista | |
| On a Logic for Coalitional Games with Priced-Resource Agents ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 278. Pag.215-228 ISSN:1571-0661. | |
| Dario Della, Monica; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.entcs.2011.10.017 Codice identificativo SCOPUS: 2-s2.0-80155207446 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| Graded CTL model checking for test generation.. In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS) SCS/ACM Pag.59-66 ISBN:9781930638563 | |
| Conference of Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2011, TMS-DEVS 2011 Boston, MA 3 April 2011 Through 7 April 2011 | |
| Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000398858400007 Codice identificativo SCOPUS: 2-s2.0-84887037894 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| Coalitional Games with Priced-Resource Agents. In: CILC 2011, 26th Italian Conference on Computational Logic CEUR-WS.org Pag.341-347 | |
| CILC 2011, 26th Italian Conference on Computational Logic pescara (italy) 31 August 2011 Through 2 September 2011 | |
| DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-02846-5_32 Codice identificativo ISI: WOS:000268998400026 Codice identificativo SCOPUS: 2-s2.0-84883370333 | |
| Visualizza sul Database dei Prodotti (IRIS) |
