A Conceptual Model for Molecular Biology Information. - Luiz Fernando Bessa Seibel; José Antônio Fernandes de Macêdo; Melissa Lemos; Sérgio Lifschitz; Antonio Basílio de Miranda; Marcelo Alves; Wim M. Degrave (WOB, 2003)

Ontology-Driven Workflow Management for Biosequence Processing Systems. - Melissa Lemos; Marco A. Casanova; Luiz Fernando Bessa Seibel; José Antônio Fernandes de Macêdo; Antonio Basílio de Miranda (DEXA, 2004)

Squid - a simple bioinformatics grid. - Paulo C. Carvalho; Rafael V. Glória; Antonio Basílio de Miranda; Wim M. Degrave (BMC Bioinform., 2005)

A Practical Evaluation of BioProvider. - Maira Ferreira de Noronha; Sérgio Lifschitz; Antonio Basílio de Miranda (BSB, 2008)

ReRep: Computational detection of repetitive sequences in genome survey sequences (GSS). - Thomas D. Otto; Leonardo H. F. Gomes; Marcelo Alves-Ferreira; Antonio Basílio de Miranda; Wim M. Degrave (BMC Bioinform., 2008)

AnEnPi: identification and annotation of analogous enzymes. - Thomas D. Otto; Ana Carolina R. Guimarães; Wim M. Degrave; Antonio Basílio de Miranda (BMC Bioinform., 2008)

ProteinWorldDB: querying radical pairwise alignments among protein sets from complete genomes. - Thomas D. Otto; Marcos Catanho; Cristian Tristão; Márcia Bezerra; Renan Mathias Fernandes; Guilherme Steinberger Elias; Alexandre Capeletto Scaglia; Bill Bovermann; Viktors Berstis; Sérgio Lifschitz; Antonio Basílio de Miranda; Wim M. Degrave (Bioinform., 2010)

Design and Implementation of ProteinWorldDB. - Sérgio Lifschitz; Carlos Juliano M. Viana; Cristian Tristão; Marcos Catanho; Wim M. Degrave; Antonio Basílio de Miranda; Márcia Bezerra; Thomas D. Otto (BSB, 2012)

Relational Text-Type for Biological Sequences. - Cristian Tristão; Antonio Basílio de Miranda; Edward Hermann Haeusler; Sérgio Lifschitz (ER (Workshops), 2020)

A New Data Modeling Approach for Alignment-free Biological Applications. - Diogo Munaro Vieira; Elvismary Molina de Armas; Maria L. G. Jaramillo; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler; Sérgio Lifschitz (SBBD, 2023)

Intentional Semantics for Molecular Biology. - Edward Hermann Haeusler; Bruno Cuconato; Luiz A. Glatzl; Maria Leandra Guateque; Diogo Munaro Vieira; Elvismary Molina de Armas; Fernanda Baião; Marcos Catanho; Antonio B. de Miranda; Sérgio Lifschitz (BSB, 2023)

An Approach for Modeling and Analysis of Insulin Biosynthesis using Petri Nets. - Maria Leandra Guateque; Antonio Basílio de Miranda; Marcos Catanho; Edward Hermann Haeusler; Sérgio Lifschitz (CIBCB, 2024)

On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis. - Luis Henrique Costa Neto; Sérgio Lifschitz; Fernanda Baião; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler (ER (Workshops), 2024)

Towards a Simpler Semantics for Systems Biology. - Luis Henrique Costa Neto; Sérgio Lifschitz; Marcos Catanho; Antonio B. de Miranda; Edward Hermann Haeusler (BSB, 2024)