From 1343c32e948164763676cbf0896136cc345ab71d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 8 Feb 2018 19:06:20 +0100
Subject: [PATCH] publications for projects
---
_layouts/project.html | 8 ++++++--
people/tpollinger.md | 2 +-
projects/FormalCAD.md | 1 +
projects/jem.md | 1 +
projects/latin.md | 1 +
projects/logosphere.md | 1 +
projects/mamored.md | 3 +--
projects/mathsearch.md | 1 +
projects/oaf.md | 1 +
projects/odk.md | 2 ++
projects/omoc.md | 1 +
projects/once-cs.md | 1 +
projects/sissi.md | 1 +
projects/tetrapod.md | 1 +
14 files changed, 20 insertions(+), 5 deletions(-)
diff --git a/_layouts/project.html b/_layouts/project.html
index 3312410..187a1ef 100644
--- a/_layouts/project.html
+++ b/_layouts/project.html
@@ -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>
{% 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>
diff --git a/people/tpollinger.md b/people/tpollinger.md
index c9a0114..85fd67d 100644
--- a/people/tpollinger.md
+++ b/people/tpollinger.md
@@ -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
diff --git a/projects/FormalCAD.md b/projects/FormalCAD.md
index d1adf62..dd23974 100644
--- a/projects/FormalCAD.md
+++ b/projects/FormalCAD.md
@@ -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
diff --git a/projects/jem.md b/projects/jem.md
index 4c656f4..f00b50e 100644
--- a/projects/jem.md
+++ b/projects/jem.md
@@ -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
diff --git a/projects/latin.md b/projects/latin.md
index 43d6a42..bf74a7a 100644
--- a/projects/latin.md
+++ b/projects/latin.md
@@ -7,6 +7,7 @@ teaser: Building a theory graph of logic represesentations.
active: false
start_date: '2009'
end_date: '2012'
+publink: auto
people:
- mkohlhase
diff --git a/projects/logosphere.md b/projects/logosphere.md
index e53847a..c0b556e 100644
--- a/projects/logosphere.md
+++ b/projects/logosphere.md
@@ -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
diff --git a/projects/mamored.md b/projects/mamored.md
index 4012ccb..5fdcb91 100644
--- a/projects/mamored.md
+++ b/projects/mamored.md
@@ -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 -->
diff --git a/projects/mathsearch.md b/projects/mathsearch.md
index 8dfdf6b..318d282 100644
--- a/projects/mathsearch.md
+++ b/projects/mathsearch.md
@@ -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
diff --git a/projects/oaf.md b/projects/oaf.md
index a492f77..36aee04 100644
--- a/projects/oaf.md
+++ b/projects/oaf.md
@@ -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
diff --git a/projects/odk.md b/projects/odk.md
index c996898..f3b729f 100644
--- a/projects/odk.md
+++ b/projects/odk.md
@@ -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
diff --git a/projects/omoc.md b/projects/omoc.md
index 1ef1d3a..20ff80f 100644
--- a/projects/omoc.md
+++ b/projects/omoc.md
@@ -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
diff --git a/projects/once-cs.md b/projects/once-cs.md
index 790e02a..dcf786a 100644
--- a/projects/once-cs.md
+++ b/projects/once-cs.md
@@ -7,6 +7,7 @@ teaser: Adding a Semantic Angle to Complex Systems
active: false
start_date: '22005'
end_date: '2008'
+publink=auto
people:
- mkohlhase
diff --git a/projects/sissi.md b/projects/sissi.md
index 6c8b338..9557b21 100644
--- a/projects/sissi.md
+++ b/projects/sissi.md
@@ -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
diff --git a/projects/tetrapod.md b/projects/tetrapod.md
index 6773048..2b2eac7 100644
--- a/projects/tetrapod.md
+++ b/projects/tetrapod.md
@@ -6,6 +6,7 @@ teaser: All four dimensions of Mathematical Knowledge Processing
active: true
start_date: '2011-12'
+publink=auto
people:
- mkohlhase
--
GitLab