Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

HPC-GAP: Engineering a 21st-Century High-Performance Computer Algebra System

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements

Formal Aspects of Computing

Theoretical Computer Science

English

Correlation Investigation for Uniform Circular Array Based on Measured Massive MIMO

International Journal of Pattern Recognition and Artificial Intelligence

Computer Vision

Pattern Recognition

Artificial Intelligence

English

Simulations of Two-Dimensional Steady Isothermal and Non-Isothermal Steady Flows With Slip for a Viscoelastic Memory-Integral Fluid

Engineering Computations

Computational Theory

Computer Science Applications

English

An Algebraic Theory for Web Service Contracts

Formal Aspects of Computing

Theoretical Computer Science

English

Towards Zero Latency Photonic Switching in Shared Memory Networks

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing

Theoretical Computer Science

English

Communication-Aware Scheduling of Precedence-Constrained Tasks

Performance Evaluation Review

Computer Networks

English

Condensed Forms for the Symmetric Eigenvalue Problem on Multi-Threaded Architectures

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

Co-Citations and Relevance of Authors and Author Groups

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

Systems Engineering

Information Systems

Artificial Intelligence

English