Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Connie Heitmeyer
The Role of HCI in CASE Tools Supporting Formal Methods
Related publications
The Role of in Silico Tools in Supporting the Application of the Substitution Principle
Altex
Medicine
Medical Laboratory Technology
Pharmacology
Role of Conferences in Shaping the Field of HCI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating the Strengths of Cognitive Emotion Models With Traditional HCI Analysis Tools
Universal Access in the Information Society
Computer Networks
Software
Information Systems
Human-Computer Interaction
Communications
SMT for State-Based Formal Methods: The ASM Case Study
The Formal and Informal Tools of Design Governance
Journal of Urban Design
Development
Arts
Humanities
Urban Studies
Planning
Geography
The Role of Gesture in Supporting Mental Representations: The Case of Mental Abacus Arithmetic
Cognitive Science
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Creativity Support Tools: A Grand Challenge for HCI Researchers
PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools
CLEI Electronic Journal
A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents
