default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Programming, Volume 64
Volume 64, Number 1, July 2005
- Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann:
Guest editors' introduction: Special issue on practical development of exact real number computation. 1-2 - Hans-Juergen Boehm:
The constructive reals as a Java library. 3-11 - Valérie Ménissier-Morain:
Arbitrary precision real arithmetic: design and algorithms. 13-39 - Jens Blanck:
Efficient exact computation of iterated maps. 41-59 - Hideki Tsuiki:
Real number computation with committed choice logic programming languages. 61-84 - Chen Li, Sylvain Pion, Chee-Keng Yap:
Recent progress in exact geometric computation. 85-111 - Mark Sofroniou, Giulia Spaletta:
Precise numerical computation. 113-134 - Nathalie Revol, Kyoko Makino, Martin Berz:
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. 135-154
Volume 64, Number 2, August 2005
- Roberto M. Amadio:
Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols. 155 - Michael Backes:
Unifying simulatability definitions in cryptographic systems under different timing assumptions. 157-188 - Rohit Chadha, John C. Mitchell
, Andre Scedrov, Vitaly Shmatikov:
Contract signing, optimism, and advantage. 189-218 - Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma:
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. 219-251 - Neil Evans, Steve A. Schneider:
Verifying security protocols with PVS: widening the rank function approach. 253-284 - Benjamin Aziz, Geoff W. Hamilton, David Gray:
A static analysis of cryptographic processes: the denotational approach. 285-320
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.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
