SNePS and Semi-Structured Databases. - António Menezes Leitão; João Pavão Martins (SBBD, 1999)

Detection of Redundant Code using R2D2. - António Menezes Leitão (SCAM, 2003)

Detection of Redundant Code Using R2D2. - António Menezes Leitão (Softw. Qual. J., 2004)

Migration of Common Lisp Programs to the Java Platform -The Linj Approach. - António Menezes Leitão (CSMR, 2007)

The next 700 programming libraries. - António Menezes Leitão (ILC, 2007)

Offline execution in workflow-enabled Web applications. - Edgar E. M. Goncalves; António Menezes Leitão (QUATIC, 2007)

From Lisp S-expressions to Java source code. - António Menezes Leitão (Comput. Sci. Inf. Syst., 2008)

UCL-GLORP - An ORM for Common Lisp. - António Menezes Leitão (J. Univers. Comput. Sci., 2008)

Implementing offline work in Web applications for rich domains. - Edgar E. M. Goncalves; António Menezes Leitão (WSE, 2009)

Guest Editorial. - Bostjan Slivnik; António Menezes Leitão (Comput. Sci. Inf. Syst., 2010)

Lisp: Research and Experience. - António Menezes Leitão (J. Univers. Comput. Sci., 2010)

The Impact of Programming Languages in Code Cloning. - Jaime Filipe Jorge; António Menezes Leitão (SLATE, 2012)

An Implementation of Python for Racket. - Pedro Palma Ramos; António Menezes Leitão (ELS, 2014)

Reaching Python from Racket. - Pedro Palma Ramos; António Menezes Leitão (ILC, 2014)

Implementing Python for DrRacket. - Pedro Palma Ramos; António Menezes Leitão (SLATE, 2014)

P2R: Implementation of Processing in Racket. - Hugo F. Correia; António Menezes Leitão (ELS, 2015)

Combining Processing with Racket. - Hugo F. Correia; António Menezes Leitão (SLATE, 2015)

Refactoring Dynamic Languages. - Rafael Reia; António Menezes Leitão (ELS, 2016)

Context-Oriented Algorithmic Design. - Bruno Ferreira 004; António Menezes Leitão (SLATE, 2018)

Shape grammars as design tools: an implementation of a multipurpose chair grammar. - Sara García; António Menezes Leitão (Artif. Intell. Eng. Des. Anal. Manuf., 2018)

Plagiarism Detection for Lisp. - António Menezes Leitão (ELS, 2019)

Transpiling Python to Julia using PyJL. - Miguel Marcelino; António Menezes Leitão (ELS, 2022)

Extending PyJL - Transpiling Python Libraries to Julia. - Miguel Marcelino; António Menezes Leitão (SLATE, 2022)

Metaobject Protocols for Julia. - Marcelo Santos; António Menezes Leitão (SLATE, 2022)

A Minimal Run-time Overhead Metaobject Protocol for Julia. - Marcelo Santos; António Menezes Leitão (ELS, 2023)