
MORPHOSYS: Efficient Colocation of QoSConstrained Workloads in the Cloud
In hosting environments such as IaaS clouds, desirable application perfo...
read it

A FixedParameter LinearTime Algorithm to Compute Principal Typings of Planar Flow Networks
We present an alternative and simpler method for computing principal typ...
read it

A FixedParameter LinearTime Algorithm for Maximum Flow in Planar Flow Networks
We pull together previously established graphtheoretical results to pro...
read it

Efficient Reassembling of ThreeRegular Planar Graphs
A reassembling of a simple graph G = (V,E) is an abstraction of a proble...
read it

A Compositional Approach to Network Algorithms
We present elements of a typing theory for flow networks, where "types",...
read it

Mathematical Logic in Computer Science
The article retraces major events and milestones in the mutual influence...
read it
Assaf Kfoury
is this you? claim profile