Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Paulo Jorge Pinto Leitão
AuthID:
R-000-K82
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
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:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 146
131
TITLE:
The role of foundational ontologies in manufacturing domain applications
AUTHORS:
Borgo, S;
Leitao, P
;
PUBLISHED:
2004
,
SOURCE:
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
INDEXED IN:
Scopus
WOS
Handle
IN MY:
ORCID
132
TITLE:
A formal validation approach for holonic control system specifications
AUTHORS:
Leitao, P
; Colombo, AW;
Restivo, F
;
PUBLISHED:
2003
,
SOURCE:
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,
ISSUE:
January
INDEXED IN:
Scopus
WOS
CrossRef
:
3
IN MY:
ORCID
133
TITLE:
An approach to the formal specification of holonic control systems
Full Text
AUTHORS:
Leitao, P
; Colombo, AW;
Restivo, F
;
PUBLISHED:
2003
,
SOURCE:
1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems
in
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING,
VOLUME:
2744
INDEXED IN:
Scopus
WOS
IN MY:
ORCID
|
ResearcherID
134
TITLE:
Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS:
Leitao, P
; Colombo, AW;
Restivo, F
; Schoop, R;
PUBLISHED:
2003
,
SOURCE:
IEEE International Conference on Industrial Informatics (INDIN 2003)
in
INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS
INDEXED IN:
WOS
CrossRef
:
4
IN MY:
ORCID
|
ResearcherID
135
TITLE:
Identification of adacor holons for manufacturing control
AUTHORS:
Leitao, P
;
Restivo, F
;
PUBLISHED:
2003
,
SOURCE:
7th IFAC Workshop on Intelligent Manufacturing Systems
in
INTELLIGENT MANUFACTURING SYSTEMS 2003
INDEXED IN:
WOS
IN MY:
ORCID
|
ResearcherID
136
TITLE:
Integration of automation resources in holonic manufacturing applications
Full Text
AUTHORS:
Leitao, P
; Boissier, R; Casais, F;
Restivo, F
;
PUBLISHED:
2003
,
SOURCE:
1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems
in
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING,
VOLUME:
2744
INDEXED IN:
Scopus
WOS
IN MY:
ORCID
|
ResearcherID
137
TITLE:
Towards autonomy, self-organisation and learning in holonic manufacturing
AUTHORS:
Leitao, P
;
Restivo, F
;
PUBLISHED:
2003
,
SOURCE:
3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003)
in
MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS,
VOLUME:
2691
INDEXED IN:
Scopus
WOS
IN MY:
ORCID
|
ResearcherID
138
TITLE:
Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing
AUTHORS:
Paulo Leitão
;
Francisco Restivo
;
PUBLISHED:
2003
,
SOURCE:
Lecture Notes in Computer Science - Multi-Agent Systems and Applications III
INDEXED IN:
CrossRef
Handle
IN MY:
ORCID
139
TITLE:
A Holonic Control Approach for Distributed Manufacturing
AUTHORS:
Paulo Leitão
;
Francisco Restivo
;
PUBLISHED:
2002
,
SOURCE:
Knowledge and Technology Integration in Production and Services
INDEXED IN:
CrossRef
Handle
140
TITLE:
Agent-based holonic production control
AUTHORS:
Leitao, P
;
Restivo, F
;
PUBLISHED:
2002
,
SOURCE:
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
INDEXED IN:
Scopus
WOS
CrossRef
:
10
IN MY:
ORCID
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 14 of 15. Total results: 146.
<<
<
7
8
9
10
11
12
13
14
15
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
2 records from
DataCite
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service