Concepedia

Victor Winter

VW

12

Publications

159

Citations

10

H-Index

1997

Active since

Affiliations

University of Nebraska at Omaha(Current)

Sandia National Laboratories

Sandia National Laboratories California

Argonne National Laboratory

Victor Winter is an author at University of Nebraska at Omaha specializing in computer science, engineering, and formal verification.

Top concepts

Computer ScienceEngineeringFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSoftware EngineeringProgram TransformationVerificationSoftware Design

Publications per year

1997–2023

12

Publications

12

The transient combinator, higher-order strategies, and the distributed data problem

Victor Winter, Mahadevan Subramaniam · Science of Computer Programming · 2004 · 25 citations

Mathematical Programming, Transient Combinator, Population Protocol +13

Passive Safety in High-Consequence Systems

Victor Winter, John M. Covan, L.J. Dalton · 1998 · 16 citations

Engineering, Technical Safety, Safety Science +18

Strategy Construction in the Higher-Order Framework of TL

Victor Winter · Electronic Notes in Theoretical Computer Science · 2005 · 15 citations · Full text

Engineering, Game Theory, Software Engineering +24

Michelle Friend, Michael Matthews, Victor Winter et al. · 2018 · 15 citations

Stem Education, Mathematics Education, Gifted Program +11

Do you trust your compiler?

J.M. Boyle, R. Daniel Resler, Victor Winter · Computer · 1999 · 13 citations

Program Checking, Engineering, Compiler Technology +21

Rows per page

1–5 of 12