Pedro Manuel Urbano de Almeida Lima
AuthID: R-000-EX7
121
TÃTULO: Designing Petri net supervisors for multi-agent systems from LTL specifications
AUTORES: Lacerda, B; Lima, PU;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 in 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, VOLUME: 2
AUTORES: Lacerda, B; Lima, PU;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 in 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, VOLUME: 2
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID122
TÃTULO: Multi-robot Cooperative Object Localization
AUTORES: João Santos; Pedro Lima;
PUBLICAÇÃO: 2010, FONTE: RoboCup 2009: Robot Soccer World Cup XIII - Lecture Notes in Computer Science
AUTORES: João Santos; Pedro Lima;
PUBLICAÇÃO: 2010, FONTE: RoboCup 2009: Robot Soccer World Cup XIII - Lecture Notes in Computer Science
123
TÃTULO: Petri Net Plans. A framework for collaboration and coordination in multi-robot systems Full Text
AUTORES: Ziparo, VA; Iocchi, L; Pedro U Lima; Nardi, D; Palamara, PF;
PUBLICAÇÃO: 2010, FONTE: Auton Agent Multi-Agent Syst - Autonomous Agents and Multi-Agent Systems, VOLUME: 23, NÚMERO: 3
AUTORES: Ziparo, VA; Iocchi, L; Pedro U Lima; Nardi, D; Palamara, PF;
PUBLICAÇÃO: 2010, FONTE: Auton Agent Multi-Agent Syst - Autonomous Agents and Multi-Agent Systems, VOLUME: 23, NÚMERO: 3
124
TÃTULO: Petri Net Robotic Task Plan Representation: Modelling, Analysis and Execution
AUTORES: Hugo Costelha ; Pedro Lim;
PUBLICAÇÃO: 2010, FONTE: Autonomous Agents
AUTORES: Hugo Costelha ; Pedro Lim;
PUBLICAÇÃO: 2010, FONTE: Autonomous Agents
125
TÃTULO: High-Speed Data Acquisition Electronics for a PEM Scanner
AUTORES: Lousa, P; Almeida, FG ; Almeida, P; Bastos, AL; Bexiga, V; Bugalho, R; Carmona, S; Carrico, B; Ferreira, CS; Ferreira, NC ; Ferreira, M; Godinho, J; Concalves, F ; Lecoq, P; Leong, C; Machado, P; Matela, N ; Moura, R; Neves, P; Oliveira, N; ...Mais
PUBLICAÇÃO: 2009, FONTE: 16th IEEE/NPSS Real-Time Conference in 2009 16TH IEEE-NPSS REAL TIME CONFERENCE
AUTORES: Lousa, P; Almeida, FG ; Almeida, P; Bastos, AL; Bexiga, V; Bugalho, R; Carmona, S; Carrico, B; Ferreira, CS; Ferreira, NC ; Ferreira, M; Godinho, J; Concalves, F ; Lecoq, P; Leong, C; Machado, P; Matela, N ; Moura, R; Neves, P; Oliveira, N; ...Mais
PUBLICAÇÃO: 2009, FONTE: 16th IEEE/NPSS Real-Time Conference in 2009 16TH IEEE-NPSS REAL TIME CONFERENCE
126
TÃTULO: Modelling, analysis and execution of multi-robot tasks using Petri nets
AUTORES: Costelha, H ; Lima, P;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 2
AUTORES: Costelha, H ; Lima, P;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID127
TÃTULO: openSDK: an open-source implementation of OPEN-R
AUTORES: Nuno P Lopes ; Pedro U Lima;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3, VOLUME: 2
AUTORES: Nuno P Lopes ; Pedro U Lima;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3, VOLUME: 2
INDEXADO EM: Scopus 
DBLP
Scopus DBLP NO MEU: ORCID
ORCID128
TÃTULO: A robotic soccer passing task using Petri net plans
AUTORES: Palamara, PF; Nardi, D; Ziparo, VA; Lima, P; Iocchi, L; Costelha, H ;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 3
AUTORES: Palamara, PF; Nardi, D; Ziparo, VA; Lima, P; Iocchi, L; Costelha, H ;
PUBLICAÇÃO: 2008, FONTE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, VOLUME: 3
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID129
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
ORCID130
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
ORCID