From 0a16f36b8afc23f335c1146d6ea53329f9e27df7 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 15 Mar 2024 18:01:48 +0100 Subject: Add landing page sections and update resume --- src/components/landing/sections/Publications.tsx | 275 +++++++++++++++++++++++ 1 file changed, 275 insertions(+) create mode 100644 src/components/landing/sections/Publications.tsx (limited to 'src/components/landing/sections/Publications.tsx') diff --git a/src/components/landing/sections/Publications.tsx b/src/components/landing/sections/Publications.tsx new file mode 100644 index 0000000..e343c42 --- /dev/null +++ b/src/components/landing/sections/Publications.tsx @@ -0,0 +1,275 @@ +/* + * SPDX-FileCopyrightText: 2023-2024 Kristóf Marussy + * + * SPDX-License-Identifier: MIT + */ + +import { + ArrowSquareOut, + Certificate, + File, + Lock, + Package, + Play, +} from '@phosphor-icons/react'; +import clsx from 'clsx'; + +import { + CreativeCommonsIcon, + DBLPIcon, + GoogleScholarIcon, + MTMTIcon, + OrcidIcon, + ScopusIcon, +} from '@site/src/components/icons'; +import Section from '@site/src/components/landing/Section'; +import Subtitle from '@site/src/components/landing/Subtitle'; +import styles from './Publications.module.css'; + +function DOILink({ doi }: { doi: string }) { + return ( + + + ); +} + +function PDFLink({ filename }: { filename: string }) { + return ( + + + ); +} + +function ArtifactLink({ doi }: { doi: string }) { + return ( + + + ); +} + +function ArxivLink({ arxivID }: { arxivID: string }) { + return ( + + + ); +} + +function VideoLink({ url }: { url: string }) { + return ( + + + ); +} + +function ClosedAccess({ publisher, url }: { publisher: string; url: string }) { + return ( + + + ); +} + +function OpenAccess({ license }: { license: string }) { + const url = `https://creativecommons.org/licenses/${license}/4.0/`; + return ( + + + ); +} + +function ArtifactLicense({ license, url }: { license: string; url: string }) { + return ( + + + ); +} + +export default function Publications() { + return ( +
+
+
+ Selected publications +
    +
  • + Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel + Varró (2024). Refinery: Graph Solver as a Service. In  + + International Conference on Software Engineering (ICSE) 2024 + + . {' '} + {' '} + +
    • +
  • + Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik + (2022). System architecture synthesis for performability by logic + solvers. In  + + International Conference on Model Driven Engineering Languages + and Systems (MODELS) 2022, + {' '} + pp. 433–45. {' '} + {' '} + {' '} + {' '} + +
    • +
  • + Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár + Semeráth, Dániel Varró (2022). Consistent Scene Graph Generation + by Constraint Optimization. In  + + International Conference on Automated Software Engineering (ASE) + 2022 + + . {' '} + +
    • +
  • + Kristóf Marussy, Oszkár Semeráth, Dániel Varró (2022).{' '} + Automated Generation of Consistent Graph Models With Multiplicity + Reasoning. IEEE Transactions on Software Engineering,{' '} + volume 48, issue 5. {' '} + +
    • +
  • + Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel + Varró (2021). Worst-case Execution Time Calculation for + Query-based Monitors by Witness Generation.{' '} + ACM Transactions on Embedded Computing Systems, volume 20, + issue 6. {' '} + {' '} + +
    • +
  • + Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, + Dániel Varró (2020). A Specification Language for Consistent Model + Generation based on Partial Models.{' '} + Journal of Object Technology, volume 19, + pp. 3:1–22. {' '} + {' '} + {' '} + +
    • +
  • + Kristóf Marussy and Oszkár Semeráth (2018). Incremental + View Model Synchronization Using Partial Models. In  + + International Conference on Model Driven Engineering Languages + and Systems (MODELS) 2018, + {' '} + pp. 323–333. {' '} + {' '} + {' '} + {' '} + +
    • +
+
+
+

+ See the full list of my publications at +

+ +
+
+
+ ); +} -- cgit v1.2.3-54-g00ecf