dblp keys for Cesare Tinelli

Cesare Tinelli

Keys

# of data records = 164

homepages/37/4921 journals/cacm/BarbosaBCDKLNNOPRTZ23 journals/jar/AbateBBDKKPRT23 journals/jar/ShengNRZDGPQBT23 journals/jar/ShengZRRBT23 conf/cav/OzdemirKTB23 conf/fmcad/RozierSTV23 conf/fmcad/MohamedRBT23 conf/fmcad/WilsonNRCTB23 conf/fmcad/LarrazLYACT23 conf/frocos/EkiciVZTB23 conf/lpar/BarbosaK0VTB23 conf/smt/LachnittFA0BNBT23 conf/cade/2023 journals/corr/abs-2306-05854 journals/iacr/OzdemirKTB23 conf/cade/BarbosaRKLNNOPV22 conf/cade/KremerRBT22 conf/cade/ShengNRZDGPQBT22 conf/cav/NotzliRBBT22 conf/fmcad/NotzliBNPRBT22 conf/tacas/BarbosaBBKLMMMN22 conf/vmcai/ZoharIMNNPRBT22 journals/corr/abs-2205-08095 journals/corr/abs-2205-09082 journals/fmsd/NiemetzPRBT21 journals/jar/NiemetzP0ZBT21 journals/systems/MengLSMISPPHAYV21 conf/cade/0007ZRRBT21 conf/fmics/LarrazLT21 conf/sat/MannWZSIBDGTB21 conf/tacas/NiemetzPRBT21 series/faia/BarrettSST21 journals/corr/abs-2104-11738 journals/corr/abs-2105-06575 journals/jar/BiereTW20 journals/jsc/DavenportEGST20 conf/cade/ReynoldsBLT20 conf/cade/ReynoldsNBT20 conf/dlog/BaaderKT20 conf/fmcad/ArifLERCT20 conf/fmcad/ReynoldsNBT20 conf/smt/MannWTB20 journals/corr/abs-2007-01374 journals/fmsd/ReynoldsKTBD19 conf/birthday/LutzSTTW19 conf/birthday/BonacinaFRT19 conf/cade/BarbosaROTB19 conf/cade/NiemetzPRZBT19 conf/cav/ReynoldsNBT19 conf/cav/ReynoldsBNBT19 conf/cav/BrainNPRBT19 conf/fmcad/BarbosaRLT19 conf/sat/NotzliRBNPBT19 journals/corr/abs-1908-09478 conf/birthday/2019baader journals/corr/abs-1905-10434 journals/corr/abs-1907-10175 journals/dagstuhl-reports/FuhsRST19 journals/lmcs/BansalBRT18 conf/cade/ReynoldsVBTB18 conf/cav/NiemetzPRBT18 reference/mc/BarrettT18 journals/corr/abs-1804-05025 journals/corr/abs-1806-08775 journals/acta/BaierT17 journals/sttt/BaierT17 journals/tplp/ReynoldsTB17 conf/cade/MengRTB17 conf/cav/EkiciMTKKRB17 conf/cav/ReynoldsWBBLT17 conf/frocos/ReynoldsTJB17 conf/nfm/WagnerMTCS17 journals/corr/abs-1711-10641 journals/corr/BansalBRT17 journals/corr/ReynoldsTB17 journals/dagstuhl-reports/BlanchetteFST17 journals/fmsd/LiangRTTBD16 conf/cade/BansalRBT16 conf/cade/ReynoldsBCT16 conf/cav/ChampionMST16 conf/fmcad/KatzBTRH16 conf/fmcad/MebsoutT16 conf/hotsos/BarrettTDLRT16 conf/sefm/ChampionGKT16 journals/corr/EkiciKKMRT16 conf/arith/BrainTRW15 conf/cav/ReynoldsDKTB15 conf/frocos/LiangTRTB15 conf/lpar/HadareanBRTD15 conf/tacas/2015 journals/corr/ReynoldsDKBT15 conf/cade/StumpST14 conf/cav/LiangRTBD14 conf/cav/HadareanBJBT14 conf/fmcad/DetersR0BT14 conf/fmcad/0001BT14 conf/fmcad/ReynoldsTM14 conf/smt/0001BT14 journals/fmsd/StumpORHT13 conf/cade/ReynoldsTGKDB13 conf/cav/ReynoldsTGK13 conf/nfm/GarocheKT13 journals/corr/abs-1111-5652 journals/jsc/BaumgartnerPT12 conf/cade/StumpST12 conf/cade/LiangT12 conf/nfm/Tinelli12 conf/nfm/KahsaiGTW12 conf/pxtp/StumpRTLEOZ12 conf/cade/2010emsqms journals/corr/abs-1205-3758 conf/cade/BaumgartnerT11 conf/cav/BarrettCDHJKRT11 conf/nfm/KahsaiGT11 journals/corr/abs-1111-0372 conf/frocos/2011 conf/hvc/BarrettMRST10 conf/wollic/Tinelli10 journals/amai/GeBT09 journals/japll/BaumgartnerFNT09 conf/cade/GoelKT09 conf/tacas/FuchsGGKT09 series/faia/BarrettSST09 journals/ai/BaumgartnerT08 conf/fmcad/HagenT08 conf/lpar/BaumgartnerFT08 journals/jsat/BarrettST07 conf/cade/GeBT07 conf/cade/Tinelli07 conf/cav/BarrettT07 conf/tableaux/Tinelli07 conf/tacas/KrsticGGT07 journals/expert/BeckertHHSGRTBR06 journals/iandc/BaaderGT06 journals/ijait/BaumgartnerFT06 journals/jacm/NieuwenhuisOT06 conf/lpar/BarrettNOT06 conf/lpar/BaumgartnerFT06 journals/entcs/BarrettST07 journals/jar/TinelliZ05 conf/cade/BaumgartnerT05 conf/smt/2004 conf/cade/BaaderGT04 conf/cav/GanzingerHNOT04 conf/jelia/TinelliZ04 conf/lpar/NieuwenhuisOT04 journals/entcs/AhrendtBNRT05 journals/jar/Tinelli03 journals/tcs/TinelliR03 journals/tcs/TinelliR03a conf/cade/BaumgartnerT03 journals/entcs/TinelliZ03 journals/iandc/BaaderT02 conf/jelia/Tinelli02 conf/rta/BaaderT02 conf/frocos/BaaderT00 phd/us/Tinelli99 conf/rta/BaaderT99 journals/jflp/TinelliH98 conf/cade/BaaderT97 conf/cp/TinelliH96 conf/frocos/TinelliH96 conf/icsm/AvellisIPST91

a service of  Schloss Dagstuhl - Leibniz Center for Informatics