Rafael H. Bordini

Publications

2.5K

Citations

H-Index

2001

Active since

Affiliations

Pontifícia Universidade Católica do Rio Grande do Sul(Current)

University of Liverpool

Durham University

Universidade Federal do Rio Grande do Sul

University of Genoa

Rafael H. Bordini is an author at Pontifícia Universidade Católica do Rio Grande do Sul specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceIntelligent SystemsAutomated ReasoningFormal MethodsSystems EngineeringArtificial IntelligenceFormal VerificationMulti-agent SystemsVerification

Publications per year

2001–2023

Publications

Multi-agent oriented programming with JaCaMo

Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner et al. · Science of Computer Programming · 2011 · 416 citations

Agent Development Tool, Engineering, Automated Reasoning +9

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matt Webster et al. · Automated Software Engineering · 2011 · 190 citations

Engineering, Formal Modeling, Program Analysis +10

Verifying Multi-agent Programs by Model Checking

Rafael H. Bordini, Michael Fisher, Willem Visser et al. · Autonomous Agents and Multi-Agent Systems · 2006 · 163 citations · Full text

Program Checking, Engineering, Program Analysis +8

Model checking agentspeak

Rafael H. Bordini, Michael Fisher, Carmen Pardavila et al. · 2003 · 161 citations

Engineering, Verification, Computer-aided Verification +16

Using BDI agents to improve driver modelling in a commuter scenario

Rosaldo J. F. Rossetti, Rafael H. Bordini, Ana L. C. Bazzan et al. · Transportation Research Part C Emerging Technologies · 2002 · 94 citations

Transportation Planning, Bdi Agents, Engineering +13

Rows per page

1–5 of 58