Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
geoffrey e hinton
Claudia Calabrese
C. Luk
Hao Mao
Assitan Traoré
Peter Malec
Yoshiaki Hirano
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ROBIN ADAMS
Author Info
Open Visualization
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
100
154
Publications (19 rows)
Collaborators (43 rows)
Referers (97 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Guaranteeing privacy policies using lightweight type systems
0
0.34
2019
Knowledge Production And Social Roles In An Online Community Of Emerging Occupation: A Study Of User Experience Practitioners On Reddit
0
0.34
2018
Special session - Put me in coach! Developing a design playbook for instructors to help engineering students do design.
0
0.34
2018
Student conceptions of 'conducting tests' in design in the middle school classroom.
0
0.34
2017
Wide-field ethnography: studying software engineering in 2025 and beyond.
1
0.39
2016
Developing a measure of quality for engineering design artifacts.
0
0.34
2016
Catalyzing research-to-practice conversations: A global, interdisciplinary and emergent symposium in the context of learning to design
0
0.34
2014
Special session -- Assessing student learning of engineering design
0
0.34
2011
A pluralist approach to the formalisation of mathematics.
0
0.34
2011
Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective
1
0.63
2010
Classical predicative logic-enriched type theories
1
0.35
2010
Coercive subtyping in lambda-free logical frameworks
0
0.34
2009
Lambda-Free Logical Frameworks
3
0.39
2008
Structural subtyping for inductive types with functorial equality rules
8
0.59
2008
Pure type systems with judgemental equality
18
1.28
2006
Weyl's predicative classical mathematics as a logic-enriched type theory
4
0.48
2006
Formalized metatheory with terms represented by an indexed family of types
6
0.63
2004
A Modular Hierarchy of Logical Frameworks
9
0.58
2003
A design attribute framework for course planning and learning assessment
9
3.24
2000
1