Search Sciweavers | Sciweavers

37 search results - page 3 / 8

» sofsem 2009

click to vote

SOFSEM
2009
Springer

106views Theoretical Computer Science» more SOFSEM 2009»

Group Input Machine

14 years 7 months ago

Download www.sofsem.cz

Ruslans Tarasovs, Rusins Freivalds

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

112views Theoretical Computer Science» more SOFSEM 2009»

Abstract Storage Devices

14 years 7 months ago

Download www.sofsem.cz

Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009

Robert König, Ueli M. Maurer, Stefano Tessaro

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

14 years 7 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

85views Theoretical Computer Science» more SOFSEM 2009»

A New Family of Regular Operators Fitting with the Position Automaton Computation

14 years 7 months ago

Download www.sofsem.cz

Pascal Caron, Jean-Marc Champarnaud, Ludovic Migno...

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers