Lucas M. Tabajara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | On-the-fly LTLf Synthesis under Partial Observability. | Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2023 | ATVA | Model Checking Strategies from Synthesis over Finite Traces. | Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells |
| 2022 | TACAS | ZDD Boolean Synthesis. | Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi |
| 2021 | ATVA | Linear Temporal Logic - From Infinite to Finite Horizon. | Lucas M. Tabajara, Moshe Y. Vardi |
| 2021 | IJCAI | Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. | Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2020 | AAAI | Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. | Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi |
| 2020 | FMCAD | Runtime Verification on FPGAs with LTLf Specifications. | Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron |
| 2020 | VMCAI | Witnessing Secure Compilation. | Kedar S. Namjoshi, Lucas M. Tabajara |
| 2018 | FMCAD | Functional Synthesis via Input-Output Separation. | Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
| 2017 | FMCAD | Factored boolean functional synthesis. | Lucas M. Tabajara, Moshe Y. Vardi |
| 2017 | IJCAI | Symbolic LTLf Synthesis. | Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
| 2016 | CAV | BDD-Based Boolean Functional Synthesis. | Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
| 2013 | HCOMP | Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. | Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, Lus C. Lamb |