Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anne-Gwenn Bosser
Structural Analysis of Narratives With the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Foundational Extensible Corecursion: A Proof Assistant Perspective
ACM SIGPLAN Notices
Computer Science
A Structural and Functional Analysis of Dream Narratives.
Dreaming
Psychology
Proof Pearl: The Termination Analysis of Terminator
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coping With the Subterranean Environment: A Thematic Content Analysis of the Narratives of Cave Explorers
Journal of Human Performance in Extreme Environments
Smart Mirror With Voice Assistant
International Journal for Research in Applied Science and Engineering Technology
Standards of Proof and the Limits of Legal Analysis
SSRN Electronic Journal
