Sciweavers

    124
    Voted
    TOCL
    2008
    102views more  TOCL 2008»
    Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
    15 years 16 days ago
    Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
    Download  www2.in.tum.de
    Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
    Helmut Seidl, Kumar Neeraj Verma
    claim paper
    Read More »
    74
    Voted
    TOCL
    2008
    46views more  TOCL 2008»
    Reasoning with recursive loops under the PLP framework
    15 years 16 days ago
    Reasoning with recursive loops under the PLP framework
    Download  tocl.acm.org
    Yi-Dong Shen
    claim paper
    Read More »
    76
    Voted
    TOCL
    2008
    46views more  TOCL 2008»
    Program termination and well partial orderings
    15 years 16 days ago
    Program termination and well partial orderings
    Download  research.microsoft.com
    Andreas Blass, Yuri Gurevich
    claim paper
    Read More »
    72
    Voted
    TOCL
    2008
    46views more  TOCL 2008»
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
    15 years 16 days ago
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
    Download  tocl.acm.org
    Agostino Dovier, Carla Piazza, Gianfranco Rossi
    claim paper
    Read More »
    77
    Voted
    TOCL
    2008
    75views more  TOCL 2008»
    Inferring non-suspension conditions for logic programs with dynamic scheduling
    15 years 16 days ago
    Inferring non-suspension conditions for logic programs with dynamic scheduling
    Download  tocl.acm.org
    Samir Genaim, Andy King
    claim paper
    Read More »
    TOCL
    2008
    86views more  TOCL 2008»
    Conjunctive query containment and answering under description logic constraints
    15 years 16 days ago
    Conjunctive query containment and answering under description logic constraints
    Download  tocl.acm.org
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    76
    Voted
    TOCL
    2008
    78views more  TOCL 2008»
    Contextual modal type theory
    15 years 16 days ago
    Contextual modal type theory
    Download  www.cs.cmu.edu
    Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
    claim paper
    Read More »
    121
    Voted
    TOCL
    2008
    113views more  TOCL 2008»
    Abstract state machines capture parallel algorithms: Correction and extension
    15 years 16 days ago
    Abstract state machines capture parallel algorithms: Correction and extension
    Download  tocl.acm.org
    State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
    Andreas Blass, Yuri Gurevich
    claim paper
    Read More »
    77
    Voted
    TOCL
    2008
    52views more  TOCL 2008»
    Durations and parametric model-checking in timed automata
    15 years 16 days ago
    Durations and parametric model-checking in timed automata
    Download  tocl.acm.org
    Véronique Bruyère, Emmanuel Dall'Oli...
    claim paper
    Read More »
    80
    Voted
    TOCL
    2008
    82views more  TOCL 2008»
    First-order complete and computationally complete query languages for spatio-temporal databases
    15 years 16 days ago
    First-order complete and computationally complete query languages for spatio-temporal databases
    Download  tocl.acm.org
    Floris Geerts, Sofie Haesevoets, Bart Kuijpers
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.