Concepedia

Peter Lindsay

PL

22

Publications

538

Citations

13

H-Index

1986

Active since

Affiliations

The University of Queensland(Current)

ARC Centre of Excellence for Engineered Quantum Systems

Griffith University

University of Manchester

Peter Lindsay is an author at The University of Queensland specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignSystem SoftwareSoftware AnalysisComputer Engineering

Publications per year

1986–2012

22

Publications

22

Flexible Transmission Expansion Planning With Uncertainties in an Electricity Market

Jun Zhao, Zhao Yang Dong, Peter Lindsay et al. · IEEE Transactions on Power Systems · 2009 · 174 citations

Mathematical Programming, Engineering, Flexible Expansion Plan +17

A survey of mechanical support for formal reasoning

Peter Lindsay · Software Engineering Journal · 1988 · 38 citations

Engineering, Reasoning System, Automated Reasoning +7

Experience with fault injection experiments for FMEA

Lars Grunske, Kirsten Winter, Nisansala Yatapanage et al. · Software Practice and Experience · 2011 · 35 citations

Software Reliability Testing, Engineering, Fmea Process +26

Specification-based retrieval strategies for module reuse

David Hemer, Peter Lindsay · 2002 · 32 citations

Software Maintenance, Engineering, Computer Architecture +21

Formal analysis of human-computer interaction using model-checking

António Cerone, Peter Lindsay, Simon Connelly · 2005 · 30 citations

Engineering, Verification, Safety Science +23

Rows per page

1–5 of 22