Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

On Porting Software Visualization Tools to the Web

International Journal on Software Tools for Technology Transfer

Information Systems

English

Guest Editors’ Introduction: Special Issue on Applications for the Heterogeneous Computing Era

International Journal of High Performance Computing Applications

Theoretical Computer Science

English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer

Information Systems

English

Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints

International Journal on Software Tools for Technology Transfer

Information Systems

English

A Distributed API for Coordinating AbC Programs

International Journal on Software Tools for Technology Transfer

Information Systems

English

Issue Information

Journal of software: Evolution and Process

English

Context-Aware Application Development by Means of Runtime Aspect Weaving

Journal of Ambient Intelligence and Smart Environments

English

Capacitive Proximity Sensing in Smart Environments

Journal of Ambient Intelligence and Smart Environments

English

A Case Study of Planning for Smart Factories

International Journal on Software Tools for Technology Transfer

Information Systems

English

SSECRETT and NeuroTrace: Interactive Visualization and Anaysis Tools for Large-Scale Neuroscience Datasets

IEEE Computer Graphics and Applications

Computer Graphics

Computer-Aided Design

English