Concepedia

Guard Construction

Guard Construction is a protective physical or procedural mechanism designed to prevent access to hazardous areas of machinery, distinguished by its structural configuration and method of integration with the machine to ensure safety compliance.

33

Publications

1.5K

Citations

81

Authors

46

Institutions

Publications per year

2017–2026

1

Parents

Publications

33

StackGhost: Hardware facilitated stack protection

Mike Frantzen, Mike Shuey · 2001 · 201 citations

, , +11

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan · 2012 · 198 citations

, , +8

KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN

Melvin Fitting · Fundamenta Informaticae · 1994 · 160 citations

, , +12

Type extensions

Niklaus Wirth · ACM Transactions on Programming Languages and Systems · 1988 · 99 citations · Full text

, , +12

Dynamic power gating with quality guarantees

Anita Lungu, Pradip Bose, Alper Buyuktosunoglu et al. · 2009 · 76 citations

, , +16

1–5 of 33

Authors

81

  1. PŻ
    Paweł Żyliński

    University of Gdańsk, Poland

    1 publications · 11 citations

    1

    h-index

  2. JR
    Janice R. Matthews

    University of Georgia, United States

    1 publications · 13 citations

    1

    h-index

  3. CS
    Christiane Schmidt

    Technische Universität Braunschweig, Germany

    1 publications · 13 citations

    1

    h-index

  4. LG
    L G Fitzgerald

    University of Bath, United Kingdom

    1 publications · 20 citations

    1

    h-index

  5. JK
    James King

    University of Sheffield, United Kingdom

    1 publications · 13 citations

    1

    h-index

1–5 of 81

Institutions

46

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    4 publications

    161 citations

  2. Institute of Mathematics

    Warsaw, Poland

    2 h-index

    3 publications

    115 citations

  3. Microsoft (United States)

    Redmond, United States

    2 h-index

    3 publications

    116 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    4 publications

    116 citations

  5. Rutgers, The State University of New Jersey

    New Brunswick, United States

    1 h-index

    1 publications

    53 citations

  6. McGill University

    Montreal, Canada

    1 h-index

    3 publications

    42 citations

  7. East China Normal University

    Shanghai, China

    1 h-index

    1 publications

    26 citations

  8. National Yang Ming Chiao Tung University

    Hsinchu, Taiwan

    1 h-index

    3 publications

    69 citations

1–8 of 46

Venues

  1. Computational Geometry

    2 publications · 40 citations

    2

    h-index

  2. Annals of Pure and Applied Logic

    1 publications · 52 citations

    1

    h-index

  3. Psyche A Journal of Entomology

    1 publications · 13 citations

    1

    h-index

  4. 1

    h-index

  5. Clinical Biomechanics

    1 publications · 20 citations

    1

    h-index

1–5