Rafael H. Bordini

	2009
61		Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
60		Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: Normative Programming for Organisation Management Infrastructures. MALLOW 2009
	2008
59		Alessandro Ricci, Michele Piunti, Daghan L. Acay, Rafael H. Bordini, Jomi Fred Hübner, Mehdi Dastani: Integrating heterogeneous agent programming platforms within artifact-based environments. AAMAS (1) 2008: 225-232
58		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
57		Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini: Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382
56		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: A distributed normative infrastructure for situated multi-agent organisations. AAMAS (3) 2008: 1501-1504
55		Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
54		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: A Distributed Normative Infrastructure for Situated Multi-agent Organisations. DALT 2008: 29-46
53		Thomas Klapiscak, Rafael H. Bordini: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110
52		Jomi Fred Hübner, Rafael H. Bordini, Gauthier Picard: Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys. ProMAS 2008: 238-242
	2007
51		Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer: Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
50		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers Springer 2007
49		Patricia H. Shaw, Rafael H. Bordini: Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121
48		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007
47		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
46		Jomi Fred Hübner, Rafael H. Bordini: Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245
45		Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007)
	2006
44		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers Springer 2006
43		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
42		Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293
41		Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza: Using Jason to Implement a Team of Gold Miners. CLIMA VII 2006: 304-313
40		Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140
39		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
38		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220
37		Rafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61
36		Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini: 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
35		Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini: 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. Foundations and Practice of Programming Multi-Agent Systems 2006
34		Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner: An Agent-Oriented Programming Language for Computing in Context. IFIP PPAI 2006: 61-70
33		Rafael 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)
32		Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah-Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory M. P. O'Hare, Alexander Pokahr, Alessandro Ricci: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Slovenia) 30(1): 33-44 (2006)
	2005
31		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Multi-Agent Programming: Languages, Platforms and Applications Springer 2005
30		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers Springer 2005
29		Rafael H. Bordini, Jomi Fred Hübner: BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). CLIMA VI 2005: 143-164
28		Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner: Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170
27		Rafael H. Bordini, Jomi Fred Hübner, Renata Vieira: Jason and the Golden Fleece of Agent-Oriented Programming. Multi-Agent Programming 2005: 3-37
	2004
26		Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705
25		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
24		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: ELMS: An Environment Description Language for Multi-agent Simulation. E4MAS 2004: 91-108
23		Rafael H. Bordini, Álvaro F. Moreira: Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004)
22		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
	2003
21		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
20		Maíra Ribeiro Rodrigues, Antônio Carlos da Rocha Costa, Rafael H. Bordini: A system of exchange values to support social interactions in artificial societies. AAMAS 2003: 81-88
19		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
18		Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. DALT 2003: 135-154
17		Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini: Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. IVA 2003: 197-201
16		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
15		Rafael H. Bordini, Renata Vieira: Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L). RITA 10(1): 7-38 (2003)
	2002
14		Rafael H. Bordini, Ana L. C. Bazzan, Rafael de Oliveira Jannone, Daniel M. Basso, Rosa Maria Vicari, Victor R. Lesser: AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. AAMAS 2002: 1294-1302
13		Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA III 2002: 94-108
12		Rafael H. Bordini, Renata Vieira, John A. Campbell: An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies. Foundations and Applications of Multi-Agent Systems 2002: 89-109
11		Rafael H. Bordini, Fabio Y. Okuyama, Denise de Oliveira, Guilherme Drehmer, Romulo C. Krafta: The MAS-SOC Approach to Multi-agent Based Simulation. RASTA 2002: 70-91
10		Ana L. C. Bazzan, Diana F. Adamatti, Rafael H. Bordini: Extending the Computational Study of Social Norms with a Systematic Model of Emotions. SBIA 2002: 108-117
9		Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
	2001
8		Rodrigo Machado, Rafael H. Bordini: Running AgentSpeak(L) Agents on SIM_AGENT. ATAL 2001: 158-174
7		Ana L. C. Bazzan, Rafael H. Bordini: A framework for the simulation of agents with emotions. Agents 2001: 292-299
	2000
6		Ana L. C. Bazzan, Rafael H. Bordini, Rosa Maria Vicari, Joachim Wahle: Evolving Populations of Agents with Personalities in the Minority Game. IBERAMIA-SBIA 2000: 166-175
5		Ana L. C. Bazzan, Rafael H. Bordini, G. Andrioti, Rosa Maria Vicari, Joachim Wahle: Wayward Agents in a Commuting Scenario (Personalities in the Minority Game). ICMAS 2000: 55-62
	1998
4		Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell: Moral Sentiments in Multi-Agent Systems. ATAL 1998: 113-131
3		Rafael H. Bordini, John A. Campbell, Renata Vieira: Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems. J. Artificial Societies and Social Simulation 1(4): (1998)
	1997
2		Rafael H. Bordini, John A. Campbell, Renata Vieira: Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems. CIA 1997: 235-247
	1995
1		Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Rosa Maria Viccari: Linguistic Support for Agent Migration. ICMAS 1995: 441

Coauthor Index

1	Daghan L. Acay	[59]
2	Diana F. Adamatti	[10]
3	Natasha Alechina	[39] [43]
4	Davide Ancona	[26]
5	G. Andrioti	[5]
6	Daniel M. Basso	[14]
7	Ana L. C. Bazzan	[4] [5] [6] [7] [10] [14]
8	Olivier Boissier	[60]
9	Lars Braubach	[32]
10	John A. Campbell	[2] [3] [4] [12]
11	Antônio Carlos da Rocha Costa	[1] [20] [24] [38] [48] [54] [56]
12	Mehdi Dastani	[30] [31] [32] [35] [36] [37] [44] [50] [51] [59]
13	Louise A. Dennis	[47] [55] [58]
14	Jürgen Dix	[30] [31] [44] [50]
15	Guilherme Drehmer	[11]
16	Amal El Fallah-Seghrouchni	[30] [31] [32] [44] [50]
17	Berndt Farwer	[47] [55] [57] [58]
18	Michael Fisher	[16] [19] [21] [22] [25] [33] [47] [55] [58] [61]
19	Jorge J. Gómez-Sanz	[32]
20	Jomi Fred Hübner	[1] [26] [27] [28] [29] [34] [39] [40] [41] [42] [43] [46] [52] [59] [60]
21	Mark Jago	[39] [43]
22	Rafael de Oliveira Jannone	[14]
23	Thomas Klapiscak	[53]
24	Romulo C. Krafta	[11]
25	João Leite (João Alexandre Leite)	[32]
26	Victor R. Lesser	[14]
27	Brian Logan	[39] [43]
28	Rodrigo Machado	[8]
29	Viviana Mascardi	[26]
30	John-Jules Ch. Meyer	[35] [36] [51]
31	Álvaro F. Moreira	[9] [13] [18] [23] [28] [34] [45]
32	Luciana Porcher Nedel	[17]
33	Gregory M. P. O'Hare	[32]
34	Fabio Y. Okuyama	[11] [24] [38] [48] [54] [56]
35	Denise de Oliveira	[11]
36	Carmen Pardavila	[19] [21]
37	Gauthier Picard	[52]
38	Michele Piunti	[59]
39	Alexander Pokahr	[32]
40	Alessandro Ricci	[32] [59]
41	Maíra Ribeiro Rodrigues	[20]
42	Patricia H. Shaw	[49] [57]
43	Maarten Sierhuis	[61]
44	Jorge A. Torres	[17]
45	Daniel M. Tralamazza	[41]
46	Rosa Maria Vicari (Rosa Vicari, Rosa Maria Viccari)	[1] [5] [6] [14]
47	Renata Vieira	[2] [3] [12] [15] [18] [27] [28] [34] [45]
48	Willem Visser	[16] [19] [22] [25] [33]
49	Joachim Wahle	[5] [6]
50	Michael Winikoff	[37]
51	Michael Wooldridge (Michael J. Wooldridge)	[16] [19] [21] [22] [25] [33] [40] [42] [45] [47]

Colors in the list of coauthors