• Sign in
  • Sign up
conf.researchr.org / Joao Marques-Silva
  • ASE 2023 profile
  • STAF 2023 profile

Not registered as user

Name:Joao Marques-Silva
Country:France
Affiliation:IRIT, CNRS, Toulouse

Contributions

2023

ASE

  • Author of SMT-Based Bounded Model Checking for Embedded ANSI-C Software within the Most Influential Papers (MIP)-track

TAP

  • Author of Certified Logic-Based Explainable AI -- The Case of Monotonic Classifiers within the Research Papers-track
Share
xWed 3 Sep 03:46
using conf.researchr.org (v1.70.0)
Support page
Sign Up