dblp keys for Lucas M. Tabajara

Lucas M. Tabajara
Lucas Martinelli Tabajara

Keys

# of data records = 27

homepages/137/3715 conf/atva/BansalLTVW23 journals/corr/abs-2305-08319 journals/fmsd/ChakrabortyFTV22 journals/fmsd/GiacomoSTVZ22 conf/tacas/LinTV22 conf/atva/TabajaraV21 conf/cav/AmramBFTVW21 conf/ijcai/Giacomo0TV021 journals/corr/abs-2008-06790 journals/corr/abs-2105-13837 conf/aaai/BansalLTV20 conf/fmcad/TracyTVS20 conf/vmcai/NamjoshiT20 journals/corr/abs-2009-10875 conf/ijcai/TabajaraV19 journals/corr/abs-1911-05866 journals/corr/abs-1911-08145 conf/fmcad/ChakrabortyFTV18 journals/corr/abs-1808-08190 conf/fmcad/TabajaraV17 conf/hvc/ZhuTLPV17 conf/ijcai/ZhuTLPV17 journals/corr/ZhuTLPV17 journals/corr/abs-1709-07495 conf/cav/FriedTV16 conf/hcomp/TabajaraPNL13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.