diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
| commit | 313046d9f63482f32f7bf811ab93ff5b403f8a79 (patch) | |
| tree | a51926776f1e8c50dabfec58930f5f236c1f5d95 | |
| parent | f9d5943d2ba2cf8a756a7b2ed97f4d9327ec4025 (diff) | |
Publications -> Writings
| -rw-r--r-- | experience/2019-06_lis.nix | 4 | ||||
| -rw-r--r-- | experience/2020-03_nii.nix | 2 | ||||
| -rw-r--r-- | experience/2022-03_irif.nix | 2 | ||||
| -rw-r--r-- | experience/2022-09_tweag.nix | 2 | ||||
| -rw-r--r-- | experience/2023-03_irif.nix | 4 |
5 files changed, 7 insertions, 7 deletions
diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix index 6b2612f..456e6dc 100644 --- a/experience/2019-06_lis.nix +++ b/experience/2019-06_lis.nix @@ -27,12 +27,12 @@ { name = "internship report"; id = "aristoteMarcheQuantiqueReseau2019"; - type = "Publications"; + type = "Writings"; } { name = "paper"; id = "aristoteDynamicalTriangulationInduced2020"; - type = "Publications"; + type = "Writings"; } ]; description = "Developed a quantum walker model whose density changes its own environment."; diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index 68357fa..0324f3d 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -31,7 +31,7 @@ { name = "internship report"; id = "aristoteFibrationalFrameworkNested2020"; - type = "Publications"; + type = "Writings"; } ]; description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix index 531c0d8..ecffaae 100644 --- a/experience/2022-03_irif.nix +++ b/experience/2022-03_irif.nix @@ -27,7 +27,7 @@ { name = "internship report"; id = "aristoteApplicationsCategoricalFramework2022"; - type = "Publications"; + type = "Writings"; } ]; description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms."; diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix index 0836be3..bc7c000 100644 --- a/experience/2022-09_tweag.nix +++ b/experience/2022-09_tweag.nix @@ -27,7 +27,7 @@ { name = "blog post"; id = "aristoteSmtlibbackendsFasterSMTLIBbased2023"; - type = "Publications"; + type = "Writings"; } { name = "library"; diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix index 9e0f0ba..b3aad75 100644 --- a/experience/2023-03_irif.nix +++ b/experience/2023-03_irif.nix @@ -25,8 +25,8 @@ ]; assets = [ { - type = "Publications"; - id = "aristoteFunctorialApproachMinimizing2023a"; + type = "Writings"; + id = "aristoteActiveLearningDeterministic2024"; name = "paper"; } ]; |