Publication

Overview of the INEX 2009 Entity Ranking Track Book Chapter

Automata Based Model Checking for Reo Connectors In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

Spinning Relations: High-Speed Networks for Distributed Join Processing In Proceedings

P.W. Frey (Philip), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin) and J. Teubner (Jens)

Direct chosen-ciphertext secure identity-based key encapsulation without random oracles Article

E. Kiltz (Eike) and D. Galindo

Reactive Systems, Barbed Semantics, and the Mobile Ambients In Proceedings

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

Deriving Syntax and Axioms for Quantitative Regular Behaviours In Proceedings

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Advances in Agent-Based, Complex Automated Negotiations Book

T. Ito (Tsuyoshi), M. Zhang, V. Robu (Valentin), S. Fatima and T. Matsuo