Search dblp for Publications

export results for "toc:db/journals/jar/jar30.bht:"

 download as .bib file

@article{DBLP:journals/jar/BasinFG03,
  author       = {David A. Basin and
                  Stefan Friedrich and
                  Marek Gawkowski},
  title        = {Bytecode Verification by Model Checking},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {399--444},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025059508087},
  doi          = {10.1023/A:1025059508087},
  timestamp    = {Mon, 22 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BasinFG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BofillGNR03,
  author       = {Miquel Bofill and
                  Guillem Godoy and
                  Robert Nieuwenhuis and
                  Albert Rubio},
  title        = {Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic
                  Orderings},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {1},
  pages        = {99--120},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022515030222},
  doi          = {10.1023/A:1022515030222},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BofillGNR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChatterjeeDC03,
  author       = {Krishnendu Chatterjee and
                  Pallab Dasgupta and
                  P. P. Chakrabarti},
  title        = {A Branching Time Temporal Framework for Quantitative Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {2},
  pages        = {205--232},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023217515688},
  doi          = {10.1023/A:1023217515688},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/ChatterjeeDC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FreundM03,
  author       = {Stephen N. Freund and
                  John C. Mitchell},
  title        = {A Type System for the Java Bytecode Language and Verifier},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {271--321},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025011624925},
  doi          = {10.1023/A:1025011624925},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FreundM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KamareddineH03,
  author       = {Fairouz Kamareddine and
                  Qiao Haiyan},
  title        = {Formalizing Strong Normalization Proofs of Explicit Substitution Calculi
                  in {ALF}},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {1},
  pages        = {59--98},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022527914293},
  doi          = {10.1023/A:1022527914293},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KamareddineH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KleinW03,
  author       = {Gerwin Klein and
                  Martin Wildmoser},
  title        = {Verified Bytecode Subroutines},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {363--398},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025095122199},
  doi          = {10.1023/A:1025095122199},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KleinW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Leroy03,
  author       = {Xavier Leroy},
  title        = {Java Bytecode Verification: Algorithms and Formalizations},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {235--269},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025055424017},
  doi          = {10.1023/A:1025055424017},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Leroy03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Nipkow03,
  author       = {Tobias Nipkow},
  title        = {Java Bytecode Verification},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {233},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025086804452},
  doi          = {10.1023/A:1025086804452},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Nipkow03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/RusinowitchSK03,
  author       = {Micha{\"{e}}l Rusinowitch and
                  Sorin Stratulat and
                  Francis Klay},
  title        = {Mechanical Verification of an Ideal Incremental {ABR} Conformance
                  Algorithm},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {2},
  pages        = {53--177},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023251327012},
  doi          = {10.1023/A:1023251327012},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/RusinowitchSK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SantoneV03,
  author       = {Antonella Santone and
                  Gigliola Vaglini},
  title        = {Modifying {LOTOS} Specifications by Means of Automatable Formula-Based
                  Integrations},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {1},
  pages        = {33--58},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022561505762},
  doi          = {10.1023/A:1022561505762},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SantoneV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/StarkS03,
  author       = {Robert F. St{\"{a}}rk and
                  Joachim Schmid},
  title        = {Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {323--361},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025003423108},
  doi          = {10.1023/A:1025003423108},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/StarkS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Tinelli03,
  author       = {Cesare Tinelli},
  title        = {Cooperation of Background Reasoners in Theory Reasoning by Residue
                  Sharing},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {1},
  pages        = {1--31},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022587501759},
  doi          = {10.1023/A:1022587501759},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Tinelli03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Voronkov03,
  author       = {Andrei Voronkov},
  title        = {Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous
                  Rigid E-Unification},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {2},
  pages        = {121--151},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023260415982},
  doi          = {10.1023/A:1023260415982},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Voronkov03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos03,
  author       = {Larry Wos},
  title        = {The Strategy of Cramming},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {2},
  pages        = {179--204},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023278717096},
  doi          = {10.1023/A:1023278717096},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos03.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.