Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Dagstuhl-2013'

Dagstuhl-2013 published presentations and documents on DocSlides.

Exemplaric Expressivity
Exemplaric Expressivity
by debby-jeon
of Modal Logics. Ana Sokolova . University of...
Loop-Invariant Synthesis using Techniques from Constraint P
Loop-Invariant Synthesis using Techniques from Constraint P
by pasty-toler
Antoine . Miné. Jason . Breck. Thomas . Reps. Da...
Research software best practices: Transparency, credit, and
Research software best practices: Transparency, credit, and
by danika-pritchard
Alice Allen. Astrophysics Source Code Library. as...
A User -Guided Approach to
A User -Guided Approach to
by leventiser
Program . Analysis. Xin Zhang. Georgia . Tech. Joi...
Dagstuhl Seminar Proceedings 04461Practical Approaches to MultiObject
Dagstuhl Seminar Proceedings 04461Practical Approaches to MultiObject
by jasmine
4E.Rigoni,S.Polesthebasisofdirectionsnotnecessaril...