0 works0 citations0 h-index

Steve Roach

Gates (United States)(US)The University of Texas at El Paso(US)Embry–Riddle Aeronautical University(US)

Publications by Year

Research Areas

Formal Methods in Verification, Teaching and Learning Programming, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies

Most-Cited Works

→ Computer Science curricula 2013(2013)152 cited
→ ACM/IEEE-CS computer science curriculum 2013(2013)36 cited
→ Computer science curriculum 2013(2012)31 cited
→ Setting the stage for computing curricula 2013(2011)29 cited
→ The synthesis and chemistry of icosahedral bis(phosphine)metalladiarsaboranes and -distibaboranes containing nickel and palladium. Crystal and molecular structures of closo-1,1-(Me2PPh)2-1,2,3-PdAs2B9H9, closo-1,6-Cl2-1,5-(Me2PPh)2-1,2,3-PdAs2B9H7.CH2Cl2, and closo-1,1-(Me2PPh)2-1,2,3-PdSb2B9H9(1993)23 cited
→ Verifying Pattern-Generated LTL Formulas: A Case Study(2005)22 cited

→ DynaMICs(2001)

21 cited

Computing Curricula 2013: Computer Science - Update on the Strawman Report from the ACM/IEEE-CS Task Force(2013)

→ ACM/IEEE-CS computer science curricula 2013(2014)14 cited

Checking Design Constraints at Run-time Using OCL and AspectJ(2009)