Alexandre Mota

Universidade Federal de Pernambuco

论文数

3

总引用数

25

H-Index

3

关于

暂无简介。

研究焦点

Probabilistic logic3 · 25 次引用
Computer science3 · 25 次引用
Artificial intelligence3 · 25 次引用
Operational semantics2 · 21 次引用
Theoretical computer science2 · 21 次引用
Semantics (computer science)2 · 21 次引用
Programming language2 · 21 次引用
Robot2 · 13 次引用
Operator (biology)1 · 9 次引用
Formal semantics (linguistics)1 · 9 次引用
Prism1 · 4 次引用
Algorithm1 · 4 次引用

主要成就

3
H 指数
3
论文
25
总引用数
8
篇均引用
🏆 最高被引论文
Probabilistic Semantics for RoboChart
12 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: Universidade Federal de Pernambuco

代表论文

  1. 1
    Probabilistic Semantics for RoboChart
    12 次引用 · 2019
  2. 2
    Analysing RoboChart with Probabilities
    9 次引用 · 2018
  3. 3
    Probabilistic Analysis Applied to Cleaning Robots
    4 次引用 · 2017

主要合作者

JWJim Woodcock2 篇合著论文ACAna Cavalcanti1 篇合著论文MCMadiel Conserva Filho1 篇合著论文RPRafael Pereira de Araújo1 篇合著论文RFRhoger Fellipe Marinho1 篇合著论文SFSimon Foster1 篇合著论文SDSidney de Carvalho Nogueira1 篇合著论文KYKangfeng Ye1 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前