Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security

Computer Networks

English

Automatic Handwriting Feature Extraction, Analysis and Visualization in the Context of Digital Palaeography

International Journal of Pattern Recognition and Artificial Intelligence

Computer Vision

Pattern Recognition

Artificial Intelligence

English

Penalty-Based and Other Representations of Economic Inequality

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

Systems Engineering

Information Systems

Artificial Intelligence

English

Reduced-Order Urban Wind Interference

Computer Graphics

Computer-Aided Design

English

Generalised Cheater Detection and Identification

IET Information Security

Computer Networks

Information Systems

English

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing

Theoretical Computer Science

English

Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

Sophisticated Security Verification on Routing Repaired Balanced Cell-Based Dual-Rail Logic Against Side Channel Analysis

IET Information Security

Computer Networks

Information Systems

English

Lazy Stream Programming in Prolog

Electronic Proceedings in Theoretical Computer Science, EPTCS

English

An Information Systems Design Theory for an Expert System for Training

Journal of Database Management

Information Systems

English