Publications

Table of Contents

• Conference and Workshop Contributions
• Theses
• Miscellaneous

Conference and Workshop Contributions

1. Stefania Dumbrava, Fulya Horozal, Kristina Sojakova. A Case Study on Formalizing Algebra in a Module System; pp. 11–18 in Florian Rabe, Carsten Schürmann, eds.: Workshop on Modules and Libraries for Proof Assistants; ACM International Conference Proceeding Series (429), 2009. ¶

Theses

1. Stefania Dumbrava. Structured Specifications with Hiding in the Edinburgh Logical Framework LF; Bachelor's Thesis, Jacobs University Bremen 2010. ¶

Miscellaneous

1. Stefania Dumbrava, Florian Rabe. Structuring Theories with Partial Morphisms; , 2010. Workshop on Abstract Development Techniques ¶

(last regeneration: 2012-05-22+02:00)