Jean-Marie Gaillourdet
According to our database1,
Jean-Marie Gaillourdet
authored at least 5 papers
between 2003 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
0
1
2
3
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
2011
WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011
Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011
2007
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2003
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003