Philippe Bidinger (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Philippe Bidinger, Adriana B. Compagnoni: Pict correctness revisited. Theor. Comput. Sci. 410(2-3): 114-127 (2009)

5 Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)

4 Philippe Bidinger, Adriana B. Compagnoni: Pict Correctness Revisited. FMOODS 2007: 206-220

Selection of 3 from 7 records - Philippe Bidinger has 9 coauthors

7		Philippe Bidinger, Adriana B. Compagnoni: Pict correctness revisited. Theor. Comput. Sci. 410(2-3): 114-127 (2009)
5		Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)
4		Philippe Bidinger, Adriana B. Compagnoni: Pict Correctness Revisited. FMOODS 2007: 206-220