Advanced search    

Search: authors:"Jakub Zakrzewski"

3 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Coq Support in HAHA

HAHA is a tool that helps in teaching and learning Hoare logic. It is targeted at an introductory course on software verification. We present a set of new features of the HAHA verification environment that exploit Coq. These features are (1) generation of verification conditions in Coq so that they can be explored and proved interactively and (2) compilation of HAHA programs into...

Locating the quantum critical point of the Bose-Hubbard model through singularities of simple observables

ScholarSearch for Jakub Zakrzewski in:Nature Research journals • PubMed • Google Scholar Contributions M.Ł., B.D., and J.Z. contributed to the research described in this manuscript and to its preparation

Spontaneous magnetization and anomalous Hall effect in an emergent Dice lattice

• Google ScholarSearch for Anna Przysiężna in:Nature Research journals • PubMed • Google ScholarSearch for Jakub Zakrzewski in:Nature Research journals • PubMed • Google Scholar Contributions O.D., A.P., J.Z