Chris Wilson

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2019
Computerized Text Analysis: Assessment and Research Potentials for Promoting Learning.
Proceedings of the 13th International Conference on Computer Supported Collaborative Learning, 2019

2018
Adventures of Two Student Research Computing Facilitators.
Proceedings of the Practice and Experience on Advanced Research Computing, 2018

2017
Context and the Virtual Human.
Proceedings of the Modeling and Using Context, 2017

2015
Modeling Erroneous Human Behavior: A Context-Driven Approach.
Proceedings of the Modeling and Using Context, 2015

2014
An agent for simulating cognitive impairment in elders: work in progress.
Proceedings of the Agent-Directed Simulation Symposium, 2014

2010
What Can Actors Teach Robots About Interaction?
Proceedings of the It's All in the Timing, 2010

2008
Special session - What's so intelligent about testbenches?
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

2000
Symbolic Simulation with Approximate Values.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Reliable verification using symbolic simulation with scalar values.
Proceedings of the 37th Conference on Design Automation, 2000

1997
Formal Verification of the HAL S1 System Cache Coherence Protocol.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997


  Loading...