Towards a Proof-Theoretic Foundation for Actor Specification and Verification. - Carlos H. C. Duarte (ModelAge Workshop, 1997)

Proof-theoretic foundations for the design of actor systems. - Carlos H. C. Duarte (Math. Struct. Comput. Sci., 1999)

A rely-guarantee discipline for open distributed systems design. - Carlos H. C. Duarte; T. S. E. Maibaum (Inf. Process. Lett., 2000)

A Logico-Categorical Semantics of XML/DOM. - Carlos Henrique C. Duarte (WebDyn@WWW, 2002)

A Branching Time Logical System for Open Distributed Systems Development. - Carlos H. C. Duarte; T. S. E. Maibaum (WoLLIC, 2002)

Brazil: Cooperative Development of a Software Industry. - Carlos H. C. Duarte (IEEE Softw., 2002)

Mathematical Models of Object-Based Distributed Systems. - Carlos Henrique C. Duarte (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

On the relationship between quality assurance and productivity in software companies. - Carlos Henrique C. Duarte (CESI, 2014)

Patterns of Cooperative Technology Development and Transfer for Software-Engineering-in-the-Large. - Carlos Henrique C. Duarte (SER&IP@ICSE, 2015)

3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015). - Xavier Franch; Nazim H. Madhavji; Carlos Henrique C. Duarte (ICSE (2), 2015)

Technology transfer - Requirements Engineering research to industrial practice an open (ended) debate. - Carlos Henrique C. Duarte; Tony Gorschek (RE, 2015)

3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015): Post-workshop Report. - Carlos Henrique C. Duarte; Xavier Franch; Nazim H. Madhavji (ACM SIGSOFT Softw. Eng. Notes, 2015)

The Influence of Tax Incentive and Market Regulation Requirements on IT Companies: Empirical Evidence from the Brazilian Industry. - Carlos Henrique C. Duarte (RE Workshops, 2016)

Requirements Engineering for the Digital Transformation: Industry Panel. - Christof Ebert; Carlos Henrique C. Duarte (RE, 2016)

Productivity paradoxes revisited - Assessing the relationship between quality maturity levels and labor productivity in brazilian software companies. - Carlos Henrique C. Duarte (Empir. Softw. Eng., 2017)

4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016): Post-workshop Report. - Carlos Henrique C. Duarte; Andreas Jedlitschka; Ayse Bener (ACM SIGSOFT Softw. Eng. Notes, 2017)

Special Section on Conducting Empirical Studies in Industry. - Xavier Franch; Nazim H. Madhavji; Carlos Henrique C. Duarte (Inf. Softw. Technol., 2018)

Digital Transformation. - Christof Ebert; Carlos Henrique C. Duarte (IEEE Softw., 2018)

How Long After Compliance Do You Benefit From Regulation? An Empirical Study on Diagnostic Imaging Equipment Requirements. - Carlos Henrique C. Duarte (EMBC, 2019)

The quest for productivity in software engineering: a practitioners systematic literature review. - Carlos Henrique C. Duarte (ICSSP, 2019)

On What Goes on With Goal-Oriented Healthcare Equipment Regulations: An Exploratory Case Study on the Diagnostic Imaging Equipment Industry in Brazil. - Carlos Henrique C. Duarte (IEEE Access, 2020)

Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners. - Meira Levy; Lin Liu 001; Daniel Amyot; Eric S. K. Yu; Muneef Alshammari; Malak Baslyman; Elizabeth Bjarnason; Christopher Bull 001; Carlos Henrique C. Duarte; Eduard C. Groen; Sami Jantunen; Sylwia Kopczynska; et al. (IEEE Softw., 2021)

Authorship and Peer Review in the Era of Artificial Intelligence. - Carlos Henrique C. Duarte (Computer, 2023)