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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16626
search results - page 141 / 3326
»
Computing is a natural science
Sort
relevance
views
votes
recent
update
View
thumb
title
138
click to vote
STACS
2004
Springer
100
views
Theoretical Computer Science
»
more
STACS 2004
»
Automata-Based Analysis of Recursive Cryptographic Protocols
15 years 11 months ago
Download
dimacs.rutgers.edu
Ralf Küsters, Thomas Wilke
claim paper
Read More »
119
click to vote
WG
2004
Springer
93
views
Theoretical Computer Science
»
more
WG 2004
»
Core Stability of Minimum Coloring Games
15 years 11 months ago
Download
www.is.titech.ac.jp
Thomas Bietenhader, Yoshio Okamoto
claim paper
Read More »
147
click to vote
WG
2004
Springer
106
views
Theoretical Computer Science
»
more
WG 2004
»
A Symbolic Approach to the All-Pairs Shortest-Paths Problem
15 years 11 months ago
Download
ls2-www.cs.uni-dortmund.de
Daniel Sawitzki
claim paper
Read More »
116
click to vote
ACSC
2003
IEEE
54
views
Theoretical Computer Science
»
more
ACSC 2003
»
Environment-Independent Performance Analyses of Cryptographic Algorithms
15 years 11 months ago
Download
crpit.com
Adam Dunn
claim paper
Read More »
145
click to vote
FOCS
2003
IEEE
88
views
Theoretical Computer Science
»
more
FOCS 2003
»
Separating the Power of Monotone Span Programs over Different Fields
15 years 11 months ago
Download
www.cs.bgu.ac.il
Amos Beimel, Enav Weinreb
claim paper
Read More »
« Prev
« First
page 141 / 3326
Last »
Next »
