Search Sciweavers | Sciweavers

17920 search results - page 234 / 3584

» Recentering computer science

123

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 »

147

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 »

127

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 »

138

click to vote

STACS
2010
Springer

147views Theoretical Computer Science» more STACS 2010»

The Tropical Double Description Method

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers