Gabriel Radanne
4
Documents
Publications
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 2
- 1
- 1
|
A Survey on Parallelism and DeterminismACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Article dans une revue
hal-03828497v1
|
|
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT SolvingDesign, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
Communication dans un congrès
hal-04527225v1
|
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès
hal-04007446v1
|
|
Active Objects based on Algebraic Effects2024
Pré-publication, Document de travail
hal-04388798v1
|