Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

On Improving Local Search for Unsatisfiability

Electronic Proceedings in Theoretical Computer Science, EPTCS

English

Unsupervised Learning of Bayesian Networks via Estimation of Distribution Algorithms: An Application to Gene Expression Data Clustering

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

Systems Engineering

Information Systems

Artificial Intelligence

English

Fault-Tolerant Quorum Consensus Scheme for Replication Control in Mobile Distributed Database Systems

Journal of Database Management

Information Systems

English

A Parallel Tabu Search Algorithm for Solving the Container Loading Problem

Parallel Computing

Computer Graphics

Computer Networks

Computer-Aided Design

Theoretical Computer Science

Artificial Intelligence

English

Secrecy for Bounded Security Protocols With Freshness Check Is NEXPTIME-complete*

Journal of Computer Security

Computer Networks

English

Some Properties of Variable Length Packet Shapers

Performance Evaluation Review

Computer Networks

English

FairThreads: Mixing Cooperative and Preemptive Threads in C

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

MPI Collective Algorithm Selection and Quadtree Encoding

Parallel Computing

Computer Graphics

Computer Networks

Computer-Aided Design

Theoretical Computer Science

Artificial Intelligence

English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing

Theoretical Computer Science

English

Discovering Objects

Journal of Database Management

Information Systems

English