Search Sciweavers | Sciweavers

31387 search results - page 171 / 6278

» Abstracts

140

click to vote

ASIACRYPT
2004
Springer

113views Cryptology» more ASIACRYPT 2004»

k-Times Anonymous Authentication (Extended Abstract)

15 years 12 months ago

Download www.iacr.org

Isamu Teranishi, Jun Furukawa, Kazue Sako

claim paper

Read More »

145

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 12 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

125

click to vote

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

15 years 12 months ago

Download www.lsv.ens-cachan.fr

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

112

click to vote

BIRTHDAY
2004
Springer

84views Applied Computing» more BIRTHDAY 2004»

Die Verdichtung textuellen Wissens zu Information - Vom Wandel methodischer Paradigmen beim automatischen Abstracting

15 years 12 months ago

Download www.informationswissenschaft.org

Udo Hahn

claim paper

Read More »

142

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers