Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pedro Cruz 0003

> Home > Persons

Person information

affiliation: University of Lisbon, Instituto Superior Técnico, Laboratory for Robotics and Engineering Systems, Institute for Systems and Robotics, Portugal

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/CruzB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/CruzB22
Pedro Cruz, Pedro Batista:
Attitude Uncertainty Analysis of a Three-Vehicle Constrained Formation. Sensors 22(10): 3879 (2022)
2021
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/CruzB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/CruzB21
Pedro Cruz, Pedro Batista:
Characterization of Degenerate Configurations in Attitude Determination of Three-Vehicle Heterogeneous Formations. Sensors 21(14): 4631 (2021)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/CruzBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/CruzBS21
Pedro Cruz, Pedro Tiago Martins Batista, Amit K. Sanyal:
Attitude observers for three-vehicle heterogeneous formations based on the Lagrange-d'Alembert principle. ECC 2021: 2317-2322
2020
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/codit/CruzB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codit/CruzB20
Pedro Cruz, Pedro Tiago Martins Batista:
Special Cases in the Attitude Determination of Three-Vehicle Heterogeneous Formations. CoDIT 2020: 136-141
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DurieuxFAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DurieuxFAC20
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz:
Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. ICSE 2020: 530-541
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FerreiraCDA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FerreiraCDA20
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu:
SmartBugs: A Framework to Analyze Solidity Smart Contracts. ASE 2020: 1349-1352
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-04771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-04771
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu:
SmartBugs: A Framework to Analyze Solidity Smart Contracts. CoRR abs/2007.04771 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-10601
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10601
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz:
Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart Contracts. CoRR abs/1910.10601 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/CruzB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/CruzB18
Pedro Cruz, Pedro Batista:
Relative and inertial attitude determination in three-vehicle long formations. IROS 2018: 2880-2885

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.