Peter Lindsay - Concepedia

Author

Peter Lindsay

Also Known As

Lindsay, P. A., Lindsay, Peter Alexander, P A Lindsay, P Lindsay, P. A. Lindsay, P. Lindsay, P.A. Lindsay, PETER A. LINDSAY, Peter A Lindsay, Peter A. Lindsay

156

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

The University of Queensland ARC Centre of Excellence for Engineered Quantum Systems Griffith University UNSW Sydney University of Manchester

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	18	491
2	Language Studies	2	2	31
3	Education	1	1	35
4	Medicine	1	1	11
5	Nursing	1	1	12

Peter Lindsay

Publications

538

Citations

H-Index

Page 1

	Year	Citations
Flexible Transmission Expansion Planning With Uncertainties in an Electricity Market Jun Zhao, Zhao Yang Dong, Peter Lindsay, IEEE Transactions on Power Systems Mathematical ProgrammingEngineeringFlexible Expansion PlanOperations ResearchPower Market	2009	174
A survey of mechanical support for formal reasoning Peter Lindsay Software Engineering Journal EngineeringReasoning SystemAutomated ReasoningVerificationFormal Methods	1988	38
Experience with fault injection experiments for FMEA Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Software Practice and Experience Software Reliability TestingEngineeringFmea ProcessSoftware SystemsSafety Science	2011	35
Specification-based retrieval strategies for module reuse David Hemer, Peter Lindsay Software MaintenanceEngineeringComputer ArchitectureSoftware EngineeringSoftware Analysis	2002	32
Formal analysis of human-computer interaction using model-checking António Cerone, Peter Lindsay, Simon Connelly EngineeringVerificationSafety ScienceSituation AwarenessHuman Performance Modeling	2005	30
An environment for building a system out of its requirements Carl R. Smith, Kirsten Winter, Ian J. Hayes, Architectural DesignSystem Of SystemEngineeringRequirement EngineeringDesign	2004	22
Safety Assessment Using Behavior Trees and Model Checking Peter Lindsay, Kirsten Winter, Nisansala Yatapanage Behavior TreesEngineeringVerificationSafety ScienceInjury Prevention	2010	19
Modelling erroneous operator behaviours for an air-traffic control task Peter Lindsay, Simon Connelly Australasian User Interface Conference EngineeringVerificationSituation AwarenessIntelligent SystemsFormal Verification	2002	18
Using Miranda as a first programming language Tim D. Lambert, Peter Lindsay, Ken Robinson Journal of Functional Programming EngineeringMultilingualismScripting LanguageSoftware EngineeringLanguage Learning	1993	18
Experience with extending CMMI for safety related applications Mark Bofinger, Neil Robinson, Peter Lindsay, Queensland's institutional digital repository (The University of Queensland) Hardware SecuritySafety EngineeringEngineeringSafety ScienceComputer Engineering	2002	14

Page 1