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