dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rafael H. Bordini (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89

Selection of 6 from 84 records - Rafael H. Bordini has 63 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page