docs: update landing page

2 files changed, 169 insertions, 1 deletions

diff --git a/subprojects/docs/src/pages/index.module.css b/subprojects/docs/src/pages/index.module.css
index 533e8db1..572e5eef 100644
--- a/subprojects/docs/src/pages/index.module.css
+++ b/subprojects/docs/src/pages/index.module.css
@@ -26,6 +26,10 @@
   }
 }
 
+.section__title {
+  text-align: center;
+}
+
 .section--video {
   background: var(--ifm-background-surface-color);
 }
diff --git a/subprojects/docs/src/pages/index.tsx b/subprojects/docs/src/pages/index.tsx
index 713223c2..7caf5727 100644
--- a/subprojects/docs/src/pages/index.tsx
+++ b/subprojects/docs/src/pages/index.tsx
@@ -5,7 +5,6 @@
  */
 
 import Link from '@docusaurus/Link';
-// import PlayCircle from 'vg';
 import Layout from '@theme/Layout';
 import clsx from 'clsx';
 import { useState } from 'react';
@@ -13,6 +12,8 @@ import { useState } from 'react';
 import styles from './index.module.css';
 import videoCover from './video-cover.webp?url';
 
+import Features from '@site/src/components/Features';
+
 function Hero() {
   return (
     <header className={clsx('hero', 'hero--dark', styles['hero'])}>
@@ -65,6 +66,7 @@ function Video() {
   const [started, setStarted] = useState(false);
   return (
     <section className={clsx(styles['section'], styles['section--video'])}>
+      <h2 className="sr-only">Check out the intro video</h2>
       <div className="container">
         <div className={styles['video__container']}>
           {started ? (
@@ -106,11 +108,173 @@ function Video() {
   );
 }
 
+function Publication({
+  doi,
+  pdf,
+  video,
+  children,
+}: {
+  doi?: string;
+  pdf?: string;
+  video?: string;
+  children?: React.ReactNode;
+}) {
+  return (
+    <li>
+      {children}
+      {doi && (
+        <>
+          {' '}
+          [<Link href={`https://doi.org/${doi}`}>doi</Link>]
+        </>
+      )}
+      {pdf && (
+        <>
+          {' '}
+          [<Link href={pdf}>pdf</Link>]
+        </>
+      )}
+      {video && (
+        <>
+          {' '}
+          [<Link href={video}>video</Link>]
+        </>
+      )}
+    </li>
+  );
+}
+
+Publication.defaultProps = {
+  doi: undefined,
+  pdf: undefined,
+  video: undefined,
+  children: undefined,
+};
+
+function Publications() {
+  return (
+    <div className={styles['section']}>
+      <div className="container">
+        <h2 className={styles['section__title']}>Related publications</h2>
+        <div className="row">
+          <div className="col col--6">
+            <h3>Tool demonstration</h3>
+            <ul>
+              <Publication
+                doi="10.1145/3639478.3640045"
+                pdf="pathname:///papers/icse24-demo.pdf"
+                video="https://youtu.be/Qy_3udNsWsM"
+              >
+                K. Marussy, A. Ficsor, O. Semeráth, D. Varró: &ldquo;Refinery:
+                Graph Solver as a Service&rdquo;{' '}
+                <em>ICSE 2024 Demonstrations</em>
+              </Publication>
+            </ul>
+            <h3>Partial model specification language</h3>
+            <ul>
+              <Publication
+                doi="10.5381/jot.2020.19.3.a12"
+                pdf="https://www.jot.fm/issues/issue_2020_03/article12.pdf"
+                video="https://www.youtube.com/watch?v=ggTbv_s5t2A"
+              >
+                K. Marussy, O. Semeráth, A. Babikian, D. Varró:{' '}
+                <em>
+                  A Specification Language for Consistent Model Generation based
+                  on Partial Models.
+                </em>{' '}
+                J. Object Technol. <b>19</b>(3): 3:1-22 (2020)
+              </Publication>
+            </ul>
+            <h3>Diverse and realistic graph generation</h3>
+            <ul>
+              <Publication
+                doi="10.1007/s10009-019-00530-6"
+                pdf="https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button"
+              >
+                O. Semeráth, R. Farkas, G. Bergmann, D. Varró:{' '}
+                <em>
+                  Diversity of graph models and graph generators in mutation
+                  testing.
+                </em>{' '}
+                Int. J. Softw. Tools Technol. Transf. <b>22</b>(1): 57-78 (2020)
+              </Publication>
+              <Publication
+                doi="10.1007/s10270-021-00884-z"
+                pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button"
+              >
+                O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G.
+                Szárnyas, D. Varró:{' '}
+                <em>
+                  Automated generation of consistent, diverse and structurally
+                  realistic graph models.
+                </em>{' '}
+                Softw. Syst. Model. <b>20</b>(5): 1713-1734 (2021)
+              </Publication>
+            </ul>
+          </div>
+          <div className="col col--6">
+            <h3>Consistent graph generation techniques</h3>
+            <ul>
+              <Publication
+                doi="10.1145/3180155.3180186"
+                pdf="https://dl.acm.org/doi/pdf/10.1145/3180155.3180186"
+              >
+                O. Semeráth, A. Nagy, D. Varró: &ldquo;A graph solver for the
+                automated generation of consistent domain-specific
+                models.&rdquo; <em>ICSE 2018:</em> 969-980
+              </Publication>
+              <Publication
+                doi="10.1109/TSE.2020.3025732"
+                pdf="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9201551"
+              >
+                K. Marussy, O. Semeráth, D. Varró:{' '}
+                <em>
+                  Automated Generation of Consistent Graph Models With
+                  Multiplicity Reasoning.
+                </em>{' '}
+                IEEE Trans. Softw. Eng. <b>48</b>(5): 1610-1629 (2022)
+              </Publication>
+              <Publication
+                doi="10.1007/s10270-021-00918-6"
+                pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf?pdf=button"
+              >
+                A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró:{' '}
+                <em>
+                  Automated generation of consistent models using qualitative
+                  abstractions and exploration strategies.
+                </em>{' '}
+                Softw. Syst. Model. <b>21</b>(5): 1763-1787 (2022)
+              </Publication>
+            </ul>
+            <h3>Correctness proofs</h3>
+            <ul>
+              <Publication
+                doi="10.1007/978-3-319-75396-6_16"
+                pdf="https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf"
+              >
+                D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: &ldquo;Towards
+                the Automated Generation of Consistent, Diverse, Scalable and
+                Realistic Graph Models.&rdquo;{' '}
+                <em>Graph Transformation, Specifications, and Nets</em> 2018:
+                285-312
+              </Publication>
+            </ul>
+          </div>
+        </div>
+      </div>
+    </div>
+  );
+}
+
 export default function Home() {
   return (
     <Layout>
       <Hero />
+      <div className={styles['section']}>
+        <Features />
+      </div>
       <Video />
+      <Publications />
     </Layout>
   );
 }