Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Quantifying Information Flow With Beliefs

Journal of Computer Security

Computer Networks

English

A Heuristic Solution to the University Timetabling Problem

Engineering Computations

Computational Theory

Computer Science Applications

English

Fuzzy Clustering With Weighting of Data Variables

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

Systems Engineering

Information Systems

Artificial Intelligence

English

Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience

Computer Networks

Computer Science Applications

Computational Theory

Theoretical Computer Science

English

A Note on Fixed Point Theorem for Fuzzy Mappings

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

Systems Engineering

Information Systems

Artificial Intelligence

English

Language Based Policy Analysis in a SPKI Trust Management System

Journal of Computer Security

Computer Networks

English

Erratum

Genetic Programming and Evolvable Machines

Computer Science Applications

Theoretical Computer Science

English

The Eventual Clusterer Oracle and Its Application to Consensus in MANETs

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Computer Networks

Theoretical Computer Science

English

Verifying Information Flow Goals in Security-Enhanced Linux

Journal of Computer Security

Computer Networks

English

A New Predictive Flow Control Scheme for Efficient Network Utilization and QoS

Performance Evaluation Review

Computer Networks

English