Fulya Horozal: Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Papers at Peer-Reviewed Workshops
  4. Unpublished

Archival Literature

Papers at International, Peer-Reviewed Conferences

  1. [6] F. Horozal, M. Kohlhase and F. Rabe (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
  2. [5] F. Horozal, M. Kohlhase and F. Rabe (2012) Extending MKM formats at the statement level. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 65–80. External Links: Link Cited by: p1.
  3. [1] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski and F. Rabe (2011) Project abstract: logic atlas and integrator (LATIN). In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 289–291. External Links: Link Cited by: p1.
  4. [3] F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase and F. Rabe (2011) Combining source, content, presentation, narration, and relational representation. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 212–227. External Links: Link Cited by: p1.
  5. [4] F. Horozal, M. Kohlhase and F. Rabe (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
  6. [2] F. F. Horozal and C. E. Brown (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.

Theses

  1. [2] F. Horozal (2014-11) A framework for defining declarative languages. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
  2. [1] F. F. Horozal (2007) Towards a Natural Representation of Mathematics in Proof Assistants. Master’s Thesis, Saarland University, Saarbrücken, Germany. Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [6] F. Horozal, M. Kohlhase and F. Rabe (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
  2. [1] M. Codescu, F. Horozal, I. Ignatov and F. Rabe (2012) Representing CASL in a Proof-Theoretical Logical Framework. In Workshop on Algebraic Development Techniques, Cited by: p1.
  3. [2] M. Codescu, F. Horozal, T. Mossakowski and F. Rabe (2012) Compiling Logics. In Workshop on Algebraic Development Techniques, Cited by: p1.
  4. [7] F. Horozal and F. Rabe (2012) Representing Categories of Theories in a Proof-Theoretical Logical Framework. In Workshop on Algebraic Development Techniques, Cited by: p1.
  5. [5] F. Horozal, M. Kohlhase and F. Rabe (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
  6. [3] S. Dumbrava, F. Horozal and K. Sojakova (2009) A Case Study on Formalizing Algebra in a Module System. In Workshop on Modules and Libraries for Proof Assistants, F. Rabe and C. Schürmann (Eds.), ACM International Conference Proceeding Series, Vol. 429, pp. 11–18. Cited by: p1.
  7. [4] F. F. Horozal and C. E. Brown (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.

Unpublished

  1. [1] F. Horozal, M. Kohlhase, F. Rabe and K. Sojakova (2010) Towards an atlas of logics. External Links: Link Cited by: p1.