Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Re-Using Digital Narrative Content in Interactive Games

International Journal of Human Computer Studies

Human-Computer Interaction

English

Introducing the Logic and Law Corner

Journal of Logic and Computation

Theoretical Computer Science

English

Evaluating Predictive Quality Models Derived From Software Measures: Lessons Learned

Journal of Systems and Software

Information Systems

English

Target Acquisition in Multiscale Electronic Worlds

International Journal of Human Computer Studies

Human-Computer Interaction

English

Assessing Dimensions of Perceived Visual Aesthetics of Web Sites

International Journal of Human Computer Studies

Human-Computer Interaction

English

Within Bounds and Between Domains: Reflecting on Making Tea Within the Context of Design Elicitation Methods

International Journal of Human Computer Studies

Human-Computer Interaction

English

Class Library Implementation of an Open Architecture Knowledge Support System

International Journal of Human Computer Studies

Human-Computer Interaction

English

Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software

Information Systems

English

Natural Deduction for Hybrid Logic

Journal of Logic and Computation

Theoretical Computer Science

English