Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

An Open Logical Framework

Journal of Logic and Computation

Theoretical Computer Science

English

Algorithms for Automated Live Migration of Virtual Machines

Journal of Systems and Software

Information Systems

English

Experimental Assessment of the Out-Of-Plane Performance of Masonry Buildings Through Shaking Table Tests

International Journal of Architectural Heritage

Performing Arts

English

Safe Reconfiguration of Coqcots and Pycots Components

Journal of Systems and Software

Information Systems

English

Assessment of Construction Techniques and Material Usage in İzmir Rural Houses

International Journal of Architectural Heritage

Performing Arts

English

Quasi-Varieties and Initial Semantics for Hybridized Institutions

Journal of Logic and Computation

Theoretical Computer Science

English

Semantics-Based Platform for Context-Aware and Personalized Robot Interaction in the Internet of Robotic Things

Journal of Systems and Software

Information Systems

English

Measuring User Rated Language Quality: Development and Validation of the User Interface Language Quality Survey (LQS)

International Journal of Human Computer Studies

Human-Computer Interaction

English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Easing Semantically Enriched Information Retrieval—An Interactive Semi-Automatic Annotation System for Medical Documents

International Journal of Human Computer Studies

Human-Computer Interaction

English