Research graph
References from Deductive Verification of a Patricia Trie with Creusot. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/978-3-031-06773-0_5
10.1007/978-3-031-06773-0_5 · External reference
10.1145/3729289
10.1145/3729289 · External reference
10.1145/199818.199860
10.1145/199818.199860 · 1995 · External reference
10.1007/978-3-030-99524-9_24
10.1007/978-3-030-99524-9_24 · 2022 · External reference
10.1145/3470569
10.1145/3470569 · External reference
10.5281/zenodo.19932306
10.5281/zenodo.19932306 · 2026 · External reference
10.1007/978-3-662-07964-5
10.1007/978-3-662-07964-5 · External reference
10.1007/978-3-319-77935-5_3
10.1007/978-3-319-77935-5_3 · 2018 · External reference
10.1145/3297280.3297495
10.1145/3297280.3297495 · External reference
10.1007/978-3-030-20652-9_6
10.1007/978-3-030-20652-9_6 · 2019 · External reference
10.1007/s10009-014-0314-5
10.1007/s10009-014-0314-5 · 2014 · External reference
10.1145/781131.781168
10.1145/781131.781168 · External reference
10.1145/3731569.3764821
10.1145/3731569.3764821 · External reference
10.1109/synasc.2013.29
10.1109/synasc.2013.29 · External reference
10.1007/978-3-642-12029-9_16
10.1007/978-3-642-12029-9_16 · External reference
10.1007/978-3-540-78800-3_24
10.1007/978-3-540-78800-3_24 · 2008 · External reference
10.1007/978-3-031-30820-8_9
10.1007/978-3-031-30820-8_9 · External reference
10.1007/978-3-031-17244-1_6
10.1007/978-3-031-17244-1_6 · External reference
10.1007/978-3-319-57288-8_5
10.1007/978-3-319-57288-8_5 · External reference
10.1007/978-3-031-86695-1_3
10.1007/978-3-031-86695-1_3 · External reference
10.1007/978-3-642-37036-6_8
10.1007/978-3-642-37036-6_8 · 2013 · External reference
10.1007/978-3-032-10794-7_2
10.1007/978-3-032-10794-7_2 · External reference
10.1145/367390.367400
10.1145/367390.367400 · External reference
10.1145/3656422
10.1145/3656422 · External reference
10.1016/j.scico.2015.02.005
10.1016/j.scico.2015.02.005 · 2015 · External reference
10.1145/3547647
10.1145/3547647 · External reference
10.1145/3158154
10.1145/3158154 · External reference
10.1007/978-3-642-40787-1_10
10.1007/978-3-642-40787-1_10 · 2013 · External reference
10.1007/978-3-031-55608-1
10.1007/978-3-031-55608-1 · External reference
10.1145/3694715.3695952
10.1145/3694715.3695952 · External reference
10.1145/3586037
10.1145/3586037 · External reference
Unresolved reference
External reference
10.1145/3519939.3523704
10.1145/3519939.3523704 · External reference
10.1007/bfb0053062
10.1007/bfb0053062 · 1996 · External reference
10.1145/321479.321481
10.1145/321479.321481 · 1968 · External reference
10.1007/978-3-319-22969-0_3
10.1007/978-3-319-22969-0_3 · 2015 · External reference
10.1007/bfb0054091
10.1007/bfb0054091 · 1998 · External reference
10.1007/s00165-017-0435-1
10.1007/s00165-017-0435-1 · External reference
10.1145/3018610.3018624
10.1145/3018610.3018624 · External reference
10.1007/978-3-032-22749-2_6
10.1007/978-3-032-22749-2_6 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/3743153
10.1145/3743153 · External reference
10.1007/978-3-030-20652-9_6
10.1007/978-3-030-20652-9_6 · ExternalCitation · doi-reference
10.1007/978-3-030-99524-9_24
10.1007/978-3-030-99524-9_24 · ExternalCitation · doi-reference
10.1007/978-3-031-06773-0_5
10.1007/978-3-031-06773-0_5 · ExternalCitation · doi-reference
10.1007/978-3-031-17244-1_6
10.1007/978-3-031-17244-1_6 · ExternalCitation · doi-reference
10.1007/978-3-031-30820-8_9
10.1007/978-3-031-30820-8_9 · ExternalCitation · doi-reference
10.1007/978-3-031-55608-1
10.1007/978-3-031-55608-1 · ExternalCitation · doi-reference
10.1007/978-3-031-86695-1_3
10.1007/978-3-031-86695-1_3 · ExternalCitation · doi-reference
10.1007/978-3-032-10794-7_2
10.1007/978-3-032-10794-7_2 · ExternalCitation · doi-reference
10.1007/978-3-032-22749-2_6
10.1007/978-3-032-22749-2_6 · ExternalCitation · doi-reference
10.1007/978-3-319-22969-0_3
10.1007/978-3-319-22969-0_3 · ExternalCitation · doi-reference
10.1007/978-3-319-57288-8_5
10.1007/978-3-319-57288-8_5 · ExternalCitation · doi-reference
10.1007/978-3-319-77935-5_3
10.1007/978-3-319-77935-5_3 · ExternalCitation · doi-reference
10.1007/978-3-540-78800-3_24
10.1007/978-3-540-78800-3_24 · ExternalCitation · doi-reference
10.1007/978-3-642-12029-9_16
10.1007/978-3-642-12029-9_16 · ExternalCitation · doi-reference
10.1007/978-3-642-37036-6_8
10.1007/978-3-642-37036-6_8 · ExternalCitation · doi-reference
10.1007/978-3-642-40787-1_10
10.1007/978-3-642-40787-1_10 · ExternalCitation · doi-reference
10.1007/978-3-662-07964-5
10.1007/978-3-662-07964-5 · ExternalCitation · doi-reference
10.1007/bfb0053062
10.1007/bfb0053062 · ExternalCitation · doi-reference
10.1007/bfb0054091
10.1007/bfb0054091 · ExternalCitation · doi-reference
10.1007/s00165-017-0435-1
10.1007/s00165-017-0435-1 · ExternalCitation · doi-reference
10.1007/s10009-014-0314-5
10.1007/s10009-014-0314-5 · ExternalCitation · doi-reference
10.1016/j.scico.2015.02.005
10.1016/j.scico.2015.02.005 · ExternalCitation · doi-reference
10.1109/synasc.2013.29
10.1109/synasc.2013.29 · ExternalCitation · doi-reference
10.1145/199818.199860
10.1145/199818.199860 · ExternalCitation · doi-reference
10.1145/3018610.3018624
10.1145/3018610.3018624 · ExternalCitation · doi-reference
10.1145/3158154
10.1145/3158154 · ExternalCitation · doi-reference
10.1145/321479.321481
10.1145/321479.321481 · ExternalCitation · doi-reference
10.1145/3297280.3297495
10.1145/3297280.3297495 · ExternalCitation · doi-reference
10.1145/3470569
10.1145/3470569 · ExternalCitation · doi-reference
10.1145/3519939.3523704
10.1145/3519939.3523704 · ExternalCitation · doi-reference
10.1145/3547647
10.1145/3547647 · ExternalCitation · doi-reference
10.1145/3586037
10.1145/3586037 · ExternalCitation · doi-reference
10.1145/3656422
10.1145/3656422 · ExternalCitation · doi-reference
10.1145/367390.367400
10.1145/367390.367400 · ExternalCitation · doi-reference
10.1145/3694715.3695952
10.1145/3694715.3695952 · ExternalCitation · doi-reference
10.1145/3729289
10.1145/3729289 · ExternalCitation · doi-reference
10.1145/3731569.3764821
10.1145/3731569.3764821 · ExternalCitation · doi-reference
10.1145/3743153
10.1145/3743153 · ExternalCitation · doi-reference
10.1145/781131.781168
10.1145/781131.781168 · ExternalCitation · doi-reference
10.5281/zenodo.19932306
10.5281/zenodo.19932306 · ExternalCitation · doi-reference
