:facetid:toc:\"db/journals/jlp/jlp64.bht\"
OK
:facetid:toc:db/journals/jlp/jlp64.bht
Roberto M. AmadioGuest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols.J. Log. Algebraic Methods Program.6421552005Journal Articlesopenjournals/jlp/Amadio0510.1016/J.JLAP.2004.09.001https://doi.org/10.1016/j.jlap.2004.09.001https://dblp.org/rec/journals/jlp/Amadio05
URL#5839280
Benjamin AzizGeoff W. HamiltonDavid GrayA static analysis of cryptographic processes: the denotational approach.J. Log. Algebraic Methods Program.642285-3202005Journal Articlesopenjournals/jlp/AzizHG0510.1016/J.JLAP.2004.09.006https://doi.org/10.1016/j.jlap.2004.09.006https://dblp.org/rec/journals/jlp/AzizHG05
URL#5839281
Michael Backes 0001Unifying simulatability definitions in cryptographic systems under different timing assumptions.J. Log. Algebraic Methods Program.642157-1882005Journal Articlesopenjournals/jlp/Backes0510.1016/J.JLAP.2004.09.002https://doi.org/10.1016/j.jlap.2004.09.002https://dblp.org/rec/journals/jlp/Backes05
URL#5839282
Jens BlanckEfficient exact computation of iterated maps.J. Log. Algebraic Methods Program.64141-592005Journal Articlesopenjournals/jlp/Blanck0510.1016/J.JLAP.2004.07.004https://doi.org/10.1016/j.jlap.2004.07.004https://dblp.org/rec/journals/jlp/Blanck05
URL#5839284
Hans-Juergen BoehmThe constructive reals as a Java library.J. Log. Algebraic Methods Program.6413-112005Journal Articlesopenjournals/jlp/Boehm0510.1016/J.JLAP.2004.07.002https://doi.org/10.1016/j.jlap.2004.07.002https://dblp.org/rec/journals/jlp/Boehm05
URL#5839285
Rohit ChadhaJohn C. MitchellAndre ScedrovVitaly ShmatikovContract signing, optimism, and advantage.J. Log. Algebraic Methods Program.642189-2182005Journal Articlesopenjournals/jlp/ChadhaMSS0510.1016/J.JLAP.2004.09.003https://doi.org/10.1016/j.jlap.2004.09.003https://dblp.org/rec/journals/jlp/ChadhaMSS05
URL#5839289
Neil EvansSteve A. SchneiderVerifying security protocols with PVS: widening the rank function approach.J. Log. Algebraic Methods Program.642253-2842005Journal Articlesopenjournals/jlp/EvansS0510.1016/J.JLAP.2004.09.005https://doi.org/10.1016/j.jlap.2004.09.005https://dblp.org/rec/journals/jlp/EvansS05
URL#5839294
Jean Goubault-LarrecqMuriel RogerKumar Neeraj VermaAbstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically.J. Log. Algebraic Methods Program.642219-2512005Journal Articlesopenjournals/jlp/Goubault-LarrecqRV0510.1016/J.JLAP.2004.09.004https://doi.org/10.1016/j.jlap.2004.09.004https://dblp.org/rec/journals/jlp/Goubault-LarrecqRV05
URL#5839297
Chen Li 0003Sylvain PionChee-Keng YapRecent progress in exact geometric computation.J. Log. Algebraic Methods Program.64185-1112005Journal Articlesopenjournals/jlp/LiPY0510.1016/J.JLAP.2004.07.006https://doi.org/10.1016/j.jlap.2004.07.006https://dblp.org/rec/journals/jlp/LiPY05
URL#5839304
Valérie Ménissier-MorainArbitrary precision real arithmetic: design and algorithms.J. Log. Algebraic Methods Program.64113-392005Journal Articlesopenjournals/jlp/Menissier-Morain0510.1016/J.JLAP.2004.07.003https://doi.org/10.1016/j.jlap.2004.07.003https://dblp.org/rec/journals/jlp/Menissier-Morain05
URL#5839305
Norbert Th. MüllerMartín Hötzel EscardóPaul ZimmermannGuest editors' introduction: Special issue on practical development of exact real number computation.J. Log. Algebraic Methods Program.6411-22005Journal Articlesopenjournals/jlp/MullerEZ0510.1016/J.JLAP.2004.07.001https://doi.org/10.1016/j.jlap.2004.07.001https://dblp.org/rec/journals/jlp/MullerEZ05
URL#5839306
Nathalie RevolKyoko MakinoMartin BerzTaylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.J. Log. Algebraic Methods Program.641135-1542005Journal Articlesopenjournals/jlp/RevolMB0510.1016/J.JLAP.2004.07.008https://doi.org/10.1016/j.jlap.2004.07.008https://dblp.org/rec/journals/jlp/RevolMB05
URL#5839308
Mark SofroniouGiulia SpalettaPrecise numerical computation.J. Log. Algebraic Methods Program.641113-1342005Journal Articlesopenjournals/jlp/SofroniouS0510.1016/J.JLAP.2004.07.007https://doi.org/10.1016/j.jlap.2004.07.007https://dblp.org/rec/journals/jlp/SofroniouS05
URL#5839309
Hideki TsuikiReal number computation with committed choice logic programming languages.J. Log. Algebraic Methods Program.64161-842005Journal Articlesopenjournals/jlp/Tsuiki0510.1016/J.JLAP.2004.07.005https://doi.org/10.1016/j.jlap.2004.07.005https://dblp.org/rec/journals/jlp/Tsuiki05
URL#5839311