Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

A Logical Characterization of Differential Privacy

Science of Computer Programming

English

Formal Analysis of a Calculus for WSNs From Quality Perspective

Science of Computer Programming

English

Hackable Instruments: Supporting Appropriation and Modification in Digital Musical Interaction

Frontiers in ICT

Information Systems

Computer Networks

Artificial Intelligence

English

Planning-Based Security Testing of Web Applications With Attack Grammars

Software Quality Journal

Media Technology

English

Quality Specification and Metrication, Results From a Case-Study in a Mission-Critical Software Domain

Software Quality Journal

Media Technology

English

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming

English

In This Issue

Software Quality Journal

Media Technology

English

Testing Variability-Intensive Systems Using Automated Analysis: An Application to Android

Software Quality Journal

Media Technology

English

Translating Active Objects Into Colored Petri Nets for Communication Analysis

Science of Computer Programming

English

Non-Linear Structure-Aware Image Sharpening With Difference of Smoothing Operators

Frontiers in ICT

Information Systems

Computer Networks

Artificial Intelligence

English