Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
13306
search results - page 108 / 2662
»
Theoretical Computer Science
Sort
relevance
views
votes
recent
update
View
thumb
title
62
click to vote
ICTCS
2007
Springer
126
views
Theoretical Computer Science
»
more
ICTCS 2007
»
On Defining Proofs of Knowledge in the Bare Public Key Model
15 years 4 months ago
Download
aeolus.ceid.upatras.gr
Giovanni Di Crescenzo, Ivan Visconti
claim paper
Read More »
58
click to vote
TLCA
2007
Springer
89
views
Theoretical Computer Science
»
more
TLCA 2007
»
The Safe Lambda Calculus
15 years 4 months ago
Download
william.famille-blum.org
William Blum, C.-H. Luke Ong
claim paper
Read More »
39
click to vote
ACMSE
2006
ACM
93
views
Theoretical Computer Science
»
more
ACMSE 2006
»
Broadcast Updates with Local Look-up Search (BULLS): a new peer-to-peer protocol
15 years 3 months ago
Download
www.cis.ysu.edu
G. Perera, Kenneth J. Christensen
claim paper
Read More »
54
click to vote
ACMSE
2005
ACM
96
views
Theoretical Computer Science
»
more
ACMSE 2005
»
An experimental evaluation of a distributed Java compiler
15 years 3 months ago
Download
www.ecs.fullerton.edu
Andrew R. Dalton, Cindy Norris
claim paper
Read More »
40
click to vote
FOCS
2003
IEEE
108
views
Theoretical Computer Science
»
more
FOCS 2003
»
On the (In)security of the Fiat-Shamir Paradigm
15 years 3 months ago
Download
eprint.iacr.org
Shafi Goldwasser, Yael Tauman Kalai
claim paper
Read More »
« Prev
« First
page 108 / 2662
Last »
Next »