Centrum Wiskunde & Informatica

Fint: Tool support for aspect mining In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
Harvesting software systems for MDA-based reengineering In Proceedings

T. Reus, H. Geers and A. van Deursen (Arie)

January 2006
Data reverse engineering using system dependency graphs In Proceedings

A. Cleve (Anthony), J.-L. Henrard and J.-L. Hainaut

January 2006
Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay Networks In Proceedings

E. Liarou (Erietta), S. Idreos (Stratos) and M. Koubarakis (Manolis)

January 2006
On the axiomatizability of priority In Proceedings

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

January 2006
A finite equational base for CCS with left merge and communication merge In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2006
Injective synchronisation: An extension of the authentication hierarchy Article

Electronic Notes in Theoretical Computer Science, 139-161.

C.J.F. Cremers (Cas), S. Mauw (Sjouke) and E.P. de Vink (Erik)

January 2006
The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings

L. Aceto (Luca) and W.J. Fokkink (Wan)

January 2006

Previous

Next