Publications

Table of Contents

• Conference and Workshop Contributions
• Theses

Conference and Workshop Contributions

1. Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe. Combining Source, Content, Presentation, Narration, and Relational Representation; pp. 212–227 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶

Theses

1. Alin Iacob. Towards Project-Based Workflows in Twelf; Master's Thesis, Jacobs University Bremen August 2011. ¶
2. Alin Iacob. Reasoning about Theory Morphisms; Bachelor's Thesis, Jacobs University Bremen 2009. ¶

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