Samuel Hym

	2011
8		Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl: On-Device Control Flow Verification for Java Programs. ESSoS 2011: 43-57
	2009
7		Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR abs/0906.5446: (2009)
6		Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the pi-calculus. Electr. Notes Theor. Comput. Sci. 241: 85-100 (2009)
5		Samuel Hym: Mobility control via passports. Inf. Comput. 207(2): 171-193 (2009)
	2007
4		Samuel Hym: Mobility Control Via Passports. CONCUR 2007: 349-363
3		Samuel Hym, Matthew Hennessy: Adding recursion to Dpi. Theor. Comput. Sci. 373(3): 182-212 (2007)
	2006
2		Frédéric Peschanski, Samuel Hym: A stackless runtime environment for a Pi-calculus. VEE 2006: 57-67
1		Samuel Hym, Matthew Hennessy: Adding Recursion to Dpi: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 156(1): 115-133 (2006)

Coauthor Index

1	Arnaud Fontaine	[8]
2	Matthew Hennessy	[1] [3]
3	Daniel Hirschkoff	[6] [7]
4	Tom Hirschowitz	[6] [7]
5	Aurélien Pardon	[6] [7]
6	Frédéric Peschanski	[2]
7	Damien Pous	[6] [7]
8	Isabelle Simplot-Ryl (Isabelle Ryl)	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page