Skip to content
Snippets Groups Projects
Commit 1343c32e authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

publications for projects

parent c2e59844
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -79,14 +79,18 @@ layout: default
{% endfor %}
</div>
{% if page.website %}
{% if page.website or page.publink %}
<div class="card-action">
{% if page.website %}
<a target="_blank" href="{{page.website}}">Website</a>
&nbsp;
{% endif %}
<a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
{% if page.publink == "auto" %}
<a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a>
{% elsif page.publink %}
<a href="{{page.publink}}">Publications</a>
{% endif %}
</div>
{% endif %}
</div>
......
......@@ -2,7 +2,7 @@
layout: person
title: Theresa Pollinger
fullname: B.Sc. Theresa Pollinger
fullname: M.Sc. Theresa Pollinger
pic: public/images/tpollinger.jpg
role: master-student
......
......@@ -8,6 +8,7 @@ teaser: Towards a computer-supported, document-oriented process for systematic e
active: false
start_date: 2012-04
end_date: 2015-02
publink: auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Coordination of European content enrichment activities in the area of m
active: false
start_date: '2006'
end_date: '2009'
publink: auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Building a theory graph of logic represesentations.
active: false
start_date: '2009'
end_date: '2012'
publink: auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Integrating Theorem Prover Libraries through Meta-logical Frameworks
active: false
start_date: '2003'
end_date: '2006'
publink: auto
people:
- mkohlhase
......
......@@ -6,6 +6,7 @@ teaser: Flexiformalizing Mathematical Models as Research Data
active: true
start_date: '2016-11'
publink: http://kwarc.github.io/bibs/MaMoReD
people:
- mkohlhase
......@@ -24,8 +25,6 @@ The MaMoReD projects studies whether and how the flexiformalization of mathemati
mathematical models can allow them to be treated as research data, i.e. to be amenable to
mathematical knowledge management methods.
[Project Publications](http://kwarc.github.io/bibs/MaMoReD/)
### Workshops
<!-- don't introduce new lines here, it confuses the markdown processor; add two spaces at the end of a line for a line break -->
......
......@@ -8,6 +8,7 @@ teaser: Methods for information extraction and information retrieval for mathema
active: false
start_date: 2012-03
end_date: 2015-02
publink = auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: The OAF Project builds a theoretical framework for interoperability of t
active: true
start_date: '2014'
end_date: '2018'
publink=auto
people:
- mkohlhase
......
......@@ -7,6 +7,8 @@ teaser: Towards an Open Virtual Research Environment Framework for (Computationa
active: true
start_date: 2015-09
end_date: 2019-08
publink=http://kwarc.github.io/bibs/odk
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Using semantic features in document collections for better change manage
active: false
start_date: '2008'
end_date: '2010'
publik=auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Adding a Semantic Angle to Complex Systems
active: false
start_date: '22005'
end_date: '2008'
publink=auto
people:
- mkohlhase
......
......@@ -7,6 +7,7 @@ teaser: Methods and technologies to enhance spreadsheets semantically.
active: false
start_date: 2011-08
end_date: 2013-07
publink=auto
people:
- mkohlhase
......
......@@ -6,6 +6,7 @@ teaser: All four dimensions of Mathematical Knowledge Processing
active: true
start_date: '2011-12'
publink=auto
people:
- mkohlhase
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment