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)

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)