|
|
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 | Mohammad Abdulaziz, Lawrence C. Paulson |
An Isabelle/HOL Formalisation of Green's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, pp. 3-19, 2016, Springer, 978-3-319-43143-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | René Thiemann, Akihisa Yamada 0002 |
Formalizing jordan normal forms in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 88-99, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Karol Pak, Josef Urban |
Towards a mizar environment for isabelle: foundations and language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 58-65, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCAI ![In: GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany, pp. 1-10, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller |
Isabelle Modelchecking for Insider Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPM/QASA@ESORICS ![In: Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pp. 196-210, 2016, Springer, 978-3-319-47071-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Xiaojun Ji, Lihua Song |
Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSA ![In: Third International Conference on Trustworthy Systems and their Applications, TSA 2016, Wuhan, China, September 18-22, 2016, pp. 81-86, 2016, IEEE, 978-1-5090-3539-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson |
Verification and code generation for invariant diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(1), pp. 19-36, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Wenda Li, Grant Olney Passmore, Lawrence C. Paulson |
A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.08238, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP 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) |
CoRR ![In: CoRR abs/1507.04002, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Christoph Benzmüller, Maximilian Claus, Nik Sultana |
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015., pp. 27-41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Lars Noschinski |
A Graph Library for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 9(1), pp. 23-39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Tuong, Burkhart Wolff |
A Meta-Model for the Isabelle API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | René Thiemann, Akihisa Yamada 0002 |
Algebraic Numbers in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Lawrence C. Paulson |
A Mechanised Proof of Gödel's Incompleteness Theorems Using Nominal Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 55(1), pp. 1-37, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yongjian Li, Jun Pang 0001 |
Formalizing provable anonymity in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 27(2), pp. 255-282, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, Jim Woodcock 0001 |
Mechanised Theory Engineering in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependable Software Systems Engineering ![In: Dependable Software Systems Engineering, pp. 246-287, 2015, IOS Press, 978-1-61499-494-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Schimpf, Jan-Georg Smaus |
Büchi Automata Optimisations Formalised in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 158-169, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gergely Buday |
Formalising the SECD machine with nominal Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1823-1824, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Filip Maric, Predrag Janicic, Marko Malikovic |
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 256-271, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Declan Thompson |
Formalisation vs. Understanding - A Case Study in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings, pp. 290-300, 2015, Springer, 978-3-319-21818-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Fadoua Ghourabi, Kazuko Takahashi |
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., pp. 530-539, 2015, SciTePress, 978-989-758-074-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | David Déharbe, Stephan Merz |
Software Component Design with the B Method - A Formalization in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, pp. 31-47, 2015, Springer, 978-3-319-28933-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | T. V. H. Prathamesh |
Formalising Knot Theory in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 438-452, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler, Alexandra Maximova |
Stream Fusion for Isabelle's Code Generator - Rough Diamond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 270-277, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ondrej Kuncar, Andrei Popescu 0001 |
A Consistent Foundation for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 234-252, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Christian Sternagel, René Thiemann |
Deriving Comparators and Show Functions in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 421-437, 2015, Springer, 978-3-319-22101-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ondrej Kuncar |
Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015, pp. 85-94, 2015, ACM, 978-1-4503-3296-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Eberl |
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015, pp. 75-83, 2015, ACM, 978-1-4503-3296-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Aransay, Jose Divasón |
Generalizing a Mathematical Analysis Library in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 415-421, 2015, Springer, 978-3-319-17523-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Immler |
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSWeek ![In: 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015., pp. 180-187, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Victor Borges Ferreira Gomes |
Algebraic principles for program correctness tools in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Maria Spichkova |
Stream processing components: Isabelle/HOL formalisation and case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.1512, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat |
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0774, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0292, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Makarius Wenzel |
System description: Isabelle/jEdit in 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UITP ![In: Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014., pp. 84-94, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David A. Cock |
pGCL for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Christian Sternagel, René Thiemann |
Haskell's Show-Class in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Mike Stannett, István Németi |
Using Isabelle/HOL to Verify First-Order Relativity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 52(4), pp. 361-378, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | György J. Simon, Genevieve B. Melton |
A Gentle Introduction to Support Vector Machines in Biomedicine, Alexander Statnikov, Constantin F. Aliferis, Douglas P. Hardin, Isabelle Guyon. World Scientific (2013). Vols. 1(200 p.) and 2 (212 p.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 48, pp. 16, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow, Gerwin Klein |
Concrete Semantics - With Isabelle/HOL ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
DOI RDF |
|
16 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Algebras for Program Correctness in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings, pp. 49-64, 2014, Springer, 978-3-319-06250-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, Frank Zeyda, Jim Woodcock 0001 |
Isabelle/UTP: A Mechanised Theory Engineering Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers, pp. 21-41, 2014, Springer, 978-3-319-14805-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Cardinals in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 111-127, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu 0001, Dmitriy Traytel |
Truly Modular (Co)datatypes for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 93-110, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David A. Cock |
From Operational Models to Information Theory; Side Channels in pGCL with Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 177-192, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Matichuk, Makarius Wenzel, Toby C. Murray |
An Isabelle Proof Method Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 390-405, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel |
Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 515-530, 2014, Springer, 978-3-319-08969-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio 0001 |
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings, pp. 49-63, 2014, Springer, 978-3-319-13769-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Lightweight Program Construction and Verification Tools in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 5-19, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat |
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 236-251, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Lars Hupel |
Interactive Simplifier Tracing and Debugging in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, pp. 328-343, 2014, Springer, 978-3-319-08433-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel |
Certified HLints with Isabelle/HOLCF-Prelude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.1340, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Christoph Benzmueller, Bruno Woltzenlogel Paleo |
Gödel's God in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Maria Spichkova |
Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
The Circus Testing Theory Revisited in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, pp. 131-147, 2013, Springer, 978-3-642-41201-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Simon Foster 0001, Jim Woodcock 0001 |
Unifying Theories of Programming in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC Training School on Software Engineering ![In: Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures, pp. 109-155, 2013, Springer, 978-3-642-39720-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Steffen Juilf Smolka, Jasmin Christian Blanchette |
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 117-132, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Yoney Kirsal Ever, Xiaochun Cheng |
DNSsec in Isabelle - Replay Attack and Origin Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013, pp. 4772-4777, 2013, IEEE, 978-0-7695-5154-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jian Xu, Xingyuan Zhang, Christian Urban |
Mechanising Turing Machines and Computability Theory in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 147-162, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Florian Haftmann, Alexander Krauss 0001, Ondrej Kuncar, Tobias Nipkow |
Data Refinement in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 100-115, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler |
Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 116-132, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Alasdair Armstrong, Georg Struth, Tjark Weber |
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 197-212, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Hölzl, Fabian Immler, Brian Huffman |
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 279-294, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Brian Huffman, Ondrej Kuncar |
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings, pp. 131-146, 2013, Springer, 978-3-319-03544-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Schropp, Andrei Popescu 0001 |
Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings, pp. 114-130, 2013, Springer, 978-3-319-03544-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Alfio Martini |
Programming Language Semantics with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 14-21, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Walther Neuper |
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Christoph Lüth, Martin Ring |
A Web Interface for Isabelle: The Next Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM/Calculemus/DML ![In: Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings, pp. 326-329, 2013, Springer, 978-3-642-39319-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mike Stannett, István Németi |
Using Isabelle to verify special relativity, with application to hypercomputation theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.6468, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Christian Urban, Cezary Kaliszyk |
General Bindings and Alpha-Equivalence in Nominal Isabelle ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel |
Isabelle/jEdit --- a Prover IDE within the PIDE framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.3441, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Christian Sternagel |
Getting Started with Isabelle/jEdit ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.1368, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | David A. Cock |
Verifying Probabilistic Correctness in Isabelle with pGCL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pp. 167-178, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel |
Isabelle/Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Jesper Bengtson |
Psi-calculi in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Stefan Berghofer |
A Solution to the PoplMark Challenge Using de Bruijn Indices in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 49(3), pp. 303-326, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Interactive Proof: Introduction to Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Safety and Security ![In: Software Safety and Security - Tools for Analysis and Verification, pp. 254-285, 2012, IOS Press, 978-1-61499-027-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Isabelle/Circus: A Process Specification and Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings, pp. 243-260, 2012, Springer, 978-3-642-27704-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lukas Bulwahn |
Smart Testing of Functional Programs in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings, pp. 153-167, 2012, Springer, 978-3-642-28716-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, Andrei Popescu 0001, Daniel Wand, Christoph Weidenbach |
More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 345-360, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Immler, Johannes Hölzl |
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 377-392, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lukas Bulwahn |
The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, pp. 92-108, 2012, Springer, 978-3-642-35307-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel |
Isabelle/jEdit - A Prover IDE within the PIDE Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings, pp. 468-471, 2012, Springer, 978-3-642-31373-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yongjian Li, William N. N. Hung, Xiaoyu Song |
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(25), pp. 2746-2765, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel, Burkhart Wolff |
Isabelle/PIDE as Platform for Educational Tools ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu ![In: Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011., pp. 143-153, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gudmund Grov, Stephan Merz |
A Definitional Encoding of TLA* in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Simon Foster 0001, Georg Struth, Tjark Weber |
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings, pp. 52-67, 2011, Springer, 978-3-642-21069-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Walter Guttmann, Georg Struth, Tjark Weber |
Automating Algebraic Methods in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 617-632, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Christian Urban |
Quotients revisited for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1639-1644, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Christian Urban, Cezary Kaliszyk |
General Bindings and Alpha-Equivalence in Nominal Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 480-500, 2011, Springer, 978-3-642-19717-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Hölzl, Armin Heller |
Three Chapters of Measure Theory in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, pp. 135-151, 2011, Springer, 978-3-642-22862-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Krauss 0001, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl |
Termination of Isabelle Functions via Termination of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, pp. 152-167, 2011, Springer, 978-3-642-22862-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber |
Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 183-198, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cezary Kaliszyk, Henk Barendregt |
Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 87-102, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow |
Automatic Proof and Disproof in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings, pp. 12-27, 2011, Springer, 978-3-642-24363-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Berghofer |
Verification of Dependable Software using SPARK and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSV ![In: 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands, pp. 15-31, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-36-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Robbert Krebbers, Freek Wiedijk |
A Formalization of the C99 Standard in HOL, Isabelle and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 301-303, 2011, Springer, 978-3-642-22672-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Makarius Wenzel |
Isabelle as Document-Oriented Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 244-259, 2011, Springer, 978-3-642-22672-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Laura I. Meikle, Jacques D. Fleuriot |
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UITP ![In: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010, pp. 115-119, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ludovic Henrio, Muhammad Uzair Khan |
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA@ETAPS ![In: Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 35-53, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 5134 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|