Laura I. Meikle
According to our database1,
Laura I. Meikle
authored at least 7 papers
between 2003 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
PhD thesis, 2014
2010
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
2008
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2004
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003