Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

Generation of Knowledge-Acquisition Tools From Domain Ontologies

International Journal of Human Computer Studies

Human-Computer Interaction

English

Browsing Hierarchical Data With Multi-Level Dynamic Queries and Pruning

International Journal of Human Computer Studies

Human-Computer Interaction

English

An Inexact Model Matching Approach and Its Applications

Journal of Systems and Software

Information Systems

English

Classical Mereology and Restricted Domains

International Journal of Human Computer Studies

Human-Computer Interaction

English

Analytical Investigation of Traditional Lime Plasters: The Case of Sardinia, Italy

International Journal of Architectural Heritage

Performing Arts

English

Argumentation-Based Design Rationale: What Use at What Cost?

International Journal of Human Computer Studies

Human-Computer Interaction

English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation

Theoretical Computer Science

English

Fixed-Point Logics, Generalized Quantifiers, and Oracles

Journal of Logic and Computation

Theoretical Computer Science

English

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