Search Sciweavers | Sciweavers

4737 search results - page 155 / 948

» The LOGIC negotiation model

click to vote

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 3 months ago

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

14 years 3 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

14 years 3 months ago

Download bpm07.fit.qut.edu.au

Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...

claim paper

Read More »

click to vote

CMSB
2007
Springer

117views Applied Computing» more CMSB 2007»

Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

14 years 3 months ago

Download www.nesc.ac.uk

Aurélien Naldi, Denis Thieffry, Claudine Ch...

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers