Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Evaluating a Domain-Specialist-Oriented Knowledge Management System

International Journal of Human Computer Studies

Human-Computer Interaction

English

Destructive Modal Resolution

Journal of Logic and Computation

Theoretical Computer Science

English

A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Nonverbal Indicators of Malicious Intent: Affective Components for Interrogative Virtual Reality Training

International Journal of Human Computer Studies

Human-Computer Interaction

English

Generalized Quantifiers and Logical Reducibilities

Journal of Logic and Computation

Theoretical Computer Science

English

Uncertainty-Tolerant Design: Evaluating Task Performance and Drag-And-Link Information Gathering for a News-Writing Task

International Journal of Human Computer Studies

Human-Computer Interaction

English

A Single Complete Refinement Rule for Z

Journal of Logic and Computation

Theoretical Computer Science

English

Managing Complex Objects in Peirce

International Journal of Human Computer Studies

Human-Computer Interaction

English

A Comparison of Algorithms for Hypertext Notes Network Linearization

International Journal of Human Computer Studies

Human-Computer Interaction

English

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation

Theoretical Computer Science

English