Остановите войну!
for scientists:
default search action
dblp keys for Stavros Tripakis
- > Home > Persons > Stavros Tripakis
Stavros Tripakis
Keys
# of data records = 203
homepages/85/6852 conf/atal/MelcerAT24 journals/deds/MeiraGoesKLT23 journals/ml/BuzhinskyNT23 conf/atva/EgolfT23 conf/cav/MeiraGoesDKLT23 conf/sefm/EgolfT23 journals/corr/abs-2306-01025 journals/corr/abs-2306-02967 journals/corr/abs-2312-10842 journals/csysl/TripakisR22 journals/iandc/PreoteasaDT22 conf/cpp/SchultzDT22 conf/csfw/OakleyOT22 conf/csfw/HsuBKT22 conf/fmcad/SchultzDT22 conf/formats/EleftheriadisKK22 conf/nips/MelcerAT22 journals/corr/abs-2203-11629 journals/corr/abs-2205-06360 journals/corr/abs-2212-12455 journals/fmsd/PinisettyPRT21 journals/sttt/GiantamidisTB21 conf/opodis/SchultzZDT21 conf/sefm/VickKT21 conf/wdag/SchultzZT21 journals/corr/abs-2102-11960 journals/corr/abs-2108-00885 journals/corr/abs-2108-04523 journals/corr/abs-2109-11987 journals/corr/abs-2110-02125 journals/corr/abs-2110-04200 journals/sttt/DragomirPT20 conf/safecomp/GiantamidisBT20 conf/safecomp/HippelVTN20 journals/corr/abs-2003-01993 journals/corr/abs-2004-01220 journals/scp/IannopolloTS19 journals/sosym/ReinekeST19 journals/sosym/CremonaLBLMT19 conf/cav/KangLT19 conf/date/ChakrabortyA0GH19 conf/vmcai/PreoteasaDT19 journals/scp/PittouMRT18 conf/birthday/TripakisL18 conf/dars/SahinOT18 conf/date/IannopolloTS18 conf/icphys/Tripakis18 conf/models/CremonaLBLMT18 conf/tacas/DragomirPT18 reference/mc/SeshiaST18 journals/corr/abs-1808-09701 journals/deds/EhlersLTV17 journals/fmsd/PinisettyPTJFM17 journals/jss/PinisettyJTFMP17 journals/sigact/AlurT17 journals/tecs/SiirtolaTH17 journals/tecs/PinisettyRSATH17 conf/forte/PreoteasaDT17 conf/spin/PinisettyRSTH17 journals/corr/KangLT17 journals/corr/abs-1710-03979 journals/corr/abs-1710-08195 journals/fomac/Tripakis16 journals/pieee/Tripakis16 journals/vlsisp/TripakisLRWAG16 conf/facs2/PittouT16 conf/facs2/IannopolloTS16 conf/fm/GiantamidisT16 conf/lics/PreoteasaT16 conf/memocode/CremonaLBNLT16 conf/nfm/PinisettyT16 conf/sac/PinisettyPTJFM16 conf/sac/CremonaLTBL16 conf/samos/PittouT16 conf/spin/DragomirPT16 journals/corr/GiantamidisT16 journals/corr/PreoteasaDT16 journals/corr/PinisettyRSTH16 journals/corr/PreoteasaDT16a conf/acsd/SiirtolaTH15 conf/cav/AlurRSTU15 conf/hybrid/BromanGLMTW15 conf/iecon/VyatkinPT15 conf/samos/Tripakis15 conf/samos/YangTS15 journals/corr/AlurRSTU15 journals/corr/DragomirPT15 journals/corr/PreoteasaT15 journals/corr/CaulfieldRST15 journals/jsa/NataleZST14 conf/date/IannopolloNTS14 conf/emsoft/PreoteasaT14 conf/etaps/TripakisS14 conf/hvc/AlurMRSTU14 conf/iot/JhaTSC14 conf/memocode/NuzzoITS14 conf/samos/TripakisLRW14 conf/tacas/ReinekeT14 conf/wodes/EhlersLTV14 journals/corr/AlurMRSTU14 journals/corr/PreoteasaT14 journals/mscs/TripakisSSL13 journals/tecs/TripakisBGRL13 conf/emsoft/BromanBGLMTW13 conf/emsoft/PerssonTQWBTVD13 conf/formats/StergiouTML13 conf/iccps/DerlerLTT13 conf/spin/TripakisSBL13 books/wi/13/CassezT13 journals/scp/BaeOFLT12 conf/dac/GhosalLRTPWTA12 conf/emsoft/BenvenisteLPTM12 conf/models/BromanLTT12 journals/toplas/TripakisLHL11 conf/codes/TripakisAGLRWYKW11 conf/hybrid/GeilenTW11 conf/formats/2011 conf/codes/BrooksLT10 conf/eoolt/LeeT10 conf/iccps/TripakisBRL10 conf/emsoft/2010 journals/corr/abs-1004-2810 journals/fmsd/KrichenT09 journals/tocl/Tripakis09 conf/emsoft/TripakisLHL09 conf/hybrid/CaspiBLT09 conf/icfem/BaeOFT09 conf/models/LeungMLLSTL09 conf/popl/LublinermanST09 conf/rv/Tripakis09 journals/fuin/CassezT08 journals/tc/TripakisPBSCN08 journals/tcs/BensalemPQT08 journals/tecs/CaspiSST08 conf/date/LublinermanT08 conf/estimedia/LublinermanT08 conf/rtas/LublinermanT08 conf/spin/AbedTV08 conf/acsd/CassezTA07 conf/emsoft/BenvenisteCNPST07 conf/hvc/BensalemPQTZ07 conf/isola/BensalemKMRT07 conf/tase/CassezTA07 reference/crc/CaspiTR07 conf/dagstuhl/Tripakis07 journals/ipl/Tripakis06 conf/acsd/AltisenCT06 conf/emsoft/SofronisTC06 conf/emsoft/BenvenisteCCCST06 conf/fates/KrichenT06 conf/ictac/KrichenT06 conf/monterey/GrosuHSTT06 conf/time/CondottaLST06 journals/fmsd/TripakisYB05 journals/tecs/TripakisSCC05 conf/acsd/Tripakis05 conf/cdc/Tripakis05 conf/emsoft/TripakisSSC05 conf/formats/AltisenT05 conf/ictai/CondottaLT05 conf/ifm/BensalemPQT05 conf/pts/KrichenT05 conf/pts/KrichenT05a journals/ipl/Tripakis04 journals/tac/Tripakis04 conf/emsoft/ScaifeSCTM04 conf/formats/KrichenT04 conf/isola/BensalemPQT04 conf/spin/KrichenT04 journals/entcs/BensalemBKT05 journals/pieee/SifakisTY03 conf/emsoft/CaspiCMST03 conf/formats/Tripakis03 conf/lctrts/CaspiCMSTN03 conf/tacas/Tripakis03 conf/cdc/SenguptaT02 conf/emsoft/Tripakis02 conf/emsoft/BenvenisteCGMTT02 conf/ftrtft/Tripakis02 conf/swat/PuriT02 journals/entcs/Tripakis02 journals/fmsd/TripakisY01 conf/cdc/ZennaroKST01 conf/cdc/Tripakis01 conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01 journals/entcs/TripakisY01 conf/hybrid/BotchkarevT00 conf/arts/Tripakis99 conf/charme/BozgaMT99 conf/fm/TripakisA99 conf/rtss/AltisenGPSTY99 conf/tacas/Tripakis99 phd/hal/Tripakis98 conf/cav/BozgaDMOTY98 conf/ftrtft/BozgaDMOTY98 conf/rtas/TripakisY98 conf/tacas/DawsT98 conf/compos/BornotST97 conf/rtss/BouajjaniTY97 conf/cav/TripakisY96 conf/tacas/TripakisC96 conf/hybrid/DawsOTY95
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-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint