António Miguel Rosado da Cruz

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 10

Top Topics

Temporal Relations

Business Process

Document Length

Top Venues

Publications

Luís Alves, Tiago Carvalhido, Estrela Ferreira Cruz, António Miguel Rosado da Cruz
Using Blockchain to Trace PDO/PGI/TSG Products. ICEIS (2) (2021)
António Miguel Rosado da Cruz, Francisco Santos, Paulo Mendes, Estrela Ferreira Cruz
Blockchain-based Traceability of Carbon Footprint: A Solidity Smart Contract for Ethereum. ICEIS (2) (2020)
António Miguel Rosado da Cruz, Estrela Ferreira Cruz
Blockchain-based Traceability Platforms as a Tool for Sustainability. ICEIS (2) (2020)
José Oliveira, Pedro Miguel Faria, António Miguel Rosado da Cruz
User Experience in Kiosk Application for Traceability of Fishery Products. HCI (41) (2020)
Dinis Caldas, Estrela Ferreira Cruz, António Miguel Rosado da Cruz
Time2Play - Multi-sided Platform for Sports Facilities: A Disruptive Digital Platform. ICEIS (2) (2020)
Estrela Ferreira Cruz, António Miguel Rosado da Cruz
Using Blockchain to Implement Traceability on Fishery Value Chain. ICSOFT (2020)
Estrela Ferreira Cruz, António Miguel Rosado da Cruz
A Food Value Chain Integrated Business Process and Domain Models for Product Traceability and Quality Monitoring: Pattern Models for Food Traceability Platforms. ICEIS (2) (2019)
Sérgio Ivan Lopes, António Miguel Rosado da Cruz, Pedro Miguel Moreira, Carlos Abreu, Joaquim P. Silva, Nuno Lopes, José M. N. Vieira, António Curado
On the design of a Human-in-the-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration. ISC2 (2018)
Estrela Ferreira Cruz, António Miguel Rosado da Cruz
Deriving Integrated Software Design Models from BPMN Business Process Models. ICSOFT (2018)
Gilberto G. Gomes Ribeiro, Ângela M. Amorim Barros, António Miguel Rosado da Cruz
SPMDSL Language Model - Onto a DSL for Agile Use case driven Software Projects' Management. ICEIS (2) (2017)
António Miguel Rosado da Cruz
Use Case and User Interface Patterns for Data Oriented Applications. MODELSWARD (Revised Selected Papers) (2014)
António Miguel Rosado da Cruz
A Pattern Language for Use Case Modeling. MODELSWARD (2014)
António Miguel Rosado da Cruz
Refining Use Cases through Temporal Relations. ICSOFT PT (2014)
André Correia, Jorge Renato Penha, António Miguel Rosado da Cruz
An Architectural Model for Customizing the Business Logic of SaaS Applications. ICSOFT (2013)
António Miguel Rosado da Cruz, João Pascoal Faria
A Metamodel-Based Approach for Automatic User Interface Generation. MoDELS (1) (2010)
António Miguel Rosado da Cruz, João Pascoal Faria
Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models. ICSOFT (1) (2009)
António Miguel Rosado da Cruz, João Pascoal Faria
Automatic Generation of Interactive Prototypes for Domain Model Validation. ICSOFT (SE/MUSE/GSDCA) (2008)
António Miguel Rosado da Cruz, João Pascoal Faria
Automatic Generation of User Interfaces from Domain and Use Case Models. QUATIC (2007)