|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 788 occurrences of 554 keywords
|
|
|
Results
Found 5857 publication records. Showing 5134 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp |
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pp. 132-143, 2019, ACM, 978-1-4503-6222-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette |
Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pp. 1-13, 2019, ACM, 978-1-4503-6222-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Immler, Bohua Zhan |
Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pp. 65-77, 2019, ACM, 978-1-4503-6222-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ralph Bottesch, Max W. Haslbeck, René Thiemann |
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 223-239, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Burkhart Wolff |
Isabelle/DOF: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 275-292, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Eberl |
Verified Real Asymptotics in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019., pp. 147-154, 2019, ACM, 978-1-4503-6084-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel |
Isabelle technology for the Archive of Formal Proofs with application to MMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Alexander Maletzky |
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings, pp. 155-170, 2019, Springer, 978-3-030-23249-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Joshua Chen |
Hybrid and alternative logics in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Makarius Wenzel |
Interaction with Formal Mathematical Documents in Isabelle/PIDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings, pp. 1-15, 2019, Springer, 978-3-030-23249-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock |
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings, pp. 16-27, 2019, Springer, 978-3-030-23249-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Sven Schneider 0001 |
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Lars Hupel |
Verified Code Generation from Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
16 | Ondrej Kuncar, Andrei Popescu 0001 |
Safety and conservativity of definitions in HOL and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 24:1-24:26, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen |
Programming and verifying a declarative first-order prover in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 31(3), pp. 281-299, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Bohua Zhan, Maximilian P. L. Haslbeck |
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.01336, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry |
Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.11979, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Makarius Wenzel |
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE@FLoC ![In: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., pp. 71-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller |
Attack Trees in Isabelle - CTL semantics, correctness and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06494, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Wenda Li, Lawrence C. Paulson |
Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.03922, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Simon Foster 0001, James Baxter 0001, Ana Cavalcanti 0001, Alvaro Miyazawa, Jim Woodcock 0001 |
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.08588, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | David Butler 0002, David Aspinall 0001, Adrià Gascón |
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.12482, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Wenda Li, Lawrence C. Paulson |
Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.11093, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Alexander Maletzky, Fabian Immler |
Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.00304, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Yutaka Nagashima, Julian Parsert |
Goal-Oriented Conjecturing for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.04774, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Artem Yushkovskiy, Stavros Tripakis |
Comparison of Two Theorem Provers: Isabelle/HOL and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.09701, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Yu Zhang, Yongwang Zhao, David Sanán |
A Verified Timsort C Implementation in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.03318, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Mnacho Echenim, Hervé Guiol, Nicolas Peltier |
Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.09873, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Yutaka Nagashima, Yilun He |
PaMpeR: Proof Method Recommendation System for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.07239, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch |
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Mohammad Abdulaziz, Lawrence C. Paulson |
An Isabelle/HOL formalisation of Green's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | David Fuenmayor, Christoph Benzmüller |
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Peter Lammich, Simon Wimmer 0001 |
VerifyThis 2018 - Polished Isabelle Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Stefan Hallerstede |
Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL - Springer Verlag, 2014, x + 289 pp, € 63, 29 (Hardback), ISBN 978-3-319-10542-0, http: //www.concrete-semantics.org/. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 30(3-4), pp. 491-492, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Diego Marmsoler |
A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 251-269, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Karol Pak |
Mizar Set Comprehension in Isabelle Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018., pp. 23-26, 2018, 978-83-952357-0-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Michael Herzberg |
A Formal Semantics of the Core DOM in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018, pp. 741-749, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche |
A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 346-353, 2018, Springer, 978-3-030-00855-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hupel, Tobias Nipkow |
A Verified Compiler from Isabelle/HOL to CakeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 999-1026, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Bohua Zhan, Maximilian P. L. Haslbeck |
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pp. 532-548, 2018, Springer, 978-3-319-94204-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chantal Keller |
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 103-119, 2018, Springer, 978-3-319-92993-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, James Baxter 0001, Ana Cavalcanti 0001, Alvaro Miyazawa, Jim Woodcock 0001 |
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 137-155, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe |
Physical Addressing on Real Hardware in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 1-19, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler |
Fast Machine Words in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 388-410, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples |
Towards verifying ethereum smart contract bytecode in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018, pp. 66-77, 2018, ACM, 978-1-4503-5586-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yutaka Nagashima, Yilun He |
PaMpeR: proof method recommendation system for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 362-372, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller |
Attack Trees in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings, pp. 611-628, 2018, Springer, 978-3-030-01949-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Karol Pak |
Isabelle Import Infrastructure for the Mizar Mathematical Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, pp. 131-146, 2018, Springer, 978-3-319-96811-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff |
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, pp. 23-38, 2018, Springer, 978-3-319-96811-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Slawomir Kolodynski |
IsarMathLib - a Formalized Mathematics Library for Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Alexander Maletzky, Fabian Immler |
Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, pp. 178-193, 2018, Springer, 978-3-319-96811-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yutaka Nagashima, Julian Parsert |
Goal-Oriented Conjecturing for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, pp. 225-231, 2018, Springer, 978-3-319-96811-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Anders Schlichtkrull |
Formalization of Logic in the Isabelle Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
16 | Jørgen Villadsen, Anders Schlichtkrull |
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Large Scale Data Knowl. Centered Syst. ![In: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Special Issue on Consistency and Inconsistency in Data-Centric Applications, pp. 92-122, 2017, Springer, 978-3-662-55946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull |
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull |
Natural Deduction and the Isabelle Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 140-155, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yutaka Nagashima |
Towards Smart Proof Search for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.03037, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Stéphane Le Roux 0001, Érik Martin-Dorel, Jan-Georg Smaus |
An Existence Theorem of Nash Equilibrium in Coq and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017., pp. 46-60, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ben Blumson |
Anselm's God in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Daniel Kirchner |
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | David Fuenmayor, Christoph Benzmüller |
Types, Tableaus and Gödel's God in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Johannes Hölzl |
Markov Chains and Markov Decision Processes in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 59(3), pp. 345-387, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Eberl |
Proving Divide and Conquer Complexities in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 58(4), pp. 483-508, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Karol Pak |
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MACIS ![In: Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings, pp. 163-178, 2017, Springer, 978-3-319-72452-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Karol Pak |
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., pp. 227-236, 2017, 978-83-946253-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Viktor Hess, Sebastian Mödersheim |
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017, pp. 451-463, 2017, IEEE Computer Society, 978-1-5386-3217-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, Jim Woodcock 0001 |
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Security, and Puzzles ![In: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 39-64, 2017, Springer, 978-3-319-51045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ondrej Kuncar, Andrei Popescu 0001 |
Comprehending Isabelle/HOL's Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 724-749, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mnacho Echenim, Nicolas Peltier |
The Binomial Pricing Model in Finance: A Formalization in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, pp. 546-562, 2017, Springer, 978-3-319-63045-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yutaka Nagashima, Ramana Kumar |
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, pp. 528-545, 2017, Springer, 978-3-319-63045-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Albert Rizaldi, Jonas Keinholz, Monika Huber 0001, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 50-66, 2017, Springer, 978-3-319-66844-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Sven Linker |
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 34-49, 2017, Springer, 978-3-319-66844-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Juan Carlos Augusto, Simon Jones |
Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017, pp. 401-406, 2017, IEEE, 978-1-5090-5756-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | David Butler 0002, David Aspinall 0001, Adrià Gascón |
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 114-130, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche |
On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017, pp. 419-426, 2017, IEEE Computer Society, 978-1-5386-1562-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Hölzl |
Markov processes in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017, pp. 100-111, 2017, ACM, 978-1-4503-4705-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel |
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 11:1-11:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 194-209, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller |
A Proof Calculus for Attack Trees in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPM/CBT@ESORICS ![In: Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings, pp. 3-18, 2017, Springer, 978-3-319-67815-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Joseph R. Harrison |
Towards an Isabelle/HOL formalisation of core Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017, pp. 55-63, 2017, ACM, 978-1-4503-5179-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Maletzky, Wolfgang Windsteiger |
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings, pp. 25-39, 2017, Springer, 978-3-319-62074-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Karol Pak |
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings, pp. 193-207, 2017, Springer, 978-3-319-62074-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05494, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Jacques D. Fleuriot, Steven Obua, Phil Scott |
Social Network Processes in the Isabelle and Coq Theorem Proving Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.07127, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Yutaka Nagashima, Ramana Kumar |
A Proof Strategy Language and Proof Script Generation for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.02941, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Lars Hupel, Viktor Kuncak |
Translating Scala Programs to Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.01539, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Christian Sternagel, Thomas Sternagel |
Level-Confluence of 3-CTRSs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.07115, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Julian Nagele, Vincent van Oostrom, Christian Sternagel |
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.03139, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston |
Separata: Isabelle tactics for Separation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Jesper Bengtson, Joachim Parrow, Tjark Weber |
Psi-Calculi in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 56(1), pp. 1-47, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban |
A Learning-Based Fact Selector for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 57(3), pp. 219-244, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Matichuk, Toby C. Murray, Makarius Wenzel |
Eisbach: A Proof Method Language for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 56(3), pp. 261-282, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Aransay, Jose Divasón |
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(6), pp. 1005-1026, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Jason R. C. Nurse, Christian W. Probst |
Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (20) ![In: Human Aspects of Information Security, Privacy, and Trust - 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, pp. 234-246, 2016, Springer, 978-3-319-39380-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Benzmüller, Dana S. Scott |
Automating Free Logic in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 43-50, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Frank Zeyda, Simon Foster 0001, Leo Freitas |
An Axiomatic Value Model for Isabelle/UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, pp. 155-175, 2016, Springer, 978-3-319-52227-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hupel, Viktor Kuncak |
Translating Scala Programs to Isabelle/HOL - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, pp. 568-577, 2016, Springer, 978-3-319-40228-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa |
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 457-473, 2016, Springer, 978-3-319-33692-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Huazhen Xu, Zhen You, Jinyun Xue |
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, pp. 13-18, 2016, IEEE Computer Society, 978-1-5090-2239-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | René Thiemann, Akihisa Yamada 0002 |
Algebraic Numbers in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, pp. 391-408, 2016, Springer, 978-3-319-43143-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 5134 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|