Search Sciweavers | Sciweavers

11395 search results - page 257 / 2279

» Beyond computer science

114

click to vote

SOFSEM
2009
Springer

104views Theoretical Computer Science» more SOFSEM 2009»

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

16 years 3 months ago

Download www.sofsem.cz

Taolue Chen, Wan Fokkink, Rob J. van Glabbeek

claim paper

Read More »

124

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

claim paper

Read More »

144

click to vote

SOFSEM
2009
Springer

107views Theoretical Computer Science» more SOFSEM 2009»

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Jens Bachmann, Martin Riedl, Johann Schuster, Mark...

claim paper

Read More »

149

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

128

click to vote

STACS
2010
Springer

139views Theoretical Computer Science» more STACS 2010»

Sponsored Search, Market Equilibria, and the Hungarian Method

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers