Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

Various Results on the Toughness of Graphs

Information Systems

Computer Networks

English

On Designing Comprehensible Interactive Hypermedia Manuals

International Journal of Human Computer Studies

Human-Computer Interaction

English

Circumscription in Data Logic for Data Type Specification

Journal of Logic and Computation

Theoretical Computer Science

English

Acquiring User Tradeoff Strategies and Preferences for Negotiating Agents: A Default-Then-Adjust Method

International Journal of Human Computer Studies

Human-Computer Interaction

English

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation

Theoretical Computer Science

English

ConSUS: A Light-Weight Program Conditioner

Journal of Systems and Software

Information Systems

English

Engineering Executable Agents Using Multi-Context Systems

Journal of Logic and Computation

Theoretical Computer Science

English

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