The Kell Calculus: Operational Semantics and Type System. - Philippe Bidinger; Jean-Bernard Stefani (FMOODS, 2003)

An Abstract Machine for the Kell Calculus. - Philippe Bidinger; Alan Schmitt; Jean-Bernard Stefani (FMOODS, 2005)

Dream types: a domain specific type system for component-based message-oriented middleware. - Philippe Bidinger; Matthieu Leclercq; Vivien Quéma; Alan Schmitt; Jean-Bernard Stefani (ACM SIGSOFT Softw. Eng. Notes, 2006)

Distributed Semantics and Implementation for Systems with Interaction and Priority. - Ananda Basu; Philippe Bidinger; Marius Bozga; Joseph Sifakis (FORTE, 2008)

Role-based access control for boxed ambients. - Adriana B. Compagnoni; Elsa L. Gunter; Philippe Bidinger (Theor. Comput. Sci., 2008)

Pict correctness revisited. - Philippe Bidinger; Adriana B. Compagnoni (Theor. Comput. Sci., 2009)

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions. - Adriana B. Compagnoni; Vishakha Sharma 001; Yifei Bao; Matthew Libera; Svetlana Sukhishvili; Philippe Bidinger; Livio Bioglio; Eduardo Bonelli (CS2Bio, 2012)