Centrum Wiskunde & Informatica

Chosen-Ciphertext Security from Tag-Based Encryption In Proceedings

E. Kiltz (Eike)

January 2006
On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2006
Compositionality of Hennessy-Milner logic by structural operational semantics Article

Bulletin of the EATCS, 421-440.

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Divide and congruence applied to eta-bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Atomic resolution electron tomography based on discrete mathematics Article

Microscopy and Microanalysis, 1566-1567.

J. Jinschek, K.J. Batenburg (Joost), H. Calderon, R. Kilaas, V. Radmilovic and C. Kisielowski

January 2006
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Computing with actions and communications Article

Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

January 2006
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2006

Previous

Next