Jean-Marie Gaillourdet

According to our database, Jean-Marie Gaillourdet authored at least 5 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).

Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch

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.

Jean-Marie Gaillourdet, Thomas Grundmann, Martin Memmel, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform.

Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel

Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011

2007

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.

Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2003

The New WALDMEISTER Loop at Work.

Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003