Concepedia

Isabelle

Isabelle is a proof assistant framework that distinguishes itself by employing a generic logical meta-language to support multiple object-level logics, enabling formal verification of mathematical proofs and software correctness within a unified deductive system.

365

Publications

19.5K

Citations

752

Authors

305

Institutions

Publications per year

2017–2026

73

Parents

Publications

365

Order Out of Chaos: Man’s New Dialogue With Nature

Joseph E. Earley · Process Studies · 1985 · 2.5K citations

, , +6

How to Talk About the Body? the Normative Dimension of Science Studies

Bruno Latour · Body & Society · 2004 · 1.3K citations

, , +16

A versatile<i>in vivo</i>and<i>in vitro</i>eukaryotic expression vector for protein engineering

Stephen Green, Isabelle Issemann, Elisabeth Sheer · Nucleic Acids Research · 1988 · 675 citations · Full text

, , +15

Cities and Complexity: Understanding Cities with Cellular Automata, Agent-Based Models, and Fractals

J. Scott Spiker · The Professional Geographer · 2007 · 596 citations

, , +15

Parasitism and group size in social animals: a meta-analysis

Isabelle M. Côté · Behavioral Ecology · 1995 · 511 citations · Full text

, , +11

1–5 of 365

Authors

752

  1. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    23 publications · 1.2K citations

    17

    h-index

  2. JC
    Jasmin Christian Blanchette

    Max Planck Institute for Informatics, Germany

    16 publications · 522 citations

    13

    h-index

  3. TN
    Tobias Nipkow

    Technical University of Munich, Germany

    13 publications · 1.1K citations

    13

    h-index

  4. CK
    Cezary Kaliszyk

    Universität Innsbruck, Austria

    10 publications · 609 citations

    10

    h-index

  5. GK
    Gerwin Klein

    UNSW Sydney, Australia

    9 publications · 435 citations

    9

    h-index

1–5 of 752

Institutions

305

  1. University of Cambridge

    Cambridge, United Kingdom

    23 h-index

    58 publications

    3.5K citations

  2. Technical University of Munich

    Munich, Germany

    22 h-index

    54 publications

    3K citations

  3. Universität Innsbruck

    Innsbruck, Austria

    11 h-index

    17 publications

    705 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    23 publications

    3.1K citations

  5. Data61

    Sydney, Australia

    11 h-index

    41 publications

    2K citations

  6. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    9 h-index

    12 publications

    212 citations

  7. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    9 h-index

    10 publications

    218 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    9 h-index

    12 publications

    374 citations

1–8 of 305

Venues

  1. Journal of Automated Reasoning

    16 publications · 656 citations

    14

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 18 publications · 319 citations

    12

    h-index

  3. PubMed

    Repository · 17 publications · 253 citations

    12

    h-index

  4. arXiv (Cornell University)

    Repository · 7 publications · 185 citations

    7

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 6 publications · 103 citations

    6

    h-index

1–5