Andreea Barbu & Fabrice Mourlin: "From Pi-Calculus Specification to a Simulation of a Mobile Agent Using JINI". In Proc. ESM 2004, 18th European Simulation Multiconference June, 2004 Magdeburg, Germany.

Andreea Barbu: "Une spécification d'ordre supérieur Pi-Calculus d'un agent mobile". In Proc. Congrès Francophone MAJECSTIC'03, 29-31 oct. 2003.

Andreea Barbu & Fabrice Mourlin: "Higher Order Pi-Calcul Specification for a Mobile Agent in JINI". In W. Dosch, editor, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03). pages 250-256, ACIS, 2003.

Andreea Barbu & Fabrice Mourlin: "From Higher Order Pi-Calculus Specification to RMI Implementation". In Proc. International Conference on Computer Science, Software Engineering, Information Technology, e-Business and Applications, CSITeA'03, Rio de Janeiro, Brazil, June 2003.

Andreea Barbu & Fabrice Mourlin: "Mobile Properties and Temporal Logic". In First Eurasian Conference on Advances in Information and Communication Technology, Shiraz, Iran, October 2002. (Proc. of Workshop, pages 1-6, Austrian Computer Society)

Talks:

Andreea Barbu: "SLP-Modeling using Higher Order Pi-Calculus". Workshop JIP meets PORTA, Oldenburg, Germany, Dec. 16-18, 2001.

Andreea Barbu: "Comparison of M-Nets and the Pi-Calculus". Workshop BAT/ PORTA, Newcastle upon Tyne, UK, May. 18-19, 2000.

Miscellaneous:

Andreea Barbu et al.: "Design of a Study-Software used on WWW" - an animated Bubblesort and Quicksort very helpful to understand how these two sorts work. - only in german - (Link)