diff --git a/_layouts/project.html b/_layouts/project.html index 3312410fc410a1281ed0dcc9c049c016d1fa5853..187a1eff13ab18425a7140a65493e8ca5c189347 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 c9a0114210254cbe3aafce1a17deed21e6f8f01a..85fd67d23faf5fff160ea0d0dfa0ef10c8c19096 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 d1adf625a0152c5e85606fabc83b032e087f72cf..dd23974007d23e91b6ee366d6782d3e20130457e 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 4c656f4d6f13cf8932dfa8023c6818b3d554f3ee..f00b50e4c6b7954b6907c3cda485097a1bf81ab1 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 43d6a4270f9e40e15894062e03d6445c73520f9e..bf74a7a9c2a1d60646f6f51202be30d53cb8e391 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 e53847a1434853e86142d060d0fccfb68e4a8c17..c0b556efb445953805c43c572fbb3b89db3256fe 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 4012ccb242a3c701b4b0a82aa35154808fc0c585..5fdcb91600c5186b5a67cf627ca3fbf295b10c8e 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 8dfdf6bbe98f11d4e10183428599ce1dba537aa9..318d282a80f76c3f4a1d59f402991a3055977608 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 a492f77a7e62173a072339b0b5dcf7451dea65a9..36aee0498b6a398699437cb61ea2a4233d37f447 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 c996898f45af0ce9a854e243d1603a79d88d99ab..f3b729f9bce5352aa010777ef77453e7f5663948 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 1ef1d3a1c5b3db0a47cdca94a50d5151bc0d8dc6..20ff80f3bff8d7c76a1a1396f5b9da72e1e25383 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 790e02aa2434ddcceca3b81dd7b25e470e358d63..dcf786a64d1fa392c7b2d87a422d38f42b0abec6 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 6c8b338f8527be7117773552b1a80b1825e7f736..9557b211084ec3c2c0f897357f382284d55ead4a 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 67730487db44240c2fe54447fe79a5ee2efe7dac..2b2eac76d324238222207b67a3895e7ecf047d01 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