Search Sciweavers | Sciweavers

15777 search results - page 539 / 3156

» The Reformulation-Optimization Software Engine

124

Voted

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

15 years 12 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

Voted

FSTTCS
2009
Springer

131views Software Engineering» more FSTTCS 2009»

Deterministic Automata and Extensions of Weak MSO

15 years 11 months ago

Download www.mimuw.edu.pl

Mikolaj Bojanczyk, Szymon Torunczyk

claim paper

Read More »

120

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

15 years 11 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

109

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

15 years 11 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

109

click to vote

SFM
2009
Springer

85views Formal Methods» more SFM 2009»

Fundamentals of Session Types

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers