Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anuchit Anuchitanukul
STeP: The Stanford Temporal Prover,
Related publications
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
The Stanford Organ: A Synthesis of Views, the Stanford Eclectic Tunings
Performance Practice Review
Saoithín: A Theorem Prover for UTP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ProVeR: Probabilistic Video Retrieval Using the Gauss-Tree
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The April Meeting in Stanford
Bulletin of the American Mathematical Society
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stanford University
Power Consumption Optimization for Bread Dough Prover
