Остановите войну!
for scientists:
default search action
dblp keys for Cesare Tinelli
- > Home > Persons > Cesare Tinelli
Cesare Tinelli
Keys
# of data records = 165
homepages/37/4921 conf/tacas/LachnittFARBNBT24 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
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint