Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joao Marques-Silva
conf.researchr.org general profile
ASE 2023 profile
STAF 2023 profile
Not registered as user yet
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
x
Tue 12 Nov 13:17