|
|
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 | Filip Maric |
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(50), pp. 4333-4356, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Florian Rabe 0001 |
Representing Isabelle in LF ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 85-99, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jacques D. Fleuriot |
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, pp. 34-50, 2010, Springer, 978-3-642-25069-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Petros Papapanagiotou, Jacques D. Fleuriot |
An Isabelle-Like Procedural Mode for HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Yogyakarta) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, pp. 565-580, 2010, Springer, 978-3-642-16241-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jasmin Christian Blanchette |
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR short papers(Yogyakarta) ![In: Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010, pp. 20-25, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Hölzl |
Quantitative Information Flow Analysis in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010, pp. 150, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Andrei Popescu 0001, Elsa L. Gunter |
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 109-127, 2010, Springer, 978-3-642-12031-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Unifying Theories in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings, pp. 188-206, 2010, Springer, 978-3-642-16689-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Amy P. Felty |
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ICFP ![In: Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010., pp. 1-2, 2010, ACM, 978-1-4503-0255-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Laura I. Meikle, Jacques D. Fleuriot |
Automation for Geometry in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010, pp. 84-94, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Brian Huffman, Christian Urban |
A New Foundation for Nominal Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 35-50, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Peter Lammich, Andreas Lochbihler |
The Isabelle Collections Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 339-354, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Douglas J. Howe |
Higher-Order Abstract Syntax in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 481-484, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Florian Kammüller, Alexander Rein, Mark-Oliver Reiser |
Feature link propagation across variability representations with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLEASE@ICSE ![In: Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010, pp. 48-53, 2010, ACM, 978-1-60558-968-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maksym Bortin, Christoph Lüth |
Structured Formal Development with Quotient Types in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 34-48, 2010, Springer, 978-3-642-14127-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Serguei A. Mokhov, Joey Paquet |
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.3789, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá |
A Formalization of the Semantics of Functional-Logic Programming in Isabelle ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0908.0494, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Armin Heller |
A Fast SAT Solver for Isabelle in Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2009, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Bart Kastermans |
An Example of a Cofinitary Group in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2009, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu 0001 |
Theory support for weak higher order abstract syntax in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009, pp. 12-20, 2009, ACM, 978-1-60558-529-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christian Doczkal, Jan Schwinghammer |
Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009, pp. 57-63, 2009, ACM, 978-1-60558-529-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Carsten Varming, Lars Birkedal |
Higher-Order Separation Logic in Isabelle/HOLCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008, pp. 371-389, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Amine Chaieb |
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 246-260, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jeremy E. Dawson |
Isabelle Theories for Machine Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 55-70, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jesper Bengtson, Joachim Parrow |
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@LICS/ICALP ![In: Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007, pp. 61-75, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Julien Narboux, Christian Urban |
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@CADE ![In: Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Lukas Bulwahn, Alexander Krauss 0001, Tobias Nipkow |
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, pp. 38-53, 2007, Springer, 978-3-540-74590-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jia Meng, Lawrence C. Paulson, Gerwin Klein |
A Termination Checker for Isabelle Hoare Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Lars Gesellensetter, Sabine Glesner, Elke Salecker |
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 85-100, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Maria Spichkova |
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
16 | Frédéric Blanqui |
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0610069, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Tom Ridge |
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0607058, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Maksym Bortin, Einar Broch Johnsen, Christoph Lüth |
Structured Formal Development in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 13(1-2), pp. 2-21, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | J. Nathan Foster, Dimitrios Vytiniotis |
A Theory of Featherweight Java in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2006, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Lucas Dixon |
A proof planning framework for Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
16 | Norbert Schirmer |
Verification of sequential imperative programs in Isabelle-HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
16 | Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling |
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005, pp. 33-51, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Martin Holub |
: Review: Natural Language Processing for Online Applications: Text Retrieval, Extraction and Categorization, by Peter Jackson and Isabelle Moulinier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prague Bull. Math. Linguistics ![In: Prague Bull. Math. Linguistics 83, pp. 83-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Matthias Daum 0001, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir |
Integration of a Software Model Checker into Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 381-395, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Steven Obua |
Proving Bounds for Real Linear Programs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Michael Compton |
Stenning's Protocol Implemented in UDP and Verified in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005, pp. 21-30, 2005, Australian Computer Society, 1-920682-23-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Tjark Weber |
Bounded Model Generation for Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D/PDPAR@IJCAR ![In: Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004, pp. 103-116, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Schirmer |
Analysing the Java package/access concepts in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 16(7), pp. 689-706, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | John Longley, Randy Pollack |
Reasoning About CBV Functional Programs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 201-216, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jan Olaf Blech, Sabine Glesner |
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 34. Jahrestagung der Gesellschaft für Informatik, Informatik verbindet, INFORMATIK 2004, Ulm, Germany, September 20-24, 2004, Band 2, pp. 449-458, 2004, GI, 3-88579-380-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Nicole Rauch, Burkhart Wolff |
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 41-58, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 198-248, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Christine Röckl, Daniel Hirschkoff |
A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 13(2), pp. 415-451, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Laura Menini |
Non-linear control for underactuated mechanical systems: Isabelle Fantoni and Rogelio Lozano; Springer, London, 2002, ISBN 1-85233-423-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 38(11), pp. 2030-2031, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel 0001 |
Isabelle/HOL - A Proof Assistant for Higher-Order Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
DOI RDF |
|
16 | Markus Wenzel 0001 |
Isabelle, Isar - a versatile environment for human readable formal proof documents. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
16 | Leonor Prensa Nieto |
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
16 | David von Oheimb |
Hoare logic for Java in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 13(13), pp. 1173-1214, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Christine Röckl |
A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, pp. 1-17, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jeremy E. Dawson, Rajeev Goré |
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001, pp. 89-103, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Marieke Huisman |
Reasoning about Java programs in higher order logic using PVS and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
16 | Yasuhiko Minamide, Koji Okuma |
Verifying the CPS Transformation in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, pp. 29-37, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | David von Oheimb |
Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
16 | Christine Röckl |
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 69-78, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Lawrence C. Paulson |
A Generic Tableau Prover and its Integration with Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 5(3), pp. 73-87, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Kuner |
Signaturgesetze und "Political Correctness" - Isabelle Couvert-Castéra: Wunder "à la francaise". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datenschutz und Datensicherheit ![In: Datenschutz und Datensicherheit 23(4), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | David A. Basin, Stefan Friedrich 0001 |
Modeling a Hardware Synthesis Methodology in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 15(2), pp. 99-122, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Naraschewski, Tobias Nipkow |
Type Inference Verified: Algorithm W in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 23(3-4), pp. 299-318, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow, Leonor Prensa Nieto |
Owicki/Gries in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 188-203, 1999, Springer, 3-540-65718-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Dina Taiwé Kolyang |
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
16 | Florian Kammüller |
Modular reasoning in Isabelle ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
16 | Sten Agerholm, Jacob Frost |
Supporting Proof in VDM-SL using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof in VDM ![In: Proof in VDM: Case Studies, pp. 191-223, 1998, Springer, 978-3-540-76186-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Steffen Helke, Thomas Neustupny, Thomas Santen |
Automating Test Case Generation from Z Specifications with Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, pp. 52-71, 1997, Springer, 3-540-62717-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | David A. Basin, Stefan Friedrich 0001 |
Modeling a Hardware Synthesis Methodology in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 33-50, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Kolyang 0001, Thomas Santen, Burkhart Wolff |
A Structure Preserving Encoding of Z in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 283-298, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Naraschewski, Tobias Nipkow |
Type Inference Verified: Algorithm W in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers, pp. 317-332, 1996, Springer, 3-540-65137-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ina Kraan, Peter Baumann |
Implementing Z in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, pp. 355-373, 1995, Springer, 3-540-60271-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Philippe de Groote |
Linear Logic with Isabelle: Pruning the Proof Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 263-277, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Clemens Ballarin, Karsten Homann, Jacques Calmet |
Theorems and Algorithms: An Interface between Isabelle and Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995, pp. 150-157, 1995, ACM, 0-89791-699-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Maple |
16 | Lawrence C. Paulson |
Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
DOI RDF |
|
16 | David A. Basin |
IsaWhelk Interpreted in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 741, 1994, MIT Press, 0-262-72022-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Tobias Nipkow, Konrad Slind |
I/Q Automata in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers, pp. 101-119, 1994, Springer, 3-540-60579-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson |
Isabelle: The Next 700 Theorem Provers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/9301106, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Lawrence C. Paulson |
A Formulation of the Simple Theory of Types (for Isabelle) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/9301107, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | P. A. J. Noel |
Experimenting with Isabelle in ZF Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 10(1), pp. 15-58, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Sara Kalvala |
Using Isabelle to Prove Simple Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 514-517, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Equational Reasoning in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 12(2), pp. 123-149, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Term Rewriting and Beyond - Theorem Proving in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 1(4), pp. 320-338, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson |
Isabelle: The Next Seven Hundred Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 772-773, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Odette Mwilu Sangupamba, Nicolas Prat, Isabelle Comyn-Wattiau |
A Taxonomy Development Method to Define the Vocabulary for Rule-Based Guidance in Complex Emerging Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 66(2), pp. 161-180, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Amato, Julien Jacques, Isabelle Prim-Allaz |
Clustering longitudinal ordinal data via finite mixture of matrix-variate distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 34(2), pp. 81, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Lucrezia Tosato, Victor Fortier, Isabelle Bloch, Catherine Pelachaud |
Exploiting temporal information to detect conversational groups in videos and predict the next speaker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 177, pp. 164-168, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Carole H. Sudre, Kimberlin M. H. van Wijnen, Florian Dubost, Hieab Adams, David Atkinson, Frederik Barkhof, Mahlet A. Birhanu, Esther E. Bron, Robin Camarasa, Nish Chaturvedi, Yuan Chen, Zihao Chen, Shuai Chen, Qi Dou 0001, Tavia E. Evans, Ivan Ezhov, Haojun Gao, Marta Gironés-Sangüesa, Juan Domingo Gispert, Beatriz Gomez Anson, Alun D. Hughes, Mohammad Arfan Ikram, Silvia Ingala, Hans Rolf Jäger, Florian Kofler, Hugo J. Kuijf, Denis Kutnar, Minho Lee, Bo Li 0088, Luigi Lorenzini, Bjoern H. Menze, José Luis Molinuevo, Yiwei Pan, Élodie Puybareau, Rafael Rehwald, Ruisheng Su, Pengcheng Shi, Lorna Smith, Therese Tillin, Guillaume Tochon, Hélène Urien, Bas H. M. van der Velden, Isabelle F. van der Velpen, Benedikt Wiestler, Frank J. Wolters, Pinar Yilmaz, Marius de Groot, Meike W. Vernooij, Marleen de Bruijne |
Where is VALDO? VAscular Lesions Detection and segmentatiOn challenge at MICCAI 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 91, pp. 103029, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Zuyi Yu, Amar Kachenoura, Régine Le Bouquin-Jeannès, Huazhong Shu, Paul Berraute, Anca Nica, Isabelle Merlet, Laurent Albera, Ahmad Karfoul |
Electrophysiological brain imaging based on simulation-driven deep learning in the context of epilepsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 285, pp. 120490, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Nasir Wabe, Isabelle Meulenbroeks, Guogui Huang, Sandun Malpriya Silva, Leonard C. Gray, Jacqueline C. T. Close, Stephen Lord, Johanna I. Westbrook |
Development and internal validation of a dynamic fall risk prediction and monitoring tool in aged care using routinely collected electronic health data: a landmarking approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 31(5), pp. 1113-1125, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Isabelle Hupont, David Fernández Llorca, Sandra Baldassarri, Emilia Gómez |
Use case cards: a use case reporting framework inspired by the European AI Act. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ethics Inf. Technol. ![In: Ethics Inf. Technol. 26(2), pp. 19, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Isabelle Schmidt, Nathalie Schauffel, Thomas Ellwart |
Uncovering latent profiles of ICT self-concept among adults in Germany and their relation with gender. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behav. Inf. Technol. ![In: Behav. Inf. Technol. 43(1), pp. 4-20, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Michael Houghtaling, Sandro Rama Fiorini, Nicola Fabiano, Paulo J. S. Gonçalves, Ozlem Ulgen, Tamás Haidegger, Joel Luís Carbonera, Joanna Isabelle Olszewska, Brian Page, Zvikomborero Murahwi, Edson Prestes |
Standardizing an Ontology for Ethically Aligned Robotic and Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 54(3), pp. 1791-1804, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Julian Erskine, Sébastien Briot, Isabelle Fantoni, Abdelhamid Chriette |
Singularity Analysis of Rigid Directed Bearing Graphs for Quadrotor Formations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 40, pp. 139-157, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Clémence Turbé, Fatima Karbou, Antoine Rabatel, Isabelle Gouttevin |
Snowmelt Dynamics in a Temperate Glacier Using Sentinel-1 SAR Images: A Case Study on Saint-Sorlin Glacier, French Alps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17, pp. 8904-8917, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ellen Banzhaf, Isabelle Bause, Carolin Helbig, Sebastian Elze |
Personal Exposure to Environmental Pressures in Different Urban Residential Structures Linking Fieldwork and RS Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17, pp. 2789-2799, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Collin, Arthur Dupuy, Isabelle Parrot, Ismaël Barbara, Gérard Dray, Sophie Martin, Lionel Brunel |
The effects of ambient scent on olfactory comfort and attitude toward its use in a tramway: an on-board study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Transp. ![In: Public Transp. 16(1), pp. 81-97, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Nathaniel Li, Alexander Pan, Anjali Gopal, Summer Yue, Daniel Berrios, Alice Gatti, Justin D. Li, Ann-Kathrin Dombrowski, Shashwat Goel, Long Phan, Gabriel Mukobi, Nathan Helm-Burger, Rassin Lababidi, Lennart Justen, Andrew B. Liu, Michael Chen, Isabelle Barrass, Oliver Zhang, Xiaoyuan Zhu, Rishub Tamirisa, Bhrugu Bharathi, Adam Khoja, Zhenqi Zhao, Ariel Herbert-Voss, Cort B. Breuer, Andy Zou, Mantas Mazeika, Zifan Wang, Palash Oswal, Weiran Liu, Adam A. Hunt, Justin Tienken-Harder, Kevin Y. Shih, Kemper Talley, John Guan, Russell Kaplan, Ian Steneker, David Campbell, Brad Jokubaitis, Alex Levinson, Jean Wang, William Qian 0004, Kallol Krishna Karmakar, Steven Basart, Stephen Fitz, Mindy Levine, Ponnurangam Kumaraguru, Uday Kiran Tupakula, Vijay Varadharajan, Yan Shoshitaishvili, Jimmy Ba, Kevin M. Esvelt, Alexandr Wang, Dan Hendrycks |
The WMDP Benchmark: Measuring and Reducing Malicious Use With Unlearning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03218, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xin Sun 0016, Isabelle Teljeur, Zhuying Li, Jos A. Bosch |
Can a Funny Chatbot Make a Difference? Infusing Humor into Conversational Agent for Behavioral Intervention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00365, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Juniper L. Lovato, Julia Witte Zimmerman, Isabelle Smith, Peter Dodds, Jennifer Karson |
Foregrounding Artist Opinions: A Survey Study on Transparency, Ownership, and Fairness in AI Generative Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15497, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 5134 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|