Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

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

Flexible Coordinator Design for Modeling Resource Sharing in Multi-Agent Systems

Journal of Systems and Software

Information Systems

English

Mental Representations of Spatial Language

International Journal of Human Computer Studies

Human-Computer Interaction

English