Tom Hirschowitz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR 2009: 321-337
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages CoRR abs/0902.1257: (2009)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free proofs and finitary games for Linear Logic CoRR abs/0905.4064: (2009)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Variable binding, symmetric monoidal closed theories, and bigraphs CoRR abs/0905.4200: (2009)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous: Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR abs/0906.5446: (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free Proofs and Finitary Games for Linear Logic. Electr. Notes Theor. Comput. Sci. 249: 287-305 (2009)
2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Topological Observations on Multiplicative Additive Linear Logic CoRR abs/0807.2636: (2008)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Aurélien Pardon: Binding bigraphs as symmetric monoidal closed theories CoRR abs/0810.4419: (2008)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. G. Garner, Tom Hirschowitz, Aurélien Pardon: Graphical Presentations of Symmetric Monoidal Closed Theories CoRR abs/0810.4420: (2008)
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Hirschowitz, André Hirschowitz, Tom Hirschowitz: A Theory for Game Theories. FSTTCS 2007: 192-203
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani: Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE 2005: 389-404
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Xavier Leroy: Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. 27(5): 857-881 (2005)
2004
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Xavier Leroy, J. B. Wells: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. ESOP 2004: 64-78
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz: Rigid Mixin Modules. FLOPS 2004: 214-228
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. PPDP 2003: 160-171
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Hirschowitz, Xavier Leroy: Mixin Modules in a Call-by-Value Setting. ESOP 2002: 6-20

Coauthor Index

1Richard H. G. Garner [8] [14] [17]
2Daniel Hirschkoff [6] [12] [13]
3André Hirschowitz [7] [10] [11] [15]
4Michel Hirschowitz [7] [10] [11] [15]
5Samuel Hym [12] [13]
6Xavier Leroy [1] [2] [4] [5] [16]
7Aurélien Pardon [8] [9] [12] [13] [14] [17]
8Damien Pous [6] [12] [13]
9Alan Schmitt [6]
10Jean-Bernard Stefani [6]
11J. B. Wells [2] [4] [16]

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)