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.