diff options
| author | Adam Stück <adam@adast.xyz> | 2023-03-27 09:21:26 +0200 |
|---|---|---|
| committer | Adam Stück <adam@adast.xyz> | 2023-03-27 09:21:26 +0200 |
| commit | bbc2c7b04ab081acde5a5e9e7a6d5fb5004ad83d (patch) | |
| tree | 6a23eccf1da603b59ab89bfe8d20497d9783f233 /dst | |
| parent | 087aab2e499372fdff59af572146cd3239425fd3 (diff) | |
resume: drop link to ~srba
On ~srba's recomendation
Diffstat (limited to 'dst')
| -rw-r--r-- | dst/resume-da.html | 2 | ||||
| -rw-r--r-- | dst/resume.html | 2 | ||||
| -rw-r--r-- | dst/sitemap.xml | 20 |
3 files changed, 12 insertions, 12 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’23), LNCS, pages 1–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>   <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’23), LNCS, pages 1–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>   <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> |