Edward Griffor

Statistics

Publications

Citations

265

H-Index

Active since

1994

Affiliations

National Institute of Standards and Technology(Current)

Uppsala University

Edward Griffor is an author at National Institute of Standards and Technology specializing in engineering, cyber-physical systems modeling, and systems engineering.

ORCID

Publications per year

1994–2021

Publications

A Methodology for Modeling Interoperability of Smart Sensors in Smart Grids

Eugene Y. Song, Gerald J. FitzPatrick, Kang B. Lee et al. · IEEE Transactions on Smart Grid · 2021 · 94 citations · Full text

Engineering, Electrical Engineering, Systems Engineering +17

The strength of some Martin-L�f type theories

Edward Griffor, Michael Rathjen · Archive for Mathematical Logic · 1994 · 75 citations

Natural Sciences, Mathematics, Probability Theory +4

Inaccessibility in constructive set theory and type theory

Michael Rathjen, Edward Griffor, Erik Palmgren · Annals of Pure and Applied Logic · 1998 · 34 citations

Computing, Computer Science, Mathematics +11

C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids

Himanshu Neema, János Sztipanovits, Martin Burns et al. · 2016 · 30 citations

Engineering, Cybersecurity, Electrical Engineering +17

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava et al. · ACM Transactions on Embedded Computing Systems · 2017 · 20 citations · Full text

Engineering, Computer Science, Systems Engineering +17

1–5 of 6