Archival Literature
Papers at International, Peer-Reviewed Conferences
- [3]
D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke, and T. Wiesing (2016)
The SMGloM project and system. towards a terminology and ontology for mathematics.
In Mathematical software - ICMS 2016 - 5th international congressMathematical Software - ICMS 2016 - 5th International Congress, G. Greuel, T. Koch, P. Paule, and A. Sommese (Eds.),
LNCS, Vol. 9725.
External Links: Link
Cited by: p1.
- [1]
T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2014)
Towards ontological support for principle solutions in mechanical engineering.
In Formal ontology in information systems - proceedings of the eighth international conference, FOIS 2014Formal Ontology in Information Systems - Proceedings of the Eighth
International Conference, FOIS 2014, P. Garbacz and O. Kutz (Eds.),
Frontiers in Artificial Intelligence and Applications, Vol. 267, pp. 427–432.
External Links: Document
Cited by: p1.
- [5]
M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing (2014)
System description: MathHub.info.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 431–434.
External Links: Link
Cited by: p1.
- [8]
C. Jucovschi (2014)
Towards an interaction-based integration of MKM services into end-user applications.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 344–356.
External Links: Link
Cited by: p1.
- [9]
A. Kohlhase, M. Kohlhase, C. Jucovschi, and A. Toader (2013)
Full semantic transparency: overcoming boundaries of applications.
In Human-computer interaction – interact 2013Human-Computer Interaction – INTERACT 2013, P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson, and M. Winckler (Eds.),
LNCS, pp. 406–423.
External Links: Link
Cited by: p1.
- [2]
C. David, C. Jucovschi, A. Kohlhase, and M. Kohlhase (2012)
Semantic Alliance: a framework for semantic allies.
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. 49–64.
External Links: Link
Cited by: p1.
- [7]
C. Jucovschi (2012)
Cost-effective integration of mkm semantic services into editing environments.
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. 96–110.
External Links: Link
Cited by: p1.
- [4]
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.
- [6]
C. Jucovschi and M. Kohlhase (2010)
sTeXIDE: an integrated development environment for sTeX collections.
In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.),
LNAI, pp. 336–344.
External Links: Link
Cited by: p1.
Theses
- [1]
C. Jucovschi (2010)
Editing knowledge in large mathematical corpora. a case study with semantic LaTeX (sTeX).
M.Sc. Thesis, Jacobs University.
External Links: Link
Cited by: p1.
Gray Literature
Papers at Peer-Reviewed Workshops
- [3]
M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing (2014)
System description: MathHub.info.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 431–434.
External Links: Link
Cited by: p1.
- [5]
C. Jucovschi (2014)
Towards an interaction-based integration of MKM services into end-user applications.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 344–356.
External Links: Link
Cited by: p1.
- [1]
T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013)
Semantic support for engineering design processes.
In Proc. 13th International Design Conference, DESIGN 2014,
External Links: Link
Cited by: p1.
- [4]
C. Jucovschi (2012)
Cost-effective integration of mkm semantic services into editing environments.
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. 96–110.
External Links: Link
Cited by: p1.
- [6]
A. Kohlhase and C. Jucovschi (2011)
planMP: collecting mathematical practices for mkm.
In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.),
Cited by: p1.
- [2]
D. Ginev, C. Jucovschi, S. Anca, M. Grigore, C. David, and M. Kohlhase (2009)
An architecture for linguistic and semantic analysis on the arXMLiv corpus.
In Applications of Semantic Technologies (AST) Workshop at Informatik 2009,
External Links: Link
Cited by: p1.
Unpublished
- [1]
T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013)
Towards ontological support for principle solutions in mechanical engineering.
External Links: Link
Cited by: p1.
- [2]
M. Kohlhase, Ş. Anca, C. Jucovschi, A. González Palomo, and I. A. Şucan (2008)
MathWebSearch 0.4, a semantic search engine for mathematics.
Note: manuscript
External Links: Link
Cited by: p1.