Search Sciweavers | Sciweavers

488 search results - page 7 / 98

» Weighted Logics for Traces

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

15 years 5 months ago

Download bpm07.fit.qut.edu.au

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

claim paper

Read More »

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 5 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 3 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

click to vote

ENTCS
2010

111views more ENTCS 2010»

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

14 years 11 months ago

Download eprints.ecs.soton.ac.uk

Corina Cîrstea

claim paper

Read More »

click to vote

CORR
2004
Springer

88views Education» more CORR 2004»

A Trace Logic for Local Security Properties

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers