Sign in
Pedro Rocha
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 12
Top Topics
Production Planning
Sensor Placement
Human Body
Cloud Platform
Top Venues
Proc. ACM Program. Lang.
IEEE Trans. Engineering Management
CoRR
SmartCity360°
</>
Publications
</>
Pedro Rocha
,
Luís Caires
Safe Session-Based Concurrency with Shared Linear State.
ESOP
(2023)
Egor Litvinov
,
Henry Llumiguano
,
María J. Santofimia
,
Xavier del Toro
,
Felix Jesús Villanueva
,
Pedro Rocha
Code Integrity and Confidentiality: An Active Data Approach for Active and Healthy Ageing.
Sensors
23 (10) (2023)
João Martins
,
Manuel Parente
,
Mário Amorim-Lopes
,
Luís Amaral
,
Gonçalo Figueira
,
Pedro Rocha
,
Pedro Amorim
Fostering Customer Bargaining and E-Procurement Through a Decentralised Marketplace on the Blockchain.
IEEE Trans. Engineering Management
69 (3) (2022)
Francisco Morais
,
Nuno Soares
,
Rui Ribeiro
,
Marcelo Alves
,
Pedro Rocha
,
Ana Lima
,
Ricardo J. Machado
An Interoperable Cloud Platform for the Garment Industry.
IntelliSys (3)
(2022)
Pedro Rocha
,
António Galrão Ramos
,
Elsa Silva
CrossLog: Automatic Mixed-Palletizing for Cross-Docking Logistics Centers.
ICCL
(2022)
Pedro Rocha
,
Luís Caires
Propositions-as-types and shared state.
Proc. ACM Program. Lang.
5 (ICFP) (2021)
Rui Ribeiro
,
André Luiz Pilastri
,
Hugo Carvalho
,
Arthur Matta
,
Pedro José Pereira
,
Pedro Rocha
,
Marcelo Alves
,
Paulo Cortez
An Intelligent Decision Support System for Production Planning in Garments Industry.
IDEAL
(2021)
Diogo Rocha
,
Pedro Rocha
,
Jorge Ribeiro
,
Sérgio Ivan Lopes
Identification and Classification of Human Body Parts for Contactless Screening Systems: An Edge-AI Approach.
SmartCity360°
(2021)
Pedro Rocha
Robust NFP generation for Nesting problems.
CoRR
(2019)
Pedro Oliveira da Silva
,
Adriano Rivolli
,
Pedro Rocha
,
Francisco Correia
,
Carlos Soares
Machine Learning for Drugs Prescription.
IDEAL (1)
(2018)
Carlos Pereira
,
Antonio Pinto
,
Ana Aguiar
,
Pedro Rocha
,
Fernando Santiago
,
Jorge Sousa
IoT interoperability for actuating applications through standardised M2M communications.
WoWMoM
(2016)
Carlos Pereira
,
João G. P. Rodrigues
,
Antonio Pinto
,
Pedro Rocha
,
Fernando Santiago
,
Jorge Sousa
,
Ana Aguiar
Smartphones as M2M gateways in smart cities IoT applications.
ICT
(2016)
Pedro Rocha
,
Sérgio Daniel Pequito
,
Soummya Kar
,
A. Pedro Aguiar
,
Paula Rocha
Sensor placement for real-time dynamic state estimation in power systems: Structural systems approach.
ACSSC
(2014)