Sciweavers

    4737 search results - page 155 / 948
    » The LOGIC negotiation model
    Sort
    View
    LPNMR
    2009
    Springer
    94views Automated Reasoning» more  LPNMR 2009»
    Logic-Based Modeling in Systems Biology
    16 years 1 months ago
    Logic-Based Modeling in Systems Biology
    Download  www.cs.uni-potsdam.de
    Alexander Bockmayr
    claim paper
    Read More »
    130
    Voted
    TASE
    2008
    IEEE
    96views Software Engineering» more  TASE 2008»
    A Relational Model for Confined Separation Logic
    16 years 1 months ago
    A Relational Model for Confined Separation Logic
    Download  homepages.cwi.nl
    Shuling Wang, Luís Soares Barbosa, Jos&eacu...
    claim paper
    Read More »
    110
    Voted
    BPM
    2007
    Springer
    121views Business» more  BPM 2007»
    Inducing Declarative Logic-Based Models from Labeled Traces
    16 years 1 months ago
    Inducing Declarative Logic-Based Models from Labeled Traces
    Download  bpm07.fit.qut.edu.au
    Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...
    claim paper
    Read More »
    142
    Voted
    CMSB
    2007
    Springer
    117views Applied Computing» more  CMSB 2007»
    Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks
    16 years 1 months ago
    Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks
    Download  www.nesc.ac.uk
    Aurélien Naldi, Denis Thieffry, Claudine Ch...
    claim paper
    Read More »
    CSL
    2007
    Springer
    111views Automated Reasoning» more  CSL 2007»
    Model-Checking First-Order Logic: Automata and Locality
    16 years 1 months ago
    Model-Checking First-Order Logic: Automata and Locality
    Download  www.cl.cam.ac.uk
    Anuj Dawar
    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.