Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Diagnosis of the Significance of Inconsistencies in Object-Oriented Designs: A Framework and Its Experimental Evaluation

Journal of Systems and Software

Information Systems

English

Toward a Formal Specification of Menu-Based Systems

Journal of Systems and Software

Information Systems

English

Concept Maps as Hypermedia Components

International Journal of Human Computer Studies

Human-Computer Interaction

English

RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Journal of Logic and Computation

Theoretical Computer Science

English

Uncontroversial Default Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Allocation of Function: Scenarios, Context and the Economics of Effort

International Journal of Human Computer Studies

Human-Computer Interaction

English

A Linearization of the Lambda-Calculus and Consequences

Journal of Logic and Computation

Theoretical Computer Science

English

Function Allocation: Algorithm, Alchemy or Apostasy?

International Journal of Human Computer Studies

Human-Computer Interaction

English

A First-Order Conditional Logic With Qualitative Statistical Semantics

Journal of Logic and Computation

Theoretical Computer Science

English

Gentler: A Tool for Systematic Web Authoring

International Journal of Human Computer Studies

Human-Computer Interaction

English