Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Dagstuhl'

Dagstuhl published presentations and documents on DocSlides.

Finding Optimal Program Abstractions
Finding Optimal Program Abstractions
by jane-oiler
Mayur Naik. Georgia Tech. Xin. Zhang. (Georgia T...
Reduction Theorems
Reduction Theorems
by cheryl-pisano
for . Proving Serializability . with . Applicatio...
Reduction Theorems
Reduction Theorems
by pamella-moone
for . Proving Serializability . with . Applicatio...
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...