resume: drop link to ~srba

On ~srba's recomendation

5 files changed, 14 insertions, 14 deletions

diff --git a/dst/resume-da.html b/dst/resume-da.html
index ba8a627..4d357f2 100644
--- a/dst/resume-da.html
+++ b/dst/resume-da.html
@@ -113,7 +113,7 @@
 <h2 id="publikationer">Publikationer</h2>
 
 <p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, <a href="http://www.cs.aau.dk/~srba">J. Srba</a>, <strong>A.M. Stück</strong>, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br>
 In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), LNCS, pages 1&#8211;8, Springer-Verlag, 2023.<br>
 <em>To appear.</em><br>
 <a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> 
diff --git a/dst/resume.html b/dst/resume.html
index 7ffb293..a68c601 100644
--- a/dst/resume.html
+++ b/dst/resume.html
@@ -113,7 +113,7 @@
 <h2 id="publications">Publications</h2>
 
 <p>[1] <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, <a href="http://www.cs.aau.dk/~srba">J. Srba</a>, <strong>A.M. Stück</strong>, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, S. Sørensen<br>
 In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN&#8217;23), LNCS, pages 1&#8211;8, Springer-Verlag, 2023.<br>
 <em>To appear.</em><br>
 <a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> &#160; <a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> 
diff --git a/dst/sitemap.xml b/dst/sitemap.xml
index f84abdb..1b15fdb 100644
--- a/dst/sitemap.xml
+++ b/dst/sitemap.xml
@@ -4,14 +4,14 @@ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9
 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd"
 xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
-<url><loc>https://adast.xyz/uses.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/resume.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/2023-02-log.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/projects.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/resume-da.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/arena.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/donate.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/now.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/services.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
-<url><loc>https://adast.xyz/index.html</loc><lastmod>2023-03-25</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/uses.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/resume.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/2023-02-log.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/projects.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/resume-da.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/arena.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/donate.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/now.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/services.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
+<url><loc>https://adast.xyz/index.html</loc><lastmod>2023-03-27</lastmod><priority>1.0</priority></url>
 </urlset>
diff --git a/src/resume-da.md b/src/resume-da.md
index 9cf7d48..b37bc0a 100644
--- a/src/resume-da.md
+++ b/src/resume-da.md
@@ -77,7 +77,7 @@
 ## Publikationer
 
 [1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, [J. Srba](http://www.cs.aau.dk/~srba), **A.M. Stück**, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
 In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), LNCS, pages 1--8, Springer-Verlag, 2023.<br>
 *To appear.*<br>
 [PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) &nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) 
diff --git a/src/resume.md b/src/resume.md
index d13cf89..1eb10af 100644
--- a/src/resume.md
+++ b/src/resume.md
@@ -77,7 +77,7 @@
 ## Publications
 
 [1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**<br>
-by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, [J. Srba](http://www.cs.aau.dk/~srba), **A.M. Stück**, S. Sørensen<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
 In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), LNCS, pages 1--8, Springer-Verlag, 2023.<br>
 *To appear.*<br>
 [PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) &nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)