Sciweavers

    43 search results - page 1 / 9
    » birthday 2003
    Sort
    View
    BIRTHDAY
    2003
    Springer
    101views Applied Computing» more  BIRTHDAY 2003»
    The Reliable Algorithmic Software Challenge RASC
    16 years 27 days ago
    The Reliable Algorithmic Software Challenge RASC
    Download  www.mpi-inf.mpg.de
    Kurt Mehlhorn
    claim paper
    Read More »
    159
    Voted
    BIRTHDAY
    2003
    Springer
    114views Applied Computing» more  BIRTHDAY 2003»
    Verification by Abstract Interpretation
    15 years 11 months ago
    Verification by Abstract Interpretation
    Download  www.di.ens.fr
    Patrick Cousot
    claim paper
    Read More »
    147
    Voted
    BIRTHDAY
    2003
    Springer
    139views Applied Computing» more  BIRTHDAY 2003»
    A Call to Regularity
    16 years 27 days ago
    A Call to Regularity
    Download  www.irisa.fr
    Moshe Y. Vardi
    claim paper
    Read More »
    153
    Voted
    BIRTHDAY
    2003
    Springer
    104views Applied Computing» more  BIRTHDAY 2003»
    Route Planning and Map Inference with Global Positioning Traces
    16 years 27 days ago
    Route Planning and Map Inference with Global Positioning Traces
    Download  www.tzi.de
    Stefan Edelkamp, Stefan Schrödl
    claim paper
    Read More »
    140
    Voted
    BIRTHDAY
    2003
    Springer
    103views Applied Computing» more  BIRTHDAY 2003»
    On the Computational Complexity of Bisimulation, Redux
    16 years 27 days ago
    On the Computational Complexity of Bisimulation, Redux
    Download  www.cs.sunysb.edu
    Faron Moller, Scott A. Smolka
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.