Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Paulo Jorge Pinto Leitão
AuthID:
R-000-K82
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (113)
Article (24)
Book Chapter (4)
Editorial Material (3)
Review (2)
Year Start - End:
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 146
131
TÃTULO:
The role of foundational ontologies in manufacturing domain applications
AUTORES:
Borgo, S;
Leitao, P
;
PUBLICAÇÃO:
2004
,
FONTE:
On the Move Confederated International Workshop and Conference
in
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS,
VOLUME:
3290
INDEXADO EM:
Scopus
WOS
Handle
NO MEU:
ORCID
132
TÃTULO:
A formal validation approach for holonic control system specifications
AUTORES:
Leitao, P
; Colombo, AW;
Restivo, F
;
PUBLICAÇÃO:
2003
,
FONTE:
9th IEEE International Conference on Emerging Technologies and Factory Automation
in
ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS,
VOLUME:
1,
NÚMERO:
January
INDEXADO EM:
Scopus
WOS
CrossRef
:
3
NO MEU:
ORCID
133
TÃTULO:
An approach to the formal specification of holonic control systems
Full Text
AUTORES:
Leitao, P
; Colombo, AW;
Restivo, F
;
PUBLICAÇÃO:
2003
,
FONTE:
1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems
in
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING,
VOLUME:
2744
INDEXADO EM:
Scopus
WOS
NO MEU:
ORCID
|
ResearcherID
134
TÃTULO:
Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTORES:
Leitao, P
; Colombo, AW;
Restivo, F
; Schoop, R;
PUBLICAÇÃO:
2003
,
FONTE:
IEEE International Conference on Industrial Informatics (INDIN 2003)
in
INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS
INDEXADO EM:
WOS
CrossRef
:
4
NO MEU:
ORCID
|
ResearcherID
135
TÃTULO:
Identification of adacor holons for manufacturing control
AUTORES:
Leitao, P
;
Restivo, F
;
PUBLICAÇÃO:
2003
,
FONTE:
7th IFAC Workshop on Intelligent Manufacturing Systems
in
INTELLIGENT MANUFACTURING SYSTEMS 2003
INDEXADO EM:
WOS
NO MEU:
ORCID
|
ResearcherID
136
TÃTULO:
Integration of automation resources in holonic manufacturing applications
Full Text
AUTORES:
Leitao, P
; Boissier, R; Casais, F;
Restivo, F
;
PUBLICAÇÃO:
2003
,
FONTE:
1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems
in
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING,
VOLUME:
2744
INDEXADO EM:
Scopus
WOS
NO MEU:
ORCID
|
ResearcherID
137
TÃTULO:
Towards autonomy, self-organisation and learning in holonic manufacturing
AUTORES:
Leitao, P
;
Restivo, F
;
PUBLICAÇÃO:
2003
,
FONTE:
3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003)
in
MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS,
VOLUME:
2691
INDEXADO EM:
Scopus
WOS
NO MEU:
ORCID
|
ResearcherID
138
TÃTULO:
Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing
AUTORES:
Paulo Leitão
;
Francisco Restivo
;
PUBLICAÇÃO:
2003
,
FONTE:
Lecture Notes in Computer Science - Multi-Agent Systems and Applications III
INDEXADO EM:
CrossRef
Handle
NO MEU:
ORCID
139
TÃTULO:
A Holonic Control Approach for Distributed Manufacturing
AUTORES:
Paulo Leitão
;
Francisco Restivo
;
PUBLICAÇÃO:
2002
,
FONTE:
Knowledge and Technology Integration in Production and Services
INDEXADO EM:
CrossRef
Handle
140
TÃTULO:
Agent-based holonic production control
AUTORES:
Leitao, P
;
Restivo, F
;
PUBLICAÇÃO:
2002
,
FONTE:
13th International Workshop on Database and Expert Systems Applications (DEXA 2002)
in
13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS,
VOLUME:
2002-January
INDEXADO EM:
Scopus
WOS
CrossRef
:
10
NO MEU:
ORCID
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 14 de 15. Total de resultados: 146.
<<
<
7
8
9
10
11
12
13
14
15
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service