Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. - Lucas M. Tabajara; Marcelo O. R. Prates; Diego Noble; Luís C. Lamb (HCOMP, 2013)

BDD-Based Boolean Functional Synthesis. - Dror Fried; Lucas M. Tabajara; Moshe Y. Vardi (CAV (2), 2016)

Factored boolean functional synthesis. - Lucas M. Tabajara; Moshe Y. Vardi (FMCAD, 2017)

A Symbolic Approach to Safety ltl Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Jianwen Li; Geguang Pu; Moshe Y. Vardi (Haifa Verification Conference, 2017)

Symbolic LTLf Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Jianwen Li; Geguang Pu; Moshe Y. Vardi (IJCAI, 2017)

Partitioning Techniques in LTLf Synthesis. - Lucas Martinelli Tabajara; Moshe Y. Vardi (IJCAI, 2019)

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. - Suguman Bansal; Yong Li 031; Lucas M. Tabajara; Moshe Y. Vardi (AAAI, 2020)

Runtime Verification on FPGAs with LTLf Specifications. - Tommy Tracy II; Lucas M. Tabajara; Moshe Y. Vardi; Kevin Skadron (FMCAD, 2020)

Witnessing Secure Compilation. - Kedar S. Namjoshi; Lucas M. Tabajara (VMCAI, 2020)

LTLf Synthesis under Partial Observability: From Theory to Practice. - Lucas M. Tabajara; Moshe Y. Vardi (GandALF, 2020)

Linear Temporal Logic - From Infinite to Finite Horizon. - Lucas M. Tabajara; Moshe Y. Vardi (ATVA, 2021)

Adapting Behaviors via Reactive Synthesis. - Gal Amram; Suguman Bansal; Dror Fried; Lucas Martinelli Tabajara; Moshe Y. Vardi; Gera Weiss (CAV (1), 2021)

On the Power of Automata Minimization in Temporal Synthesis. - Shufang Zhu 001; Lucas M. Tabajara; Geguang Pu; Moshe Y. Vardi (GandALF, 2021)

ZDD Boolean Synthesis. - Yi Lin; Lucas M. Tabajara; Moshe Y. Vardi (TACAS (1), 2022)

Functional synthesis via input-output separation. - Supratik Chakraborty; Dror Fried; Lucas M. Tabajara; Moshe Y. Vardi (Formal Methods Syst. Des., 2022)

Finite-trace and generalized-reactivity specifications in temporal synthesis. - Giuseppe De Giacomo; Antonio Di Stasio 001; Lucas M. Tabajara; Moshe Y. Vardi; Shufang Zhu 001 (Formal Methods Syst. Des., 2022)

Model Checking Strategies from Synthesis over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas M. Tabajara; Moshe Y. Vardi; Andrew M. Wells (ATVA (1), 2023)

On Strategies in Synthesis Over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas Martinelli Tabajara; Moshe Y. Vardi; Andrew M. Wells (CoRR, 2023)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis. - Yi Lin; Lucas Martinelli Tabajara; Moshe Y. Vardi (CAV (3), 2024)