Search Sciweavers | Sciweavers

11345 search results - page 272 / 2269

» Foundations of Computer Science

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

Download www.illc.uva.nl

Paul Dütting, Monika Henzinger, Ingmar Weber

claim paper

Read More »

139

click to vote

STACS
2010
Springer

147views Theoretical Computer Science» more STACS 2010»

The Tropical Double Description Method

16 years 1 months ago

Download www.lix.polytechnique.fr

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

claim paper

Read More »

182

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers