Gary Lindstrom - Concepedia

Author

Gary Lindstrom

University of Utah

Also Known As

G. Lindstrom, GARY LINDSTROM, Gary Lindstrom, Lindstrom, Gary, Lindstrom,G.

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

University of Utah University of Pittsburgh

About

Gary Lindstrom is an author at University of Utah specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	22	785
2	Computer Science	15	21	774
3	Computer Engineering	11	12	471
4	Language Studies	2	2	116
5	Medicine	1	1	11

Gary Lindstrom

Publications

797

Citations

H-Index

Page 1

	Year	Citations
A loosely-coupled applicative multi-processing system Robert Keller, Gary Lindstrom, Suhas Patil 1979 International Workshop on Managing Requirements Knowledge (MARK) Heterogeneous ComputingEngineeringElaborate Machine ArchitecturesComputer ArchitectureSoftware Engineering	1979	106
Modularity meets inheritance Gilad Bracha, Gary Lindstrom EngineeringStrong TypingSemanticsSoftware AnalysisLanguage Construct	2003	104
Flick Eric Eide, Kevin Frei, Bryan Ford, EngineeringIdl CompilationCompiler TechnologyComputer ArchitectureSoftware Engineering	1997	90
Nemos: a framework for axiomatic and executable specifications of memory consistency models Yue Yang, G. Gopalakrishnan, Gary Lindstrom, EngineeringVerificationComputer ArchitectureSummary FormProcessor Consistency	2004	88
Functional programing and the logical variable Gary Lindstrom Non-monotonic LogicEngineeringFunctional Programming LanguagesAutomated ReasoningProgram Analysis	1985	50
Scanning list structures without stacks or tag bits Gary Lindstrom Information Processing Letters Dynamic Data StructureEngineeringInformation RetrievalStructured DataTag Bits	1973	36
Programming with Python Gary Lindstrom IT Professional EngineeringTraditional LanguagesProgram AnalysisAutomated ReasoningEasy-to-learn Programming Language	2005	34
UMM: an operational memory model specification framework with integrated model checking capability Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom Concurrency and Computation Practice and Experience EngineeringVerificationComputer ArchitectureModel CheckingMemory Model (Programming)	2005	33
Or-Parallelism on Applicative Architectures. Gary Lindstrom International Conference on Lightning Protection EngineeringApplicative ArchitecturesComputer ArchitectureParallel ProgrammingComputer Science	1984	33
Stream-Based Execution of Logic Programming. Gary Lindstrom, Prakash Panangaden SLP Applied LogicStream-based ExecutionEngineeringAutomated ReasoningFormal Methods	1984	27

Page 1