Concepedia

Fixed-point Computation

Fixed-Point Computation is a formal method in model checking that determines the least or greatest fixed point of a recursive function over a lattice to precisely characterize the set of states satisfying a temporal logic property.

608

Publications

31.3K

Citations

1.3K

Authors

594

Institutions

Publications per year

2017–2026

103

Parents

Publications

608

Iterative methods for linear and nonlinear equations

Choice Reviews Online · 1996 · 2K citations

, , +15

Deep Learning with Limited Numerical Precision

Suyog Gupta, Ankur Agrawal, Kailash Gopalakrishnan et al. · arXiv (Cornell University) · 2015 · 1.1K citations · Full text

, , +17

Fixed-Point Continuation for $\ell_1$-Minimization: Methodology and Convergence

Elaine Hale, Wotao Yin, Yin Zhang · SIAM Journal on Optimization · 2008 · 918 citations

, , +17

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16

Deep Learning with Limited Numerical Precision

Suyog Gupta, Ankur Agrawal, Kailash Gopalakrishnan et al. · 2015 · 774 citations

, , +17

1–5 of 608

Authors

1.3K

  1. ZM
    Zohar Manna

    Stanford University, United States

    5 publications · 258 citations

    5

    h-index

  2. OS
    Olivier Sentieys

    Université de Rennes, France

    5 publications · 240 citations

    5

    h-index

  3. RS
    Romesh Saigal

    University of Michigan, United States

    5 publications · 153 citations

    5

    h-index

  4. WS
    Wonyong Sung

    Seoul National University, South Korea

    4 publications · 251 citations

    4

    h-index

  5. HM
    H. Meyr

    RWTH Aachen University, Germany

    4 publications · 152 citations

    4

    h-index

1–5 of 1.3K

Institutions

594

  1. Stanford University

    Stanford, United States

    13 h-index

    24 publications

    1.9K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    12 h-index

    26 publications

    983 citations

  3. University of California, Berkeley

    Berkeley, United States

    11 h-index

    20 publications

    899 citations

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    12 publications

    567 citations

  5. Imperial College London

    London, United Kingdom

    8 h-index

    17 publications

    601 citations

  6. Seoul National University

    Seoul, South Korea

    7 h-index

    15 publications

    830 citations

  7. The University of Texas at Austin

    Austin, United States

    7 h-index

    9 publications

    217 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    7 h-index

    11 publications

    532 citations

1–8 of 594

Venues

  1. arXiv (Cornell University)

    Repository · 11 publications · 1.3K citations

    11

    h-index

  2. Theoretical Computer Science

    8 publications · 306 citations

    8

    h-index

  3. Mathematical Programming

    7 publications · 828 citations

    7

    h-index

  4. SIAM Journal on Numerical Analysis

    7 publications · 586 citations

    7

    h-index

  5. SIAM Journal on Computing

    7 publications · 854 citations

    7

    h-index

1–5