Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation

Theoretical Computer Science

English

On the Adoption of MC/DC and Control-Flow Adequacy for a Tight Integration of Program Testing and Statistical Fault Localization

Information and Software Technology

Computer Science Applications

Information Systems

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

Functional Central Limit Theorems for Markov-Modulated Infinite-Server Systems

Mathematical Methods of Operations Research

Management Science

Operations Research

English

Fuzzy Identification and Delay Compensation Based on the Force/Position Control Scheme of the 5-Dof Redundantly Actuated Parallel Robot

International Journal of Fuzzy Systems

Theoretical Computer Science

Computational Theory

Artificial Intelligence

English

Complexity of Existential Positive First-Order Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Fostering IPv6 Migration Through Network Quality Differentials

Computer Communication Review

Computer Networks

English

Generalized Choquet Integral for Face Recognition

International Journal of Fuzzy Systems

Theoretical Computer Science

Computational Theory

Artificial Intelligence

English

Delay Analysis of a Two-Class Batch-Service Queue With Class-Dependent Variable Server Capacity

Mathematical Methods of Operations Research

Management Science

Operations Research

English

Exploring Public Wearable Display of Wellness Tracker Data

International Journal of Human Computer Studies

Human-Computer Interaction

English