Sciweavers

    1064 search results - page 3 / 213
    » Disjoint Systems (Extended Abstract)
    Sort
    View
    ICALP
    1997
    Springer
    67views Programming Languages» more  ICALP 1997»
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)
    15 years 11 months ago
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)
    Download  www.lix.polytechnique.fr
    Olivier Bournez
    claim paper
    Read More »
    179
    Voted
    ICALP
    1992
    Springer
    77views Programming Languages» more  ICALP 1992»
    Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)
    15 years 11 months ago
    Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)
    Download  www.cs.tau.ac.il
    Alexander Moshe Rabinovich
    claim paper
    Read More »
    FSTTCS
    1999
    Springer
    98views Software Engineering» more  FSTTCS 1999»
    Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
    15 years 11 months ago
    Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
    Download  www.iis.nsk.su
    Ron van der Meyden, Nikolay V. Shilov
    claim paper
    Read More »
    154
    Voted
    STACS
    1995
    Springer
    110views Theoretical Computer Science» more  STACS 1995»
    On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
    15 years 11 months ago
    On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
    Download  www-verimag.imag.fr
    Oded Maler, Amir Pnueli, Joseph Sifakis
    claim paper
    Read More »
    JCT
    2010
    135views more  JCT 2010»
    Countable connected-homogeneous graphs
    15 years 5 months ago
    Countable connected-homogeneous graphs
    Download  www.amsta.leeds.ac.uk
    Abstract. A graph is connected-homogeneous if any isomorphism between finite connected induced subgraphs extends to an automorphism of the graph. In this paper we classify the cou...
    Robert Gray, D. Macpherson
    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.