Name
Affiliation
Papers
ROBIN ADAMS
Engineering Education, Purdue University
19
Collaborators
Citations 
PageRank 
43
60
11.61
Referers 
Referees 
References 
97
154
121
Search Limit
100154
Title
Citations
PageRank
Year
Guaranteeing privacy policies using lightweight type systems00.342019
Knowledge Production And Social Roles In An Online Community Of Emerging Occupation: A Study Of User Experience Practitioners On Reddit00.342018
Special session - Put me in coach! Developing a design playbook for instructors to help engineering students do design.00.342018
Student conceptions of 'conducting tests' in design in the middle school classroom.00.342017
Wide-field ethnography: studying software engineering in 2025 and beyond.10.392016
Developing a measure of quality for engineering design artifacts.00.342016
Catalyzing research-to-practice conversations: A global, interdisciplinary and emergent symposium in the context of learning to design00.342014
Special session -- Assessing student learning of engineering design00.342011
A pluralist approach to the formalisation of mathematics.00.342011
Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective10.632010
Classical predicative logic-enriched type theories10.352010
Coercive subtyping in lambda-free logical frameworks00.342009
Lambda-Free Logical Frameworks30.392008
Structural subtyping for inductive types with functorial equality rules80.592008
Pure type systems with judgemental equality181.282006
Weyl's predicative classical mathematics as a logic-enriched type theory40.482006
Formalized metatheory with terms represented by an indexed family of types60.632004
A Modular Hierarchy of Logical Frameworks90.582003
A design attribute framework for course planning and learning assessment93.242000