Rafael H. Bordini - Google Scholar Citations

Cited by

	All	Since 2015
Citations	7269	2703
h-index	38	18
i10-index	110	54

600

300

150

450

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202026 13 15 27 69 111 139 249 218 367 406 464 471 493 437 454 502 547 499 490 581 453 131

Co-authors

Jomi Fred HübnerAssociate Professor of Federal University of Santa CatarinaVerified email at das.ufsc.br
Renata VieiraResearcher at Évora University, Professor of Computer Science, PUCRSVerified email at pucrs.br
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityVerified email at uu.nl
Alessandro RicciAssociate Professor - University of BolognaVerified email at unibo.it
Alison R. PanissonPhD in Computer ScienceVerified email at acad.pucrs.br
Michael FisherProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Amal El Fallah-SeghrouchniProfesseur d'informatiqueVerified email at lip6.fr
Jürgen DixProfessor, Chair for Artificial Intelligence, Vice-Dean of Faculty, TU ClausthalVerified email at tu-clausthal.de
olivier boissierEcole des Mines de Saint-EtienneVerified email at emse.fr
Alvaro MoreiraProfessor do Instituto de Informática, Universidade Federal do Rio Grande do SulVerified email at inf.ufrgs.br
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Artur FreitasPhD in Computer Science (PUCRS)Verified email at acad.pucrs.br
Fabio Y. OkuyamaInstituto Federal do Rio Grande do SulVerified email at poa.ifrs.edu.br
Rafael C. CardosoResearch Associate at University of LiverpoolVerified email at liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Lars BraubachUniversität HamburgVerified email at informatik.uni-hamburg.de
Alexander PokahrUniversität HamburgVerified email at informatik.uni-hamburg.de
Daniela SchmidtPhD in Computer ScienceVerified email at acad.pucrs.br
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it

Rafael H. Bordini

Escola Politécnica PUCRS

Verified email at pucrs.br - Homepage

Multi-Agent Systems Multiagent Systems Artificial Intelligence Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming multi-agent systems in AgentSpeak using Jason RH Bordini, JF Hübner, M Wooldridge John Wiley & Sons, 2007	1627	2007
Multi-Agent Programming RH Bordini, J Dix, AEF Seghrouchni Springer US, 2009	517	2009
A survey of programming languages and platforms for multi-agent systems RH Bordini, L Braubach, M Dastani, AEF Seghrouchni, JJ Gomez-Sanz, ... Informatica 30 (1), 2006	346	2006
Multi-agent oriented programming with JaCaMo O Boissier, RH Bordini, JF Hübner, A Ricci, A Santi Science of Computer Programming 78 (6), 747-761, 2013	339	2013
Jason and the Golden Fleece of agent-oriented programming RH Bordini, JF Hübner, R Vieira Multi-agent programming, 3-37, 2005	208	2005
BDI Agent Programming in AgentSpeak Using Jason RH Bordini, JF Hübner International Workshop on Computational Logic in Multi-Agent Systems, 143-164, 2005	204	2005
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	196	2003
Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12 (2), 239-256, 2006	181	2006
Using BDI agents to improve driver modelling in a commuter scenario RJF Rossetti, RH Bordini, ALC Bazzan, S Bampi, R Liu, D Van Vliet Transportation Research Part C: Emerging Technologies 10 (5-6), 373-398, 2002	130	2002
AgentSpeak (XL) efficient intention selection in BDI agents via decision-theoretic task scheduling RH Bordini, ALC Bazzan, R de O. Jannone, DM Basso, RM Vicari, ... Proceedings of the first international joint conference on Autonomous agents …, 2002	117	2002
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	111	2012
On the formal semantics of speech-act based communication in an agent-oriented programming language R Vieira, ÁF Moreira, M Wooldridge, RH Bordini Journal of Artificial Intelligence Research 29, 221-267, 2007	91	2007
Computational logics and agents: a road map of current technologies and future trends M Fisher, RH Bordini, B Hirsch, P Torroni Computational Intelligence 23 (1), 61-91, 2007	83	2007
Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak (L) RH Bordini, AF Moreira Annals of Mathematics and Artificial Intelligence 42 (1-3), 197-226, 2004	79	2004
A system of exchange values to support social interactions in artificial societies MR Rodrigues, AC da Rocha Costa, RH Bordini Proceedings of the second international joint conference on Autonomous …, 2003	76	2003
Current issues in multi-agent systems development RH Bordini, M Dastani, M Winikoff International Workshop on Engineering Societies in the Agents World, 38-61, 2006	75	2006
Model checking rational agents RH Bordini, M Fisher, M Wooldridge, W Visser IEEE Intelligent Systems 19 (5), 46-52, 2004	70	2004
Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication ÁF Moreira, R Vieira, RH Bordini International Workshop on Declarative Agent Languages and Technologies, 135-154, 2003	66	2003
Model checking multi-agent programs with CASP RH Bordini, M Fisher, C Pardavila, W Visser, M Wooldridge International Conference on Computer Aided Verification, 110-113, 2003	66	2003
Verifiable multi-agent programs RH Bordini, M Fisher, W Visser, M Wooldridge International Workshop on Programming Multi-Agent Systems, 72-89, 2003	61	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors