Fulya Horozal: Publications

@inproceedings{HIJKR:dimensions:11,
author = "F. Horozal and A. Iacob and C. Jucovschi and M. Kohlhase and F. Rabe",
title = "{Combining Source, Content, Presentation, Narration, and Relational Representation}",
booktitle = "Intelligent Computer Mathematics",
editor = "J. Davenport and W. Farmer and F. Rabe and J. Urban",
series = {Lecture Notes in Computer Science},
volume = 6824,
pages = 211--226,
year = "2011",
}

@inproceedings{HKR:sequences:11,
author = "F. Horozal and M. Kohlhase and R. Rabe",
title = "Extending OpenMath with Sequences",
editor = "A. Asperti and J. Davenport and W. Farmer and F. Rabe and J. Urban",
booktitle = {Intelligent Computer Mathematics, Work-in-Progress Proceedings},
year = {2011},
series = {Technical Report, University of Bologna},
volume = "UBLCS-2011-04",
publisher = {University of Bologna},
pages = 58--72
}

@article{HR:folsound:10, author = "F. Horozal and F. Rabe", title = "{Representing Model Theory in a Type-Theoretical Logical Framework}", journal = "Theoretical Computer Science", volume = 412, year = "2011", pages = 4919--4945 }

@inproceedings{CHKMRS:lfhets:11,
author = "M. Codescu and F. Horozal and M. Kohlhase and T. Mossakowski and F. Rabe and K. Sojakova",
title = "{Towards Logical Frameworks in the Heterogeneous Tool Set Hets}",
booktitle = "{Workshop on Abstract Development Techniques}",
year = "2011",
note = "To appear in LNCS",
}

@inproceedings{CHKMR:hiding:11,
author = "M. Codescu and F. Horozal and M. Kohlhase and T. Mossakowski and F. Rabe",
title = "{A Proof Theoretic Interpretation of Model Theoretic Hiding}",
booktitle = "{Workshop on Abstract Development Techniques}",
year = "2011",
note = "To appear in LNCS",
}

@inproceedings{DHK:algebra:09,
author = "S. Dumbrava and F. Horozal and K. Sojakova",
title = "{A Case Study on Formalizing Algebra in a Module System}",
booktitle = "{Workshop on Modules and Libraries for Proof Assistants}",
editor = "F. Rabe and C. Sch{\"u}rmann",
publischer = "ACM",
series = "{ACM International Conference Proceeding Series}",
volume = "429",
year = "2009",
pages = "11--18",
}

@inproceedings{HR:folsound:09,
author = "F. Horozal and F. Rabe",
title = "{Representing Model Theory in a Type-Theoretical Logical Framework}",
booktitle = "{Fourth Workshop on Logical and Semantic Frameworks, with Applications}",
series = "{Electronic Notes in Theoretical Computer Science}", volume = 256,
pages = "49--65",
year = "2009",
}

@MastersThesis{Horozal07,
author = {Feryal Fulya Horozal},
title = {Towards a Natural Representation of Mathematics in Proof Assistants},
school = {Saarland University},
address = {Saarbr{\"u}cken, Germany},
type = {Master's Thesis},
year = {2007}
}

@InProceedings{brownhorozal07,
author = {Feryal Fulya Horozal and Chad E. Brown},
title = {Formal Representation of Mathematics in a Dependently Typed Set Theory},
booktitle = {Mathematical Knowledge Management {MKM 2007}},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = {4573},
year = {2007},
pages = {265-279}
}

@unpublished{HorKohRab:atlas10,
author = {Fulya Horozal and Michael Kohlhase and Florian Rabe and Kristina Sojakova},
title = {Towards an Atlas of Logics},
url = {http://kwarc.info/frabe/Research/HKRS_latinlf_10.pdf},
year = {2010}
}

@unpublished{rabeEA:mmtlf:08,
author = "F. Rabe and M. Kohlhase and F. Horozal",
title = "{Scaling LF to the Web}",
year = "2008"
}