# Christine Rizkallah

According to our database

Collaborative distances:

^{1}, Christine Rizkallah authored at least 26 papers between 2011 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).

Proc. ACM Program. Lang., 2018

CoRR, 2018

CoRR, 2018

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016

CoRR, 2016

Incompatibility of Efficiency and Strategyproofness in the Random Assignment Setting with Indifferences.

CoRR, 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

PhD thesis, 2015

2014

J. Symb. Log., 2014

J. Autom. Reason., 2014

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Arch. Formal Proofs, 2013

From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction.

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

2011

it Inf. Technol., 2011

Arch. Formal Proofs, 2011

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011