Pedro Manuel Urbano de Almeida Lima
AuthID: R-000-EX7
151
TÃTULO: Composing abstractions of hybrid systems
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th International Workshop on Hybrid Systems - Computation and Control in HYBRID SYSTEMS: COMPUTATION AND CONTROL, VOLUME: 2289
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th International Workshop on Hybrid Systems - Computation and Control in HYBRID SYSTEMS: COMPUTATION AND CONTROL, VOLUME: 2289
INDEXADO EM: WOS
NO MEU: ORCID | ResearcherID
152
TÃTULO: Position tracking for underactuated rigid bodies on SE(3)
AUTORES: Tabuada, P; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th IFAC Symposium on Nonlinear Control Systems in NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3
AUTORES: Tabuada, P; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th IFAC Symposium on Nonlinear Control Systems in NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3
INDEXADO EM: WOS
NO MEU: ORCID | ResearcherID
153
TÃTULO: RoboCup 2001 Full Text
AUTORES: Lima, P; Balch, T; Fujita, M; Rojas, R; Veloso, M; H.A Yanco;
PUBLICAÇÃO: 2002, FONTE: IEEE Robotics & Automation Magazine - IEEE Robot. Automat. Mag., VOLUME: 9, NÚMERO: 2
AUTORES: Lima, P; Balch, T; Fujita, M; Rojas, R; Veloso, M; H.A Yanco;
PUBLICAÇÃO: 2002, FONTE: IEEE Robotics & Automation Magazine - IEEE Robot. Automat. Mag., VOLUME: 9, NÚMERO: 2
155
TÃTULO: Composing abstractions of hybrid systems
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2289
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2002, FONTE: 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2289
156
TÃTULO: Hybrid abstractions: A search and rescue case study
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2001, FONTE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2001, FONTE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
INDEXADO EM: Scopus
NO MEU: ORCID
157
TÃTULO: Cyclic directed formations of multi-agent systems
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2001, FONTE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
AUTORES: Tabuada, P; Pappas, GJ; Lima, P;
PUBLICAÇÃO: 2001, FONTE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
INDEXADO EM: Scopus
NO MEU: ORCID
158
TÃTULO: Portugal in the European Union: What can we tell the Central and Eastern European countries? Full Text
AUTORES: Lima, MA;
PUBLICAÇÃO: 2000, FONTE: WORLD ECONOMY, VOLUME: 23, NÚMERO: 10
AUTORES: Lima, MA;
PUBLICAÇÃO: 2000, FONTE: WORLD ECONOMY, VOLUME: 23, NÚMERO: 10
INDEXADO EM: WOS CrossRef
159
TÃTULO: A functional architecture for a team of fully autonomous cooperative robots
AUTORES: Lima, P; Ventura, R; Aparicio, P; Custodio, L;
PUBLICAÇÃO: 2000, FONTE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
AUTORES: Lima, P; Ventura, R; Aparicio, P; Custodio, L;
PUBLICAÇÃO: 2000, FONTE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
INDEXADO EM: WOS
NO MEU: ORCID | ResearcherID
160
TÃTULO: ISocRob - Intelligent society of robots
AUTORES: Ventura, R; Aparicio, P; Marques, C; Lima, P; Custodio, L;
PUBLICAÇÃO: 2000, FONTE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
AUTORES: Ventura, R; Aparicio, P; Marques, C; Lima, P; Custodio, L;
PUBLICAÇÃO: 2000, FONTE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
INDEXADO EM: WOS
NO MEU: ORCID