CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2008
-
January 2008
-
On Notions of Security for Deterministic Encryption, and Efficient Constructions Without Random Oracles In Proceedings
January 2008
-
Enumerating precursor sets of target metabolites in a metabolic network In Proceedings
L. Cottret, P.V. Milreu (Paulo), V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), F. Viduani Martinez, M.-F. Sagot (Marie-France) and L. Stougie (Leen)
January 2008
-
Minimizing average flow time in sensor data gathering In Proceedings
V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)
January 2008
-
Niceness theorems Tech Report
January 2008
-
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
F.S. de Boer (Frank), F. Arbab (Farhad), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
F.S. de Boer (Frank), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008