An expert system to software specification. - Tereza G. Kirner; Nicolau Reinhard (ACM Conference on Computer Science, 1989)

Real-time systems specification: a process and a tool. - Tereza G. Kirner (ACM SIGSOFT Softw. Eng. Notes, 1991)

Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas. - Paulo Roberto Pierri Tepedino; Tereza Gonçalves Kirner (SBES, 1993)

A Tool for Analysis of Real-Time System Specification Methods. - Tereza Gonçalves Kirner (ACM SIGSOFT Softw. Eng. Notes, 1993)

Detection of Cycle in Real-Time System Specification. - Tereza G. Kirner (ACM SIGPLAN Notices, 1994)

Specification and design of distributed hard real-time systems. - Paulo Roberto Pierri Tepedino; Tereza G. Kirner (PDP, 1995)

Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de Transformação. - Tereza Gonçalves Kirner; Antônio Francisco do Prado; Maria Adriana Vidigal de Lima; Rogéria Cristiane Gratão (SBES, 1996)

Nonfunctional Requirements of Real-Time Systems. - Tereza G. Kirner; Alan M. Davis (Adv. Comput., 1996)

Requirements specification of real-time systems: temporal parameters and timing-constraints. - Tereza G. Kirner; Alan M. Davis (Inf. Softw. Technol., 1996)

Inspection of Software Requirements Specification Documents: A Pilot Study. - Tereza G. Kirner; Janaina Cintra Abib (SIGDOC, 1997)

System Specification Reengineering Using the SpecView Tool. - Tereza G. Kirner; Rogéria Cristiane Gratão (CSMR, 1998)

A Method-Based Tool for the Specification of Multiple Views of System Requirements. - Tereza G. Kirner; Rogéria Cristiane Gratão (HICSS (6), 1998)

Especificação de Requisitos de Software com o Método SCR. - Flávio Ricardo Carpena; Tereza G. Kirner (WER, 1998)

A GQM-based tool to support the development of software quality measurement plans. - Janaina C. Abib; Tereza G. Kirner (ACM SIGSOFT Softw. Eng. Notes, 1999)

Development of an Information Visualization Tool Using Virtual Reality. - Tereza G. Kirner; Valéria Farinazzo Martins Salvador (SAC (2), 2000)

Applying the SCR Method in Software Requirements Specifications. - Tereza G. Kirner (SCCC, 2000)

Development of a collaborative virtual environment for educational applications. - Tereza G. Kirner; Claudio Kirner; André Luiz Satoshi Kawamoto; Jefferson Cantão; Aloísio Pinto; Raul Sidnei Wazlawick (Web3D, 2001)

Providing More Interactivity to Virtual Museums: A Proposal for a VR Authoring Tool. - Raul Sidnei Wazlawick; Marta C. Rosatelli; Edla M. F. Ramos; Walter de Abreu Cybis; Bernd H. Storb; Vera R. N. Schuhmacher; Antonio Carlos Mariani; Tereza G. Kirner; Claudio Kirner; Léa Da Cruz Fagundes (Presence Teleoperators Virtual Environ., 2001)

Virtual reality authoring for schools. - Raul Sidnei Wazlawick; Tereza G. Kirner; Léa Da Cruz Fagundes; Bernd H. Storb (Digit. Creativity, 2002)

Implementation of a virtual environment for interacting with a coordinate measuring machine. - Nivaldi Calonego Jr. Calonego; Claudio Kirner; Tereza G. Kirner; Alvaro José Abackerli (VECIMS, 2004)

Contribuição à Engenharia de Requisitos de Ambientes Virtuais. - Tereza G. Kirner; Valéria Farinazzo Martins Salvador (WER, 2004)

Simulation of Real-Time Systems: An Object-Oriented Approach Supported by a Virtual Reality- Based Tool. - Tereza G. Kirner; Claudio Kirner (Annual Simulation Symposium, 2005)

Gerenciamento de Risco de Software: um Modelo de Processo e uma Ferramenta. - Tereza G. Kirner; Lourdes E. Gonçalves (CIbSE, 2005)

Avaliação das Técnicas OORT para Inspeção de Especificações de Requisitos em UML: um estudo empírico. - Tereza G. Kirner; Erik R. da Cruz; Maria Imaculada Montebelo (SBQS, 2005)

Library in Virtual Reality - An Innovative Way for Accessing, Disseminating, and Sharing Information. - Tereza G. Kirner; Andréa T. Matos; Plácida L. Costa (ICEIS (5), 2006)

Software Risk Management: a Process Model and a Tool. - Tereza G. Kirner; Lourdes E. Gonçalves (SET, 2006)

Experience on the Implementation of a Collaborative Virtual Environment for Educational Applications. - André Luiz Satoshi Kawamoto; Tereza Gonçalves Kirner; Claudio Kirner (SMC, 2006)

A Data Visualization Virtual Environment Supported by Augmented Reality. - Claudio Kirner; Tereza Gonçalves Kirner (SMC, 2006)

Case Studies on the Development of Games Using Augmented Reality. - Claudio Kirner; Ezequiel R. Zorzal; Tereza Gonçalves Kirner (SMC, 2006)

Técnicas de Inspeção de Documentos de Requisitos de Software: um Estudo Comparativo. - Lilian A. Bertini; Tereza G. Kirner; Maria Imaculada Montebelo; Idemauro A. R. Lara (WER, 2006)

Software Usability Evaluation - An Empirical Study. - Tereza G. Kirner; Alessandra V. Saraiva (ICEIS (3), 2007)

Contribution to the Requirements Engineering of Virtual Environments. - Tereza G. Kirner; Valéria Farinazzo Martins Salvador; Claudio Kirner (ICEIS (5), 2007)

Collaborative Augmented Reality Environment. - Claudio Kirner; Rafael Santin; Tereza G. Kirner; Ezequiel R. Zorzal (ICEIS (5), 2007)

Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study. - Tereza G. Kirner; Erik R. da Cruz (SEKE, 2007)

Usability Evaluation Of The Moodle System From The Teachers' Perspective. - Tereza G. Kirner; Carlos de A. Custódio; Claudio Kirner (e-Learning, 2008)

An Adaptive Learning Management System With Support For 3d Collaboration. - Claudio Kirner; Clodonil H. Trigo; Tereza G. Kirner (e-Learning, 2008)

Um Estudo Exploratório sobre a Satisfação do Usuário de Sistemas de Software. - Tereza G. Kirner; José Carlos Perini; Maria Imaculada Montebelo (SBQS, 2008)

Benefícios, Fatores de Sucesso e Dificuldades da Implantação do Modelo MPS.BR. - Juliana França Rodrigues; Tereza Gonçalves Kirner (SBQS, 2010)

Subjective Usability Evaluation Criteria of Augmented Reality Applications. - Valéria Farinazzo Martins; Tereza Gonçalves Kirner; Claudio Kirner (HCI (11), 2015)