Search Sciweavers | Sciweavers

20 search results - page 1 / 4

» fossacs 2007

click to vote

FOSSACS
2007
Springer

96views Software Engineering» more FOSSACS 2007»

On the Stability by Union of Reducibility Candidates

13 years 11 months ago

Download www.lama.univ-savoie.fr

Colin Riba

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

83views Software Engineering» more FOSSACS 2007»

Generalized Parity Games

13 years 11 months ago

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

88views Software Engineering» more FOSSACS 2007»

Tree Automata with Memory, Visibility and Structural Constraints

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Tree automata with one memory have been introduced in

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Pe...

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

100views Software Engineering» more FOSSACS 2007»

An Effective Algorithm for the Membership Problem for Extended Regular Expressions

13 years 8 months ago

Download fsl.cs.uiuc.edu

By adding the complement operator (

Grigore Rosu

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers