diff options
Diffstat (limited to 'experience')
| -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"; } ]; |
