Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Raskin
conf.researchr.org general profile
‹Programming› 2017 profile
‹Programming› 2019 profile
‹Programming› 2022 profile
Registered user since Sun 26 Mar 2017
Name:
Michael Raskin
Affiliation:
Université de Bordeaux / LaBRI
Personal website:
http://mccme.ru/~raskin
Contributions
2022
ELS
Author of Research Paper: QueryFS: compiling queries to define a filesystem within the ELS 2022-track
2019
ELS
Author of Working with First-Order Proofs and Provers within the ELS 2019-track
2017
ELS
Author of Writing a portable code walker in Common Lisp within the ELS 2017-track
Share
x
Thu 21 Nov 13:09