Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs303.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1907-05029,
  author       = {Ioana Leustean and
                  Natalia Moanga and
                  Traian{-}Florin Serbanuta},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {From Hybrid Modal Logic to Matching Logic and back},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {16--31},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.2},
  doi          = {10.4204/EPTCS.303.2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-05029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01743,
  author       = {Cezar{-}Constantin Andrici and
                  {\c{S}}tefan Ciob{\^{a}}c{\u{a}}},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Verifying the {DPLL} Algorithm in Dafny},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {3--15},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.1},
  doi          = {10.4204/EPTCS.303.1},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01743.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01744,
  author       = {Vlad Rusu and
                  David Nowak},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {({C}o)inductive Proof Systems for Compositional Proofs in Reachability Logic},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {32--47},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.3},
  doi          = {10.4204/EPTCS.303.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01744.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01745,
  author       = {Georgiana Caltais},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Explaining {SDN} Failures via Axiomatisations},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {48--60},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.4},
  doi          = {10.4204/EPTCS.303.4},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01745.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01746,
  author       = {Georgiana Surlea and
                  Adrian Craciun},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Gr{\"{o}}bner Bases with Reduction Machines},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {61--75},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.5},
  doi          = {10.4204/EPTCS.303.5},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01746.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01747,
  author       = {Isabela Dramnesc and
                  Tudor Jebelean},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {76--91},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.6},
  doi          = {10.4204/EPTCS.303.6},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01748,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Probabilities in Session Types},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {92--106},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.7},
  doi          = {10.4204/EPTCS.303.7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01748.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01750,
  author       = {Lorenzo Capra},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {An Operational Semantics of Graph Transformation Systems Using Symmetric
                  Nets},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {107--119},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.8},
  doi          = {10.4204/EPTCS.303.8},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-01751,
  author       = {Andrei Alexandru and
                  Gabriel Ciobanu},
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Finitely Supported Sets Containing Infinite Uniformly Supported Subsets},
  booktitle    = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  pages        = {120--134},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303.9},
  doi          = {10.4204/EPTCS.303.9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01751.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1909-00584,
  editor       = {Mircea Marin and
                  Adrian Craciun},
  title        = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
                  Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series       = {{EPTCS}},
  volume       = {303},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.303},
  doi          = {10.4204/EPTCS.303},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-00584.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.