From 35254ad2f63f714a349199a7806d3541bf4c91b8 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Thu, 5 Jun 2025 21:49:49 -0600 Subject: [PATCH] Add sample content --- Taylor2023.yaml | 34 ++++++++++++++++++++++++++++++++++ ignore.txt | 0 2 files changed, 34 insertions(+) create mode 100644 Taylor2023.yaml delete mode 100644 ignore.txt diff --git a/Taylor2023.yaml b/Taylor2023.yaml new file mode 100644 index 0000000..2a02ef1 --- /dev/null +++ b/Taylor2023.yaml @@ -0,0 +1,34 @@ +- key: Taylor2023 + author: + - Taylor, Landon + - Israelsen, Bryant + - Zhang, Zhen + booktitle: Formal Methods in Computer-Aided Design + copyright: http://creativecommons.org/licenses/by/4.0/ + doi: 10.34727/2023/isbn.978-3-85448-060-0_37 + isbn: 978-3-85448-060-0 + langid: english + month: October + pages: 284--293 + publisher: TU Wien Academic Press + shorttitle: Cycle and Commute + title: "Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks" + urldate: 2023-11-08 + year: "2023" +- key: Taylor2027 + author: + - Taylor, Landon + - Israelsen, Bryant + - Zhang, Zhen + booktitle: Formal Methods in Computer-Aided Design + copyright: http://creativecommons.org/licenses/by/4.0/ + doi: 10.34727/2023/isbn.978-3-85448-060-0_37 + isbn: 978-3-85448-060-0 + langid: english + month: October + pages: 284--293 + publisher: TU Wien Academic Press + shorttitle: Cycle and Commute + title: "Cycle and Commute: Ra45645646546re-Event Probability Verification for Chemical Reaction Networks" + urldate: 2023-11-08 + year: "2023" diff --git a/ignore.txt b/ignore.txt deleted file mode 100644 index e69de29..0000000