Feedback

Browsing by Promotor : Fontaine, Pascal

Showing results 1 to 9 of 9
  TitleAuthor(s)Year(Co)Promotor(s)
Access icon Analysis and conception of a solution to synchronise Jira instancesBourdouxhe, Alexandre2023Fontaine, Pascal ULiège
Access icon Chronological vs. non-chronological backtracking in satisfiability modulo theoriesCoutelier, Robin2023Fontaine, Pascal ULiège
Access icon Implementing an Automatic Pointers Exercises Generator in CAFÉ 2.0Baum, Valentin2023Donnet, Benoît ULiège; Fontaine, Pascal ULiège
Access icon Implementing the beta machine on a Terasic DE10 SoC + FPGA development boardPolet, Quentin2021Fontaine, Pascal ULiège; Mathy, Laurent ULiège
Access icon Master thesis : Creation of a domain specific language for an Extract-Transform-Load systemWauthoz, Julien2022Lambert, Marie ULiège; Fontaine, Pascal ULiège
Access icon Master thesis : Implementing pipelining for an FPGA incarnation of the beta machineHenrotte, Justin2024Mathy, Laurent ULiège; Fontaine, Pascal ULiège
Access icon Modeling and Solving Problems Using Propositional Logic and SAT SolversAldeghi, Florian2023Fontaine, Pascal ULiège
Access icon N/ALeruth, Guillaume2024Fontaine, Pascal ULiège
Access icon Satisfiability Modulo Theories for finite domainsDasnois, Louis2023Fontaine, Pascal ULiège
Showing results 1 to 9 of 9