From Algebras to Objects: Generation and Composition. - A. Miguel Cruz; Luís Soares Barbosa; José Nuno Oliveira (J. Univers. Comput. Sci., 2005)

Automatic Generation of User Interfaces from Domain and Use Case Models. - António Miguel Rosado da Cruz; João Pascoal Faria (QUATIC, 2007)

Automatic Generation of Interactive Prototypes for Domain Model Validation. - António Miguel Rosado da Cruz; João Pascoal Faria (ICSOFT (SE/MUSE/GSDCA), 2008)

Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models. - António Miguel Rosado da Cruz; João Pascoal Faria (ICSOFT (1), 2009)

A Metamodel-Based Approach for Automatic User Interface Generation. - António Miguel Rosado da Cruz; João Pascoal Faria (MoDELS (1), 2010)

An Architectural Model for Customizing the Business Logic of SaaS Applications. - André Correia; Jorge Renato Penha; António Miguel Rosado da Cruz (ICSOFT, 2013)

Refining Use Cases through Temporal Relations. - António Miguel Rosado da Cruz (ICSOFT PT, 2014)

A Pattern Language for Use Case Modeling. - António Miguel Rosado da Cruz (MODELSWARD, 2014)

Use Case and User Interface Patterns for Data Oriented Applications. - António Miguel Rosado da Cruz (MODELSWARD (Revised Selected Papers), 2014)

SPMDSL Language Model - Onto a DSL for Agile Use case driven Software Projects' Management. - Gilberto G. Gomes Ribeiro; Ângela M. Amorim Barros; António Miguel Rosado da Cruz (ICEIS (2), 2017)

Deriving Integrated Software Design Models from BPMN Business Process Models. - Estrela Ferreira Cruz; António Miguel Rosado da Cruz (ICSOFT, 2018)

On the design of a Human-in-the-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration. - Sérgio Ivan Lopes; António Miguel Rosado da Cruz; Pedro Miguel Moreira; Carlos Abreu; Joaquim P. Silva; Nuno Lopes 001; José M. N. Vieira; António Curado (ISC2, 2018)

A Food Value Chain Integrated Business Process and Domain Models for Product Traceability and Quality Monitoring: Pattern Models for Food Traceability Platforms. - Estrela Ferreira Cruz; António Miguel Rosado da Cruz (ICEIS (2), 2019)

User Experience in Kiosk Application for Traceability of Fishery Products. - José Oliveira; Pedro Miguel Faria; António Miguel Rosado da Cruz (HCI (41), 2020)

Time2Play - Multi-sided Platform for Sports Facilities: A Disruptive Digital Platform. - Dinis Caldas; Estrela Ferreira Cruz; António Miguel Rosado da Cruz (ICEIS (2), 2020)

Blockchain-based Traceability Platforms as a Tool for Sustainability. - António Miguel Rosado da Cruz; Estrela Ferreira Cruz (ICEIS (2), 2020)

Blockchain-based Traceability of Carbon Footprint: A Solidity Smart Contract for Ethereum. - António Miguel Rosado da Cruz; Francisco Santos; Paulo Mendes 004; Estrela Ferreira Cruz (ICEIS (2), 2020)

Using Blockchain to Implement Traceability on Fishery Value Chain. - Estrela Ferreira Cruz; António Miguel Rosado da Cruz (ICSOFT, 2020)

Using Blockchain to Trace PDO/PGI/TSG Products. - Luís Alves; Tiago Carvalhido; Estrela Ferreira Cruz; António Miguel Rosado da Cruz (ICEIS (2), 2021)

Towards an Eco-Gamification Platform to Engage Consumers in the Textile & Clothing Circular Economy. - Estrela Ferreira Cruz; David Braga; Diogo Assunção; Pedro Miguel Faria; António Miguel Rosado da Cruz (ICEIS (2), 2024)

Data Quality Assessment for the Textile and Clothing Value-Chain Digital Product Passport. - António Miguel Rosado da Cruz; Joaquim P. Silva; Sérgio Serra; Rodrigo Rodrigues 003; Pedro Pinto 001; Estrela Ferreira Cruz (ICEIS (2), 2024)

Generation of Breaking News Contents Using Large Language Models and Search Engine Optimization. - João Pereira; Wenderson Wanzeller; António Miguel Rosado da Cruz (ICEIS (1), 2024)

An Overview of Blockchain for Industry 5.0: Towards Human-Centric, Sustainable and Resilient Applications. - Paula Fraga-Lamas; Tiago M. Fernández-Caramés; António Miguel Rosado da Cruz; Sérgio Ivan Lopes (IEEE Access, 2024)

Fruit and Vegetables Blockchain-Based Traceability Platform. - Ricardo Morais; António Miguel Rosado da Cruz; Estrela Ferreira Cruz (Comput., 2024)