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
43
search results - page 1 / 9
»
birthday 2003
Sort
relevance
views
votes
recent
update
View
thumb
title
132
click to vote
BIRTHDAY
2003
Springer
101
views
Applied Computing
»
more
BIRTHDAY 2003
»
The Reliable Algorithmic Software Challenge RASC
16 years 22 days ago
Download
www.mpi-inf.mpg.de
Kurt Mehlhorn
claim paper
Read More »
157
click to vote
BIRTHDAY
2003
Springer
114
views
Applied Computing
»
more
BIRTHDAY 2003
»
Verification by Abstract Interpretation
15 years 11 months ago
Download
www.di.ens.fr
Patrick Cousot
claim paper
Read More »
144
click to vote
BIRTHDAY
2003
Springer
139
views
Applied Computing
»
more
BIRTHDAY 2003
»
A Call to Regularity
16 years 22 days ago
Download
www.irisa.fr
Moshe Y. Vardi
claim paper
Read More »
152
click to vote
BIRTHDAY
2003
Springer
104
views
Applied Computing
»
more
BIRTHDAY 2003
»
Route Planning and Map Inference with Global Positioning Traces
16 years 22 days ago
Download
www.tzi.de
Stefan Edelkamp, Stefan Schrödl
claim paper
Read More »
140
click to vote
BIRTHDAY
2003
Springer
103
views
Applied Computing
»
more
BIRTHDAY 2003
»
On the Computational Complexity of Bisimulation, Redux
16 years 22 days ago
Download
www.cs.sunysb.edu
Faron Moller, Scott A. Smolka
claim paper
Read More »
« Prev
« First
page 1 / 9
Last »
Next »
