Pedro Manuel Urbano de Almeida Lima
AuthID: R-000-EX7
131
TÃTULO: Linear-time temporal logic control of discrete event models of cooperative robots
AUTORES: Bruno Lacerda; Pedro Lima;
PUBLICAÇÃO: 2008, FONTE: Journal of Physical Agents, VOLUME: 2, NÚMERO: 1
AUTORES: Bruno Lacerda; Pedro Lima;
PUBLICAÇÃO: 2008, FONTE: Journal of Physical Agents, VOLUME: 2, NÚMERO: 1
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID132
TÃTULO: Introduction
AUTORES: Lin Padgham; David Parkes; Elisabeth André; Pedro Lima; Jörg Müller; Simons Parsons;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 1
AUTORES: Lin Padgham; David Parkes; Elisabeth André; Pedro Lima; Jörg Müller; Simons Parsons;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 1
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID133
TÃTULO: George Nikolaos Saridis - (November 17, 1931-October 29, 2006) - In memoriam Full Text
AUTORES: Fei Yue Wang; George S G Lee; Kimon P Valavanis; Kostas J Kyriakopoulos; Pedro U Lima; Randal W Beard; John T Wen;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 48, NÚMERO: 1
AUTORES: Fei Yue Wang; George S G Lee; Kimon P Valavanis; Kostas J Kyriakopoulos; Pedro U Lima; Randal W Beard; John T Wen;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 48, NÚMERO: 1
INDEXADO EM: 
WOS 
CrossRef
WOS CrossRef NO MEU: ORCID | ResearcherID
ORCID | ResearcherID134
TÃTULO: Eliciting preferences over observed behaviours based on relative evaluations
AUTORES: Valdinei Freire da Silva; Pedro Lima; Anna Helena R Reali Costa;
PUBLICAÇÃO: 2007, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems in 2007 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-9
AUTORES: Valdinei Freire da Silva; Pedro Lima; Anna Helena R Reali Costa;
PUBLICAÇÃO: 2007, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems in 2007 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-9
NO MEU: ORCID | ResearcherID
ORCID | ResearcherID135
TÃTULO: Modeling dynamics of cell population molecule expression distribution Full Text
AUTORES: Milutinović, D; Carneiro, J; Athans, M; Lima, P;
PUBLICAÇÃO: 2007, FONTE: Nonlinear Analysis: Hybrid Systems, VOLUME: 1, NÚMERO: 1
AUTORES: Milutinović, D; Carneiro, J; Athans, M; Lima, P;
PUBLICAÇÃO: 2007, FONTE: Nonlinear Analysis: Hybrid Systems, VOLUME: 1, NÚMERO: 1
136
TÃTULO: George Nikolaos Saridis [In Memoriam]
AUTORES: Fei-yue Wang; George Lee, C; Kimon Valavanis; Kostas Kyriakopoulos; Pedro Lima; Randal Beard; John Wen;
PUBLICAÇÃO: 2007, FONTE: IEEE Control Syst. Mag. - IEEE Control Systems Magazine, VOLUME: 27, NÚMERO: 2
AUTORES: Fei-yue Wang; George Lee, C; Kimon Valavanis; Kostas Kyriakopoulos; Pedro Lima; Randal Beard; John Wen;
PUBLICAÇÃO: 2007, FONTE: IEEE Control Syst. Mag. - IEEE Control Systems Magazine, VOLUME: 27, NÚMERO: 2
137
138
TÃTULO: Institutional Robotics
AUTORES: Porfírio Silva; Pedro U Lima;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Advances in Artificial Life
AUTORES: Porfírio Silva; Pedro U Lima;
PUBLICAÇÃO: 2007, FONTE: Lecture Notes in Computer Science - Advances in Artificial Life
139
TÃTULO: Modeling and Optimal Centralized Control of a Large-Size Robotic Population Full Text
AUTORES: Dejan Milutinovi; Pedro Lima;
PUBLICAÇÃO: 2006, FONTE: IEEE Trans. Robot. - IEEE Transactions on Robotics, VOLUME: 22, NÚMERO: 6
AUTORES: Dejan Milutinovi; Pedro Lima;
PUBLICAÇÃO: 2006, FONTE: IEEE Trans. Robot. - IEEE Transactions on Robotics, VOLUME: 22, NÚMERO: 6
140
TÃTULO: RoboCup 2004 Overview
AUTORES: Pedro Lima; Luis Custódio;
PUBLICAÇÃO: 2005, FONTE: RoboCup 2004: Robot Soccer World Cup VIII - Lecture Notes in Computer Science
AUTORES: Pedro Lima; Luis Custódio;
PUBLICAÇÃO: 2005, FONTE: RoboCup 2004: Robot Soccer World Cup VIII - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef